--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on May 2011 ---
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