--- layout: fc_discuss_archives title: Message 7 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?



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

BTW, I could not find on the Frama-C website where to get the sources for
the Jessie plugin, now that they are not distributed with Frama-C.
I guess they are with Why?
-- 
Yannick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100507/5f04cd10/attachment.htm>