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

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



Oh....

My miss.

Thanks for the pointer !

It would be good if this could be set in the "Preferences" dialog of the gui?

I also noted that (on Windows) I can not copy out results from the anaylsis window "Messages". Should this be possible and if so would you like me to write a bug report on it?
 

Kind Regards Birger

-----Opprinnelig melding-----
Fra: Benjamin Monate [mailto:benjamin.monate@cea.fr] 
Sendt: 9. oktober 2008 10:42
Til: Birger Kollstrand
Kopi: frama-c-discuss@lists.gforge.inria.fr
Emne: Re: [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              |