The Coq mailing list

["Perry E. Metzger" <perry AT piermont.com>]

On Mon, 24 Sep 2012 09:52:43 -0400 Andrej Bauer
<andrej.bauer AT andrej.com>
 wrote:
> The current version of coq in mac ports has a problem (Mountain
> Lion, Mac Ports upgraded): port install coq starts compiling coq
> 8.3pl4 and dies with the error:
> 
>   make[1]: *** No rule to make target `lib/pp.ml4.ml.d', needed by
> `lib/pp.cmx'.  Stop.

FYI, I don't have this problem. Unsure of why, but it seems to work
for me. Have you done a "port selfupdate && port upgrade outdated"
lately?

Also, I submitted a patch to macports.org weeks ago to upgrade the
version in macports to 8.4, but for some reason they have not applied
the patch yet.

As long as I'm here, I'd like to ask: why does Coq need OCaml 3 and
not do as well with OCaml 4?

Perry
-- 
Perry E. Metzger                
perry AT piermont.com