The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

On Mon, Oct 01, 2012 at 01:10:12PM -0400, Perry E. Metzger wrote:
> I submitted a patch to the MacPorts people a while ago to get
> MacPorts updated for Coq 8.4
> 
> https://trac.macports.org/ticket/36005
> 
> A question arose in the subsequent commentary on the ticket about why
> Coq is built with OCaml 3 and not OCaml 4. Could someone enlighten
> me? It might speed up getting the patch accepted by the MacPorts
> maintainers...

Coq 8.4 can be built both with ocaml 3 (officially version >= 3.11.2
but >= 3.10.2 should probably be ok too) and ocaml 4.

By the way, the last patch level version of Coq 8.3, named 8.3pl5 and
released last week, also compiles both with ocaml 3 (>= 3.10.2) and
ocaml 4.

For both 8.4 and 8.3pl5, some issues exist with plugins on MacOS X,
depending on the arch (32 or 64 bits) and of MacOS versions. Normally,
ocaml >= 3.10.2 is ok, but some combinations of versions are maybe
still unsupported and requiring ocaml >= 3.11.2 is safer.

Hugo Herbelin