[splint-discuss] How to insert splint into Makefile for Linux compilation
jhanley at dgtlrift.com
Fri Mar 26 21:02:56 EST 2010
You have to set up a rule that creates an intermediate depency before
the object file dependancy. The author of gsml - he has some great
tricks for make files.
On Mar 26, 2010, at 4:40 PM, Gary Yang <garyyang6 at yahoo.com> wrote:
> 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:
> Preprocessing error. (Use -preproc to inhibit warning)
> cache.c:42:27: #error Unknown cache type.
> Preprocessing error for file: /projects/svdc/P4wsIPCSW/
> *** Cannot continue.
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
More information about the splint-discuss