coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq with OCaml-4.08.0

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Vincent Laporte <vincent.laporte AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq with OCaml-4.08.0
Date: Mon, 24 Jun 2019 12:08:00 +0200
Authentication-results: mail3-smtp-sop.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:ub41dhPnl6r4jWy1Xtkl6mtUPXoX/o7sNwtQ0KIMzox0Ivj7rarrMEGX3/hxlliBBdydt6sezbOM+Pq6ESxYuNDd6SlEKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQIjYd4N6o91BTFrmVWd+9LwW9kOU+fkwzz68ut4ZJv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfCTQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYMgXTnRdUMlPSyNBA5u8b4oRAOoHIeZYtJT2q18XoRejGQWgGObjxzlVjXH0wKI6yfwsHwHY0gI9GNIOvnrao9f2OqgcXu+60KbGwC7fb/NPwzrx9JTEfwojrPyKQLl+cdDRyU4qFw7dgVuQrI3lPzeU1uQKq2eV6/RvVfm1k248sw5/oyKgxsMoiobXiYIVzUjL+DljwIY0P9K4U1NwbNm6H5ZLuCCXNJd6TtklQ2FytyY307sLsoO1cigNzZQo3R/fa/qffoiH4xLjSOaRISpji35/ZL2/gBOy/E69weP/Tsm5yEtGoylGn9XWqHwByR3e5tKaRvZ/40utwyuD2g7N5u1cJU05lbDXJp89zrIqiJYesVnPEjXolEnqkaObcFgv9PKy5OT9eLrmo4eRN49qhQH6NaQjgsO+DOckPgQUWGib4+u82KXi/U3/XrpKkuU7nrTavZ3ZP8gXuLC1Dg5P3oo+6RuzEi2q3MkWkHUZNF5FfQiIj4ntO1HAOvD4CvK/jkyynzpwyPHLPaHtDo/KLnjZn7ftZax95FJEyAov0dBf4IpZBa0GIPLqQ0P+qNjYDgIiPAGv2ObmCNB91psEVm6VA6+ZNrnSsV6S6e41LemMftxdhDGoFfkj7PPokTcdkEcaZ7Wklc8JaXazE/J6ZUGQeX32ntopHmIDvw54R+vv3g6sSzlWMlu3XqY94QYZBZk0FrDsT4SpjbOG6w6hH5RNLjRLIkDcSTHvbYrSCKREUz6bPsI0ym9MbrOmUYJ0kEj27FarmYoiFfLd/2gjjbym0dF04+PJkhRjpywkV4KayW7fFjgpzFNNfCc/2eVEmWI4ylqH1vkqk6wAU9tJ6KEQC1toBdvn1+V/TuvKdEfZZN7YGkb2GpOhGz5jFt8=
Organization: X80 Heavy Industries

Vincent Laporte
<vincent.laporte AT gmail.com>
writes:

> I don’t think that Coq 8.10 can be built using OCaml 4.08. There is some
> related discussion: https://github.com/coq/coq/pull/9635

As Gaëtan said, Coq 8.10 should work with OCaml 4.08.0, as long as a
"release" build profile is used [warning should not be fatal]

However, Coq 8.10 + 4.08.0 has been barely tested, so users should
proceed with caution.

Note however tho that basic functionality is tested in the CI against
OCaml `trunk`, and so far it seems to work (TM)

E.

[Coq-Club] Coq with OCaml-4.08.0, mukesh tiwari, 06/23/2019
- Re: [Coq-Club] Coq with OCaml-4.08.0, Xuanrui Qi, 06/24/2019
  - Re: [Coq-Club] Coq with OCaml-4.08.0, Gaëtan Gilbert, 06/24/2019
    - Re: [Coq-Club] Coq with OCaml-4.08.0, Vincent Laporte, 06/24/2019
      - Re: [Coq-Club] Coq with OCaml-4.08.0, Gaëtan Gilbert, 06/24/2019
      - Re: [Coq-Club] Coq with OCaml-4.08.0, Emilio Jesús Gallego Arias, 06/24/2019