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 <garyya...@yahoo.com> wrote: > 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 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss