--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on April 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing frama-c on Mac AND jessie



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                    |