4 ### Taken from sample, second iteration: weakchecks
7 .SUFFIXES: .lcl .lcs .lh .h .c .o
10 ### SHELL = /bin/csh -f
12 SPLINT = splint -booltype bool -booltrue TRUE -boolfalse FALSE
13 LCL = $(SPLINT) -specundef +lh +quiet -nof
14 SPLINTLH = $(SPLINT) +lh
15 LCSFILES = bool.lcs dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs
17 MODULES = bool.lcl employee eref empset ereftab erc dbase drive.c
18 OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o
25 ### Removed +showscan, produces different results on different platforms
28 ### evans 2002-12-17: 2 fewer weak errors because of -abstractcompare default in weak
31 -$(SPLINT) -showcol -weak $(MODULES) -expect 19
32 -$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 338
34 # evans 2002-07-09: 5 bufferoverflowhigh warnings for using sprintf
36 ### The following rules generate .lh and .lcs files from .lcl files. They also
37 ### ensure that .h files appear to be updated whenever the corresponding .lh
53 ### Clean removes junk and all derived files.
54 ### Tidy removes junk and object and executable files.
58 -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh 1> /dev/null
61 -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 11> /dev/null
63 ### The following dependencies ensure that imported LCL specs
64 ### are checked before the specs that import them.
66 dbase.lcs: employee.lcs empset.lcs
67 empset.lcs: employee.lcs
69 eref.lcl: employee.lcs
70 ereftab.lcs: employee.lcs eref.lcs
72 ### The following dependencies ensure that a .o file is recompiled when the
73 ### corresponding .c file, or one of the .h files it #includes, is changed.
75 dbase.o: dbase.c bool.h dbase.h employee.h empset.h
76 drive.o: drive.c bool.h dbase.h employee.h empset.h erc.h eref.h ereftab.h
77 employee.o: employee.c employee.h
78 empset.o: empset.c bool.h empset.h erc.h eref.h employee.h employee.h
79 erc.o: erc.c bool.h erc.h eref.h employee.h
80 eref.o: eref.c eref.h employee.h
81 ereftab.o: ereftab.c bool.h ereftab.h erc.h eref.h employee.h