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