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

[Frama-c-discuss] installing Fluorine



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