--- layout: fc_discuss_archives title: Message 8 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 :
> Hi,
> 
> It still doesn't work:
> 
> ~/tmp/why-2.22> ./configure -prefix /cygdrive/c/Frama-C/

Your path is not correct. C:\Frama-C\bin must be before c:\Program 
Files\Objective Caml\bin.

Please follow all the instructions available from the Wiki quoted below:

       How can I compile the Jessie plugin coming with Why 2.22 under 
Windows?
          1.
             Install the Windows binary 20090902 Beryllium Frama-C version
          2.
             Set the following environment variables:
                 o
                   PATH to C:\Frama-C\bin
                 o
                   CAMLLIB to C:\Frama-C\lib
                 o
                   CAML_LD_LIBRARY_PATH to C:\Frama-C\lib\stublibs
                   Replace C:\Frama-C by your installation path if you 
customized it.
          3.
             Install a Cygwin version (1.7 beta has been verified to 
work) with at least the gcc-mingw and autoconf packages
          4.
             If C:\Cygwin\bin\gcc.exe is a symbolic link, remove it and 
replace it by its full expansion e.g. gcc-3.exe under Cygwin 1.7 beta.
          5.
             Download the source tar.gz of Why 2.22
          6.
             untar it in your cygwin home directory
          7.
             configure it with ./configure ?prefix C:/Frama-C (forward 
slash must be used!)
          8.
             compile it with make
          9.
             install it with make 
FRAMAC_LIBDIR=?C:\\\Frama-C\\\lib\\\frama-c? install (triple backward 
slashes must be used!)
         10.
             then proceed to the installation of provers


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