--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on July 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] how to install frama-c properly(1)



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