Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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