--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on November 2017 ---
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>