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



On Mon, Nov 5, 2012 at 11:33 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:
> 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
>
> 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.

I have done some further testing on Mountain Lion. It is of the
highest importance
to install the DejaVu Sans font (the proportional unicode font still
used by the GUI),
otherwise, the GUI crashes at start-up.
On Snow Leopard, only the batch interface frama-c is usable. The
binary frama-c-gui
always crashes at start-up. I still use Snow Leopard on several computers
and could make a package if asked persuasively. Did I mention
that I was partial to 15-year-old Islays?

Pascal