Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • Subject: [Frama-c-discuss] Oxygen binary for Mac OS X
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
  • Date: Mon, 5 Nov 2012 11:33:44 +0100

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.