--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Release of Frama-C Lithium



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