How to insert splint info Makefile? Any idea?

How to insert splint info Makefile? Any idea?

[Gary Yang]

Hi,

I am working on linux-2.6.25. I would like to use splint. 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? 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






      

Re: How to insert splint info Makefile? Any idea?

[Valdis.Kletnieks]

[-- Attachment #1: Type: text/plain, Size: 426 bytes --]

On Thu, 25 Mar 2010 18:30:36 PDT, Gary Yang said:
> I am working on linux-2.6.25. I would like to use splint. 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? Any idea?

Look at how 'sparse' support is done.

[-- Attachment #2: Type: application/pgp-signature, Size: 227 bytes --]