--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on October 2010 ---
Hello, Le mar. 12 oct. 2010 09:34:30 CEST, Marko Sch?tz Schmuck <MarkoSchuetz at web.de> a ?crit : > Dear All, > > I was trying to compile frama-c-Boron-20100401-why-2.24 with > OCaml-3.12.0 and --enable-external=why/frama-c-plugin > This is a known issue: the current distributions of Why (2.24 to 2.26) are not compatible with ocaml 3.12.0. There are three files that need to be modified: c/cutil.ml and c/cutil.mli: suppress definition of Int31Map and Int31Set (they are unused anyway). jc/jc_stdlib.ml: suppress declaration and definition of exists and filter in the Map functor and its signature (they are now implemented by the Map functor in standard library) The patches attached to this mail can be used against Why 2.26. They are mainly extracted from the godi package (http://godi.camlcity.org/godi/index.html), except that the package (as well as Why svn version) takes some extra steps to ensure compatibility with both 3.11 and 3.12 Hope this helps, -- Virgile Prevosto Ing?nieur-Chercheur, CEA, LIST Laboratoire de S?ret? des Logiciels +33/0 1 69 08 82 98 -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: patch-aa-cutil.mli Type: text/x-ocaml Taille: 420 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101012/118081bd/attachment-0003.bin> -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: patch-ab-cutil.ml Type: text/x-ocaml Taille: 2302 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101012/118081bd/attachment-0004.bin> -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: patch-ac-jc_stdlib.ml Type: text/x-ocaml Taille: 841 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101012/118081bd/attachment-0005.bin> -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: signature.asc Type: application/pgp-signature Taille: 198 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101012/118081bd/attachment-0001.pgp>