coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Perry E. Metzger, 10/01/2012
- Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Hugo Herbelin, 10/02/2012
- Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Perry E. Metzger, 10/02/2012
- Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Hugo Herbelin, 10/02/2012
- Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Perry E. Metzger, 10/02/2012
- Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Hugo Herbelin, 10/02/2012
Archive powered by MHonArc 2.6.18.