Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] patchFile



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.