--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on May 2011 ---
Le 25/05/2011 17:30, DUPRAT Stephane a ?crit : > Boris, > > Thanks for the tip, It works. > > 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 > 3/ Read the user manual 5.2 p25 4/ run frama-c -kernel-help and read the inline documentation of the -cpp-command option 5/ Read the following paragraph from the inline help -cpp-command <cmd> <cmd> is used to build the preprocessing command. Defaults to $CPP environment variable or else "gcc -C -E -I.". If unset, the command is built as follow: CPP -o <preprocessed file> <source file> %1 and %2 can be used into CPP string to mark the position of <source file> and <preprocessed file> respectively :-) -- Benjamin Monate