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 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                    |