On Mon, 2015-06-08 22:04:32 +0100, Gordon Scott wrote: > On 08/06/15 20:42, Ludolf Holzheid wrote: >> >> [..] >> >> Or are you asking for a way to remove directories from the include >> path? > > I'm after a way to remove them.
I'm not aware of an option to remove a directory from the search path. > At present, /usr/include always appears in the -I search, which appears > to be searched prior to -sysdirs search path As far as I understood, '-sysdirs <dir>' does /not/ add <dir> to the search path, but merely flags the files found in <dir> to be 'needed for compilation, but not part of the project'. (But I might be mistaken.) > so it always finds first > the linux headers, not the gcc cross-compile headers. From then on it > tries to include all sorts of files that are quite inappropriate for the > embedded target. You could prepend the directory for the cross-compile headers to the include path by placing the appropriate '-I' at the very left of the command line. But if the linux headers are not useful for the project, why do they appear in the search path in the first place? Is the $INCLUDE environment variable wrongly set? Ludolf -- Ludolf Holzheid Bihl+Wiedemann GmbH Floßwörthstraße 41 68199 Mannheim, Germany Tel: +49 621 33996-0 Fax: +49 621 3392239 mailto:lholzh...@bihl-wiedemann.de http://www.bihl-wiedemann.de Sitz der Gesellschaft: Mannheim Geschäftsführer: Jochen Bihl, Bernhard Wiedemann Amtsgericht Mannheim, HRB 5796 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
