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