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] binaries for linux?

On Tue, Apr 27, 2010 at 1:54 AM, Naghmeh Ghafari
<naghmeh.ghafari at cslabs.com> wrote:

> I am wondering if there is a binary of Frama-C for linux distributions that
> include 'Why' and 'Jessie', or the only way is compiling from the source(?).

Hello,

if you type:

apt-get install frama-c why alt-ergo

in a recent Linux distribution, the statistical likelihood is that it
will install a binary version of what was the most recent Frama-C
version at the time your distribution was frozen.

You can also try:

emerge frama-c
pacman-g2 -U frama-c
pkg_add frama-c

Or whatever it is your distribution uses to manage software :)

We do not distribute Linux/*BSD binaries ourselves because of the
variety of available configurations, but if Frama-C is not packaged
for your distribution, you can still take advantage of the package
management system to install most of the dependencies. In the best
cases OCaml, ocamlgraph and lablgtk2 will come in recent enough
versions, otherwise you will have to be satisfied with getting all the
gtk+ libraries from your distribution and then compiling these few by
hand before moving on to Frama-C, Why and, say, alt-ergo.

The names of packages to install in order to compile the very recent
Boron release on the latest Ubuntu were discussed on this list just
after the release. Read all the messages, it was an iterative process.

Good luck,

Pascal

PS: if you are one of the frama-c distribution packagers and you are
reading this, you're the best!