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] installing frama-c on Mac


On Sun, Apr 7, 2013 at 6:17 PM, Stephen Siegel <siegel at> wrote:

> I am trying to install Frama-C on Mac OS X 10.8.3.

A binary package, ready to use with an OCaml compiler should you want to
compile your own plug-ins, is secretly stashed out of harm's way. I am
going to send you a link privately, and if you can confirm that it works, I
will include the archive on the website's ?download? page.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>