--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on May 2010 ---
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/