--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on April 2012 ---
On Wed, Apr 11, 2012 at 10:44 PM, Wayne Pineault <WPineault at xprt.dsci.com> wrote: > I am still on Fedora 14, I tried to compile Boron > on a Fedora core 16 and the libraries that it needed > were not found. >?What Linux version does Nitrogen compile on? Laying it on with a trowel, guidance for using the best version of Frama-C on relatively old Linux distributions is a frequent request of commercially supported industrial partners and one that we are used to resolving positively. Here is a freebie: dependencies of Frama-C between Boron and Nitrogen have changed very little, if at all, and if the Fedora packagers were able to compile Boron on Fedora 14, it is extremely likely that it is possible to compile either Boron or Nitrogen on either Fedora 14 or Fedora 16, as long as the appropriate dependencies are installed beforehand. Dependencies may include installing OCaml from source, and because of the way OCaml compilation works, all OCaml libraries. We are used to do this, we may already have done it for your particular distribution, and assuming your time is worth something, it is probably cheaper to let us handle it.