--- layout: fc_discuss_archives title: Message 99 from Frama-C-discuss on June 2009 ---
Hello, A patch for Frama-C-Beryllium-20090601-beta1 is available on the Frama-C wiki, fixing 2 compilation issues: http://bts.frama-c.com/dokuwiki/lib/exe/fetch.php?media=wiki:frama-c-beryllium-20090601-beta1.patch In particular, it should fix the Jens Gerlach'issue reported here: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-June/001289.html See here for details: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start#known_issues Regards, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr