--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on September 2009 ---
Hello all, Some of you may have noticed that the compilation of Beryllium 20090901 is broken in some circumstances on platforms for which OCaml does not support dynamic loading of native code. This bug has been reported as http://bts.frama-c.com/view.php?id=224 Here is a patch against the source distribution that should fix this compilation problem if you encounter it, courtesy of Julien Signoles. Pascal -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: patch_bugfix_224 Type: application/octet-stream Taille: 9361 octets Desc: non disponible Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090907/619570e0/attachment.obj -------------- section suivante --------------