--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on August 2013 ---
On 08/22/13 12:30, Fran?ois Bobot wrote: > 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 Thanks Fran?ois, but what about the non-ocaml dependencies? Will "opam install frama-c" install, e.g., Apron, and its dependencies? To be completely frank, I find it a bit surprising that a binary distribution or complete instructions on how to install from sources under a widely used distro like Ubuntu are not provided. I am willing to cooperate with other (potential) users to help filling this gap. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara at cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara at bugseng.com