--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on November 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Oxygen binary for Mac OS X



I have placed a Mac OS X binary of Frama-C Oxygen at the following URL:

https://www.dropbox.com/s/ax0bw9jz230muap/frama-c-Oxygen-20120901-OSX_intel.tar.bz2

The changes with respect to the Nitrogen Mac OS X package are:
- removed again the dependency on X11 since it is no longer provided
in Mountain Lion;
- use Menlo as default monospace font;
- automatic prover Alt-Ergo is not included.

This binary has been (very) briefly tested with Lion and Mountain
Lion, and the reason for this snapshot to be put online is to get more
feedback before it can be made available on the Frama-C website.

Thanks.