Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C and OCaml 4.06.0

  • Subject: [Frama-c-discuss] Frama-C and OCaml 4.06.0
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
  • Date: Wed, 8 Nov 2017 10:00:47 +0100
Dear list,

Since an issue has just been opened on this topic in the bts (
https://bts.frama-c.com/view.php?id=2331), it's probably worth it to
provide some indications about the status of Frama-C with respect to the
newly-released OCaml 4.06.0: Frama-C 15 Phosphorus is not compatible with
OCaml 4.06.0. If you switch your opam installation to 4.06.0, you won't be
able to use the frama-c package, until Frama-C 16 Sulfur is released and
the opam package is updated accordingly. It is possible to compile the
Sulfur beta version at
https://github.com/Frama-C/Frama-C-snapshot/wiki/Frama-C-Sulfur-20171101-beta
with OCaml 4.06.0, provided the legacy num package is installed in addition
to the other packages normally required by Frama-C (this requirement should
be lifted for the final Sulfur release though).

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171108/7594ebc0/attachment.html>