--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on November 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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>