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