--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on November 2009 ---
> On the command line of the attached screen dump, you > will find the command I used: C:\Frama-C\bin > frama-C-gui -val -cpp-command "pp.exe first.c -o first.i" The normal use of the -cpp-command option is to let Frama-C add the "first.c -o first.i" part, which it will do for all the file(s) of the analysis project(s) you create. You would therefore use the command: frama-c-gui -val first.c -cpp-command pp.exe Alternately, to progress in your evaluation of Frama-C while leaving aside this vexing but definitely solvable problem, consider pre-processing the file(s) yourself (use a .i extension for the target) and including the .i files in your analysis project: frama-c-gui -val first.i Best regards, Pascal -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: image001.jpg Type: image/jpeg Taille: 35684 octets Desc: image001.jpg Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091123/ae3dcf0c/attachment-0001.jpg