--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2009 ---
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 |