--- layout: fc_discuss_archives title: Message 71 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installation Problem



Greetings,

 

(1) Here are the results from the call to the Jessie plugin via setting the
FRAMAC_SHARE environment variable.

 

$ FRAMAC_SHARE=/usr/local/Frama-C/bin/frama-c frama-c -jessie-analysis
-jessie-gui a.c

Parsing

[preprocessing] running gcc -C -E -I. -include
/usr/local/Frama-C/bin/frama-c\jessie\jessie_prolog.h -dD a.c

cc1: /usr/local/Frama-C/bin/frama-c\jessie\jessie_prolog.h: No such file or
directory

Failed to run: gcc -C -E -I. -include
/usr/local/Frama-C/bin/frama-c\jessie\jessie_prolog.h -dD -o
"C:\Users\jua\AppData\Local\Temp\a.c3bc755.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.c3bc755.i: No such file or
directory")