--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on July 2010 ---
Hello, > I still can't install frama-c GUI under Windows?properly,when?I load a > simple c program, there is always errors. > > error message from console is as follows: > [kernel] user error: failed to run: gcc -C -E -I.? -o > "C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\first.c538734.i" "C:\first.c" > ???????????????????? you may set the CPP environment variable to select the > proper preprocessor command or use the option "-cpp-command". Frama-C is probably installed ok. Now the problem is that a pre-processor is missing. 1) One solution, if you want to try Frama-C with small programs written by yourself, is to name the files to analyse with .i extensions, to indicate that they contain already pre-processed C code. This way, Frama-C will not launch gcc to pre-process them. The files must not use #include or #define. 2) You can install gcc in Windows, and make sure that the gcc command is in your PATH. The recommended choice is MinGW: http://mingw.org/ You will know that you have installed gcc properly when you can type "gcc -C -E first.c -o first.i" to generate a pre-processed version of first.c in file first.i. Good luck, Pascal