#3 gcc compatibility mode

[Anonymous]

it would be useful if there was an automatic way to run
splint instead of gcc, i.e. by doing something like:

make CC=splint

so that splint is invoked instead of gcc.

However, gcc will usually be passed a good amount of
parameters that are neither supported nor ignored by
splint. Thus, it would be helpful if at least the most
important (for splint that is) parameters (i.e. -I, -D)
would be directly supported by splint, so that the
other ones can be simply ignored.
This would make it possible to automatically check a
whole autoconf/automake- (or simply Makefile-)based
project by simply setting the CC variable to splint.
Thanks for a great product and also for considering
this suggestion.

[Bill Pringlemeir]

This can easily be implemented in a script without changing the splint source code. Contributed scripts are welcome.