--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on December 2008 ---
Dear Frama-C users, it is my pleasure to announce the first Mac OS X Intel binary release ever for Frama-C. Frama-C is the work of the Frama-C developers. This binary release should be considered as an experiment. It is based on version Lithium 20081201. There is a lot of room for improvement in the Mac OS X integration, and motivated hackers with knowledge of gtk+, Mac OS X, or both, may find it a good place to start helping if they are so inclined. Download the package from: http://www.mediafire.com/?sharekey=96b8e1b63d7bb012d2db6fb9a8902bda What's new from the first Mac OS X binary release ever ever: - inclusion of automatic prover Alt-Ergo - inclusion of graphviz's dot The README states: Please untar the archive as root in / It will *not* work from another location. Once you have done that, please read the README at /usr/local/Frama-C/README Pascal