--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Why/Jessie plugin version 2.22 is out



Hi Boris,

Hollas Boris (CR/AEY1) a ?crit :
> ~/tmp/why-2.22> ls /cygdrive/c/Frama-C/bin/lib/
> ls: cannot access /cygdrive/c/Frama-C/bin/lib/: No such file or directory

Your installation seems incorrect.

Can you try the instructions given at the link below and report any issues?

http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start#compilation_and_installation

Hopefully some of the tweaks will be no longer necessary with the next 
release of Frama-C.

Hope this helps,
-- 
| Benjamin Monate         | mailto:benjamin.monate at cea.fr     |