coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: e AT x80.org (Emilio Jesús Gallego Arias)
- To: Théo Zimmermann <theo.zimmi AT gmail.com>
- Cc: coq-club AT inria.fr, Benedikt Ahrens <benedikt.ahrens AT gmail.com>
- Subject: Re: [Coq-Club] Coq 8.6 and Ocaml 4.06
- Date: Thu, 23 Nov 2017 16:51:31 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
- Ironport-phdr: 9a23:p5pvUxa7Y4Hm6J4aIXS+mL3/LSx+4OfEezUN459isYplN5qZpcy4bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76xXcoFx7+LQt4IPjuUs6X1pzvlrP6x5qGXwXJg3KPYLZ3IQ+zpAPX/p0KgYZlbLQwzx7IinRNcuVSg2hvIATAsQz745K91I4zq2JXof1pt+NFUKH7eOwaQKfKF3wJOmQx6cLs/TDZTAKUpyhPGl4KmwZFVlCWpCrxWY38526j7rJw
- Organization: X80 Heavy Industries
Théo Zimmermann
<theo.zimmi AT gmail.com>
writes:
> Indeed, Coq is known to have issues with OCaml 4.06. The Opam packages
> should be fixed to reflect this.
> There is no plan to ever do a 8.6.2 release and 8.7.0 also has issues with
> OCaml 4.06 (only concerns CoqIDE IIRC). Coq 8.7.1 is planned to be released
> in December with OCaml 4.06 support.
That being said, it is easy to add support for 4.06.0 in an eventual
8.6.2. We can either:
- modify configure.ml:coq_safe_string so coq is not compiled with safe_string
- backport the 8.7 changes [should be safe enough]
E.
- [Coq-Club] Coq 8.6 and Ocaml 4.06, John Leo, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Théo Zimmermann, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Emilio Jesús Gallego Arias, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Gabriel Scherer, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Théo Zimmermann, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Pierre Courtieu, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Théo Zimmermann, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Gabriel Scherer, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Emilio Jesús Gallego Arias, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Théo Zimmermann, 11/23/2017
Archive powered by MHonArc 2.6.18.