--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on December 2009 ---
> 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. Why contains the Jessie Plugin. Re-read that: >> 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. > 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> Again a problem of path: In our why directory, in the file frama-c-plugin/Makefile, Set FRAMAC-LIBDIR :=C:/Frama-C/lib/frama-c and it should work. frama-c -print-libpath prints a path with \ instead of / under Cygwin, maybe it's a bug. - Nicolas