4 ### Taken from sample, thirteenth iteration: strictlib
7 .SUFFIXES: .lcl .lcs .lh .h .c .o
10 ### SHELL = /bin/csh -f
13 SPLINTF = $(SPLINT) -f ./.splintrc
14 LCL = $(SPLINTF) -specundef +lh +quiet -nof
15 SPLINTLH = $(SPLINTF) +lh
16 LCSFILES = dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs bool.lcs check.lcs
17 MODULES = employee eref empset ereftab erc dbase drive.c bool.lcl check.lcl
18 OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o
23 ### Note there is a .splint file used for checking!
26 -$(SPLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_
27 -$(SPLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ +strictlib -expect 77
30 ### The following rules generate .lh and .lcs files from .lcl files. They also
31 ### ensure that .h files appear to be updated whenever the corresponding .lh
47 ### Clean removes junk and all derived files.
48 ### Tidy removes junk and object and executable files.
52 -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh >& /dev/null
55 -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive >& /dev/null
57 ### The following dependencies ensure that imported LCL specs
58 ### are checked before the specs that import them.
60 dbase.lcs: employee.lcs empset.lcs
61 empset.lcs: employee.lcs
63 eref.lcl: employee.lcs
64 ereftab.lcs: employee.lcs eref.lcs
66 ### The following dependencies ensure that a .o file is recompiled when the
67 ### corresponding .c file, or one of the .h files it #includes, is changed.
69 dbase.o: dbase.c bool.h dbase.h employee.h empset.h
70 drive.o: drive.c bool.h dbase.h employee.h empset.h erc.h eref.h ereftab.h
71 employee.o: employee.c employee.h
72 empset.o: empset.c bool.h empset.h erc.h eref.h employee.h employee.h
73 erc.o: erc.c bool.h erc.h eref.h employee.h
74 eref.o: eref.c eref.h employee.h
75 ereftab.o: ereftab.c bool.h ereftab.h erc.h eref.h employee.h