I'm not sure what a generic macro to do this could be like, but normally
you can just add a line to your makefile that replaces the compiler with
splint for checking.  In some cases, splint *.c is probably sufficient
(but more likely, you will need to add -D and -I flags as used in

--- Dave

On Mon, 12 Aug 2002, Torsten Mohr wrote:

> Hi,
> is there a macro for autoconf/automake to enable some
> checking of the whole project with "splint"?
> It would be great to enable something like
> ./configure
> make
> make splint-check
> make install
> Best regards,
> Torsten.

Reply via email to