--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on October 2008 ---
Hi Birger, Birger Kollstrand a ?crit : > What we now face is that Frama-C does not find the include files for > files that is not in the root tree. Just use the -cpp-command to pass the full preprocessing command to Frama-C. For example : frama-c-gui -cpp-command "gcc -C -E -I includes/foo -I /bar/baz/" Do you think that the frama-c-manual-en.pdf section 3.1.1 not clear on that point? In that case we may need to rewrite it completly. Cheers, -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |