--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on November 2012 ---
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