--- layout: fc_discuss_archives title: Message 34 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



Hello,

Le mer. 16 juin 2010 20:27:36 CEST,
Ricardo Almeida <ricardoalmeida1985 at gmail.com> a ?crit :

> Thanks for answering,
> 
> 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.
> >
> 
> I changed the name and then tried
> 
> E:\Program Files\Frama-C\bin>frama-c.exe first.i
> 
> but there was no result. Then I tried to load it as a .c source to the GUI

Well, by default if you only pass a filename as argument without any
option, frama-c will only attempt to typecheck the source. This
operation generates output only in case of a syntax or type-checking
error[1]. Try e.g. 
frama-c.exe -print first.i
This command should output on stdout the code of first.i as normalized
by CIL.

-- 
E tutto per oggi, a la prossima volta.
Virgile
[1] In case of pre-processing, you have also the command-line used for
pre-processing, but as said previously, a .i file is considered to have
already been pre-processed.