--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Handling of include paths in Frama-C?



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              |