The Coq mailing list

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

On Mon, Oct 01, 2012 at 08:07:02PM -0400, Perry E. Metzger wrote:
> On Tue, 2 Oct 2012 01:47:41 +0200 Hugo Herbelin
> <Hugo.Herbelin AT inria.fr>
>  wrote:
> > 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.
> 
> So there is no continuing reason to build Coq with ocaml 3 rather
> than ocaml 4, and I should update the MacPorts package to reflect
> that?

I don't know how MacPorts syntax would express that, but there is no
need to require ocaml 3, and no need either to require ocaml 4. The
only (safe) requirement is to have ocaml >= 3.11.2.

Hugo Herbelin