[splint-discuss] Speeding up splint. (John Carter)

[Tony Castillo]

Here are a few things:
	Splint is a memory hog.  Try adding more RAM.
	Splint is not a compiler.  Use splint near the end of your project 
(after things are working).
	Try to break up modules (.C files).  This works best if you have a 
smaller number of header (.H) files
	With large header files, try to combine modules.  Combine all of your 
includes into 1 super header file that is used by all modules. This way 
splint only has to parse them once.  This is the instance where more RAM 
may be useful.
> 
> Currently two thirds of our compilation time is taken up by splint.
> 
> Is there any way to speed it up?