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

[Frama-c-discuss] Installation Problem



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