#2 Specs must be processed before it can be imported

[Anonymous]

Specs must be processed before it can be imported:
when trying to compile lcs and lh files, when they are
not given to splint in the right order, it fails
miserably; which is not handy when intergrating splint
checking into your makefile

splint -posix-strict-lib -weak +skip-sys-headers
+partial elevator.lcl passenger.lcl
Splint 3.1.1 --- 20 Jan 2006

elevator.lcl:5:1: Specs must be processed before it can
be imported:
./passenger.lcl
*** Cannot continue.

[Nobody/Anonymous]

a couple of lcl files which demonstrate the problem, including the GNUmakefile