--- layout: fc_discuss_archives title: Message 16 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



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