| 885824d3 |
1 | ### |
| 2 | ### LCLint db3 test |
| 3 | ### |
| 4 | ### Taken from sample, thirteenth iteration: strictlib |
| 5 | ### |
| 6 | |
| 7 | .SUFFIXES: .lcl .lcs .lh .h .c .o |
| 8 | .PHONY: check |
| 9 | |
| 10 | SHELL = /bin/csh -f |
| 11 | |
| 12 | LCLINT = lclint |
| 13 | LCLINTF = $(LCLINT) -f ./.lclintrc |
| 14 | LCL = $(LCLINTF) -specundef +lh +quiet -nof |
| 15 | LCLINTLH = $(LCLINTF) +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 |
| 19 | |
| 20 | test: |
| 21 | $(MAKE) -e clean |
| 22 | $(MAKE) -e check |
| 23 | |
| 24 | ### Note there is a .lclint file used for checking! |
| 25 | |
| 26 | check: $(LCSFILES) |
| 27 | $(LCLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal |
| 28 | $(LCLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal +strictlib -expect 77 |
| 29 | |
| 30 | |
| 31 | ### The following rules generate .lh and .lcs files from .lcl files. They also |
| 32 | ### ensure that .h files appear to be updated whenever the corresponding .lh |
| 33 | ### file is updated. |
| 34 | |
| 35 | .lcl.lh: |
| 36 | $(LCL) $*.lcl |
| 37 | |
| 38 | .lcl.lcs: |
| 39 | $(LCL) $*.lcl |
| 40 | |
| 41 | .lh.h: |
| 42 | touch $*.h |
| 43 | |
| 44 | .c.o: |
| 45 | $(GCC) -c $*.c |
| 46 | |
| 47 | ### |
| 48 | ### Clean removes junk and all derived files. |
| 49 | ### Tidy removes junk and object and executable files. |
| 50 | ### |
| 51 | |
| 52 | clean: tidy |
| 53 | -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh >& /dev/null |
| 54 | |
| 55 | tidy: |
| 56 | -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive >& /dev/null |
| 57 | |
| 58 | ### The following dependencies ensure that imported LCL specs |
| 59 | ### are checked before the specs that import them. |
| 60 | |
| 61 | dbase.lcs: employee.lcs empset.lcs |
| 62 | empset.lcs: employee.lcs |
| 63 | erc.lcs: eref.lcs |
| 64 | eref.lcl: employee.lcs |
| 65 | ereftab.lcs: employee.lcs eref.lcs |
| 66 | |
| 67 | ### The following dependencies ensure that a .o file is recompiled when the |
| 68 | ### corresponding .c file, or one of the .h files it #includes, is changed. |
| 69 | |
| 70 | dbase.o: dbase.c bool.h dbase.h employee.h empset.h |
| 71 | drive.o: drive.c bool.h dbase.h employee.h empset.h erc.h eref.h ereftab.h |
| 72 | employee.o: employee.c employee.h |
| 73 | empset.o: empset.c bool.h empset.h erc.h eref.h employee.h employee.h |
| 74 | erc.o: erc.c bool.h erc.h eref.h employee.h |
| 75 | eref.o: eref.c eref.h employee.h |
| 76 | ereftab.o: ereftab.c bool.h ereftab.h erc.h eref.h employee.h |
| 77 | |
| 78 | |
| 79 | |
| 80 | |
andersk / splint.git / blame