--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on October 2008 ---
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 |