--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on August 2013 ---
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