--- layout: fc_discuss_archives title: Message 24 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 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.
Kind regards,

   Roberto


> On Wed, Aug 21, 2013 at 8:29 PM, Stephen Siegel <siegel at udel.edu> wrote:
>> Hi,
>> Does anyone have any advice on installing the Fluorine release on Ubuntu?  I did try the apt-get frama-c package but that gave me the Nitrogen release.  I downloaded the source and ran configure, but there are a lot of dependencies I need to install, and I'd prefer to install them using apt-get, but I'm having a hard time figuring out which packages to install.  I can work on it but if someone else has already figured it out I'd like to know.
>> Thanks,
>> -Steve

-- 
     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