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

[Frama-c-discuss] Problem running frama-c in Windows



> E:\Program Files\Frama-C\bin>frama-c.exe first.c
> [kernel] preprocessing with "C:\cygwin\bin\gcc.exe -C -E I?? first.c"
>
> but no more results are shown, nor is any file created in this directory
> after this command.

If pre-processing seems to be the problem, you can try to rename the
file "first.c" into "first.i" so that it is not pre-processed by
Frama-C.

Pascal