--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on December 2009 ---
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 |