--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on September 2012 ---
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>