--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on April 2013 ---
Opam works perfectly on Mac. I use it with MacPorts for non-ocaml packages, but it is reported to works well with Homebrew too. The next release of Frama-C is very likely to be packed into Opam. > Regarding installation of Frama-C on MacOS in general, I wonder if anyone tried the new package system OPAM (opam.ocamlpro.com). > Since OPAM can install everything from sources, the OCaml compiler itself, lablgtk, etc., it may be the case that one could install Frama-c by doing something like > > > port install opam > port install gtksourceview > opam init > eval `opam config env` > opam install frama-c > > Any feedback would be welcome. > > - Claude > > > -- > Claude March? | tel: +33 1 72 92 59 69 > INRIA Saclay - ?le-de-France | > Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ > F-91405 ORSAY Cedex | > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss