Hi,
I am working on linux-2.6.25. I would like to use splint when I compile
linux-2.6.25. At one of the source directory, I typed "splint *.c". I got
"Cannot find include file", "Cannot continue". I understand that I need to run
splint inside the Makefile so that it will find the correct include files.
However, how to insert splint info Makefile? Anyone has any idea?
splint *.c
Splint 3.1.2 --- 24 Mar 2010
cache.c:7:25: Cannot find include file asm/pgtable.h on search path:
/usr/include;/usr/local/include
Preprocessing error. (Use -preproc to inhibit warning)
cache.c:42:27: #error Unknown cache type.
Preprocessing error for file: /projects/svdc/P4wsIPCSW/buildsw_canyonlands/linux
/arch/m32r/mm/cache.c
*** Cannot continue.
Thanks,
Gary
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
