[splint-discuss] HowTo specify DEFINES by CMD line

[Ludolf Holzheid]

On Tue, 2008-11-25 09:44:24 +0100, Mike Werner wrote:
> [..]
> 
> How can I tell splint those defines so that it knows which headers to be
> included?

Try "-D<symbol>" or "-D<sybol>=<value>", either as command line
argument or in splintrc. See also the Pre-processor section in
appendix B of the manual.

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------