Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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     |