Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4


Chronological Thread 
  • From: "Perry E. Metzger" <perry AT piermont.com>
  • To: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
  • Cc: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4
  • Date: Mon, 1 Oct 2012 20:07:02 -0400

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?

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



Archive powered by MHonArc 2.6.18.

Top of Page