--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Building Fluorine for Fedora



I plan to build the Fluorine release of Frama-C for the Fedora Linux
distribution soon.  I have collected the post-release fixes I have
seen on this mailing list into the attached patch.  Are there any
other fixes I should add before building for Fedora?

Thank you, Frama-C developers, for this release.  Regards,
--
Jerry James
http://www.jamezone.org/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: frama-c-fixes.patch
Type: application/octet-stream
Size: 8469 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130514/19310e91/attachment-0001.obj>