--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Running ocaml on cygwin



> 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