--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on April 2013 ---
I got some feedback about the installation procedure on Mac using OPAM. It seems that a slightly modified sequence of commands is needed: port install opam port install gtksourceview2 opam init eval `opam config env` opam switch 4.00.1 opam install frama-c The differences are first the "2" for gtksourceview, and the switch to a OCaml compiler shipped with OPAM Moreover, installing the Jessie plugin can be done afterwards using simply opam install why Beware that this takes a significant amount of time, since it will install also why3, coq, and alt-ergo. Coq compilation is specially long. Final remark: this does not only work on MacOS ! It works on any unix-like system, as soon as you are able to install gtk2 and gtksourceview2. For example under Debian-based systems: apt-get install libgtksourceview2.0-dev Hope this helps, - Claude Le 08/04/2013 17:13, Claude March? a ?crit : > > 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 |