On 08/06/15 20:42, Ludolf Holzheid wrote:
On Mon, 2015-06-08 14:50:43 +0100, Gordon Scott wrote:
Hi,
I searched the archives and didn't find an answer, so...
How can I exclude the default path from the include searches, please?
I'm running splint for a cross-compiled project, so the defaults files
are the wrong ones for the compile.
I've set -I and -systemdirs but without effect.
The various -skip-... options also seem to achieve nothing useful.
Hello Gordon,
"-sysdirs <directory> -I<directory> -sys-dir-errors" seems to work for
me to prevent splint from reporting errors for headers in <directory>.
Or are you asking for a way to remove directories from the include
path?
I'm after a way to remove them.
At present, /usr/include always appears in the -I search, which appears
to be searched prior to -sysdirs search path, 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.
Gordon.
--
/But for the sake of some little mouthful of flesh
we deprive a soul of the sun and light,
and of that proportion of life and time
it had been born into the world to enjoy./
Plutarch AD44-120
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
