--- layout: fc_discuss_archives title: Message 71 from Frama-C-discuss on December 2008 ---
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")