--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on May 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] analysing already preprocessed file



Hello,

Le mer. 25 mai 2011 15:30:54 CEST,
DUPRAT Stephane <STEPHANE.DUPRAT at atosorigin.com> a ?crit :

> A variant of the problem:
> Imagine I have a compiler that doesn't support the "-o" option (that exists).
> I guess a solution in 2 steps:
>   1/ preprocessing with my own compiler and producing a .i file
>   2/ analyse directly the .i file
> 

This will work, but there's a one-step solution: use -cpp-command with
a string containing %1 and %2 as placeholders for the input file and
output file respectively. See section 5.1 of Frama-C's user manual,
http://frama-c.com/download/frama-c-user-manual.pdf
for more information and examples.

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile