The Coq mailing list

[Christian Doczkal <doczkal AT ps.uni-saarland.de>]

Hello Andrej

Do you specifically want to compile Coq 8.3_pl4 or 8.4? for 8.4 there is a 
portfile patch at 
https://trac.macports.org/ticket/36005

> 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.

This might be related to https://trac.macports.org/ticket/35391

There seems to be a problem with the version of sed distributed with Mac OS. 
I solved MacPorts compilation problems by installing gsed and creating 
symlink named sed in /opt/local/bin (the first directory of my path)

I hope this helps.

Regards 
Christian