--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on August 2013 ---
On 22/08/2013 11:22, Roberto Bagnara wrote: > On 08/22/13 09:44, Boris Yakobowski wrote: >> The section "REQUIREMENTS / Ubuntu>= Lucid Lynx 10.04" of the INSTALL >> file should list all such requirements for apt. (At least it did the >> last time we checked.) But basically, you just need Lablgtk2, which is >> supplied by liblablgtksourceview2-ocaml-dev and >> liblablgtk2-gnome-ocaml-dev. All other dependencies mentioned in this >> section are optional. > > Well, they are, but without them the system is much less interesting. > A few months ago we tried, with my students, to build everything > from sources. One of our objective was to installa everything > without root provileges (e.g., under ~/Frama-C). > We failed because, while most (all?) dependencies support the > specification of installation prefixes, several of them do not > support finding their dependencies in non-standard places. > In the end, we gave up. If someone finds a way to install > Fluorine under Ubuntu 12.04/12.10/13.04 I would be glad to know. If you want to install Frama-C without root privilege and all its ocaml dependecies, you can use opam which is a source-based package manager for OCaml. http://opam.ocamlpro.com/index.html There is an up to date Frama-C package. When opam is installed, it is as simple as opam install frama-c Best, -- Fran?ois