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

[Frama-c-discuss] binaries for linux?



On 05/07/2010 11:25 AM, Yannick Moy wrote:
>
>      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.
>
> Well, Frama-C and Why do not use the same dirs with ubuntu, so the first try you
> type
>     frama-c -jessie-analysis file.c
> you get
>     cannot find prelude file /usr/lib/frama-c/why/why/prelude.why
>
> you have to put a symbolic link in place yourself.
>

Which version of the pacakge are you using?

-- 
Mehdi Dogguy ???? ?????
http://dogguy.org/