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



Hollas Boris (CR/AEY1) a ?crit :
> I just installed why 2.22 and Frama-C Beryllium 2 for Windows. I have two problems:
> - there's no why-config
> - Invoking "frama-c -jessie" gives me
>   [kernel] user error: option `-jessie' is unknown.
>   Jessie is in Why/bin and in the path.

Could you check whether the binaries of the Jessie plugin 
(Jessie.cmxs/Jessie.cmo) are installed in `frama-c -print-plugin-path`?

-- 
| Benjamin Monate         | mailto:benjamin.monate at cea.fr     |