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] problem compiling frama-c-Boron-20100401-why-2.24 using OCaml-3.12.0

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>