--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] binaries for linux?



On Tue, 27 Apr 2010, Pascal Cuoq wrote:

> 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
>

current ubuntu provides frama-c, why, coq and alt-ergo as packages,
Debian Lenny provides why and coq
frama-c-base/frama-c (20090902), alt-ergo, cvc3 in squeeze only

hofrat