--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on December 2009 ---
> Once the binary release of Frama-C is installed, > download Why from http://why.lri.fr, compile it, install it. > Then, the command line > frama-c -jessie > will tell you if the Jessie plugin is installed or not. > - Nicolas The windows binary distribution doesn't contain the Jessie plugin. Because I found no information on how to install the Jessie plugin, neither on the Frama-C site nor on the why site, I decided to compile the source distribution, which contains everything except a prover. However, compiling why as included in the Beryllium 2 source distribution also failed: File "jessie_options.mli", line 25, characters 0-11: Error: Unbound module Plugin make[1]: *** [jessie_options.cmi] Error 2 make[1]: Leaving directory `/cygdrive/c/cygwin/home/frama-c-Beryllium-20090902-why-2.21/why/frama-c-plugin' make: *** [jessie_plugin.opt] Error 2 ~/frama-c-Beryllium-20090902-why-2.21/why> I will therefore continue to use Beryllium 1 until a windows binary release is available that includes Frama-C, Jessie and why. -Boris