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

[Frama-c-discuss] installing Fluorine



Le 21/08/2013 20:29, Stephen Siegel a ?crit :
> 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.

Presumably, the dependencies between Nitrogen and Fluorine have not 
changed much. So "apt-get build-dep frama-c" should get you close to a 
suitable build environment.

Best regards,

Guillaume