--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on January 2009 ---
Greetings, The problem has now been resolved. I exported the environment variables WHYLIB and FRAMAC_SHARE as shown below. $ export WHYLIB="C:/cygwin/usr/local/Frama-C/share/frama-c/why" $ export FRAMAC_SHARE="C:/cygwin/usr/local/Frama-C" $ frama-c -jessie-analysis -jessie-gui a.c Parsing [preprocessing] running gcc -C -E -I. -include C:\cygwin\usr\local\Frama-C\jessie\jessie_prolog.h -dD a.c cc1: C:\cygwin\usr\local\Frama-C\jessie\jessie_prolog.h: No such file or directory Failed to run: gcc -C -E -I. -include C:\cygwin\usr\local\Frama-C\jessie\jessie_prolog.h -dD -o "C:\Users\sotjua\AppData\Local\Temp\a.cf5993e.i" "a.c" You may set the CPP environment variable to select the proper preprocessor command ... or use the -cpp-command program argument. Fatal error: exception Sys_error("C:\Users\sotjua\AppData\Local\Temp\a.cf5993e.i: No such file or directory") Also, I had to copy my Jessie folder from C:\cygwin\usr\local\Frama-C\share\frama-c to C:\cygwin\usr\local\Frama-C in order to run the Jessie plugin. Many thanks for your assistance. Regards, Juan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090106/63225275/attachment-0001.htm