--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0



2012/9/12 Boris Yakobowski <boris at yakobowski.org>:
> Hello,
>
> Thanks for packaging Frama-C, and for this thorough bug-searching !
>
> Based on our own (painful) migration to OCaml 4.00, I think another
> bug awaits you. Frama-C hardcodes the Caml representation of some
> datatstructures of the standard library, such a hash tables and sets.
> Hash tables have gained two fields since OCaml 3.12.1, so this code no
> longer works. If you choose to package a combo Nitrogen+OCaml 4.00, I
> could probably provide you with some partial patches extracted from
> our trunk to fix this.

FWIW, I attach the patch file from the godi package related to ocaml
4.00 compatibility.

-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pi?ce jointe autre que texte a ?t? nettoy?e...
Nom: patch-ag-4.00-compatibility
Type: application/octet-stream
Taille: 5128 octets
Desc: non disponible
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120912/2b4acd1d/attachment-0001.obj>