test/manual/Makefile

   1 ###
   2 ### This Makefile produces the figures included in the Splint Manual.
   3 ###
   4
   5 .SUFFIXES: .out .expect .c .lcl .h .lh .diff
   6 .PHONY: clean
   7
   8 SPLINT = splint
   9 SPLINTFLAGS = -warnflags -nof -linelen 55 -hints -showcol -booltype bool -showfunc -exportlocal -exportheader
  10
  11 RUNTOHTML = cat
  12 # /u/evs/lclint/scripts/runtohtmls
  13 GENHTML = /u/evs/lclint/scripts/genhtmls
  14 CTOHTML = /u/evs/bin/ctohtmlplain
  15 BASEDIR = /u/evs/perl/basedir
  16 MAKERUNNER = /u/evs/lclint/scripts/makerunner
  17
  18 ### SHELL = /bin/csh
  19
  20 DIFF = diff
  21
  22 all: sample null mstring usedef bool palindrome only stack rstring unique \
  23      exposure modify globals annotglobs clauses order loop switch noeffect \
  24      ignore setChar multiError bounds
  25
  26 ### In line example
  27 .PHONY: sample
  28 sample: sample.c
  29         $(SPLINT) $(SPLINTFLAGS) sample.c -expect 2
  30
  31 ### Figure 2:
  32 .PHONY: null
  33 null: null.c
  34         $(SPLINT) $(SPLINTFLAGS) null.c -expect 1
  35
  36 ### Figure 3:
  37 .PHONY: mstring
  38 mstring: mstring.c
  39         $(SPLINT) $(SPLINTFLAGS) mstring.c -expect 0
  40
  41 ### Figure 4:
  42 .PHONY: usedef
  43 usedef: usedef.c
  44         $(SPLINT) $(SPLINTFLAGS) usedef.c -expect 3
  45         $(SPLINT) $(SPLINTFLAGS) usedef.c +impouts -expect 2
  46
  47 ### Figure 5:
  48 .PHONY: bool
  49 bool: bool.c bool.h
  50         $(SPLINT) $(SPLINTFLAGS) bool.c +predboolptr -booltype bool -linelen 70 -expect 7
  51
  52 ### Figure 6:
  53 .PHONY: palindrome
  54 palindrome: palindrome.c mstring.h bool.h
  55         $(SPLINT) $(SPLINTFLAGS) palindrome.c -expect 4 -linelen 45
  56
  57 ### Figure 7:
  58 .PHONY: only
  59 only: only.c
  60         $(SPLINT) $(SPLINTFLAGS) only.c -expect 6
  61
  62 ### Figure 8:
  63 .PHONY: stack
  64 stack: stack.c
  65         $(SPLINT) $(SPLINTFLAGS) stack.c -expect 3
  66
  67 ### Figure 9:
  68 ### no code
  69
  70 ### Figure 10:
  71 .PHONY: rstring
  72 rstring: rstring.c
  73         $(SPLINT) $(SPLINTFLAGS) rstring.c -expect 1
  74
  75 ### Figure 11:
  76 .PHONY: unique
  77 unique: unique.c
  78         $(SPLINT) $(SPLINTFLAGS) unique.c -expect 1
  79
  80 ### Figure 12:
  81 .PHONY: returned
  82 returned: returned.c
  83         $(SPLINT) $(SPLINTFLAGS) returned.c -expect 1
  84
  85 ### Figure 13:
  86 .PHONY: exposure
  87 exposure: exposure.c
  88         $(SPLINT) $(SPLINTFLAGS) exposure.c -expect 4 +checks -exportlocal -exportheader  -linelen 50
  89
  90 ### Figure 14:
  91 .PHONY: modify
  92 modify: modify.c
  93         $(SPLINT) +checks $(SPLINTFLAGS) modify.c -expect 2
  94
  95 ### Figure 15:
  96 .PHONY: globals
  97 globals: globals.c
  98         $(SPLINT) +checks $(SPLINTFLAGS) globals.c -expect 2
  99
 100 ### Figure 16:
 101 .PHONY: annotglobals
 102 annotglobs: annotglobs.c
 103         $(SPLINT) $(SPLINTFLAGS) annotglobs.c -expect 3
 104
 105 ### Figure 17:
 106 .PHONY: clauses
 107 clauses: clauses.c
 108         $(SPLINT) $(SPLINTFLAGS) clauses.c -expect 0
 109
 110 ### Figure 18:
 111 .PHONY: order
 112 order: order.c
 113         $(SPLINT) $(SPLINTFLAGS) order.c +evalorderuncon -expect 4 -linelen 60
 114         $(SPLINT) $(SPLINTFLAGS) order.c -expect 3
 115
 116 ### Figure 19:
 117 .PHONY: loop
 118 loop: loop.c
 119         $(SPLINT) $(SPLINTFLAGS) loop.c +infloopsuncon -expect 2
 120         $(SPLINT) $(SPLINTFLAGS) loop.c -expect 1
 121
 122 ### Figure 20:
 123 .PHONY: switch
 124 switch: switch.c
 125         $(SPLINT) $(SPLINTFLAGS) switch.c -expect 2
 126
 127 ### Figure 21:
 128 .PHONY: noeffect
 129 noeffect: noeffect.c
 130         $(SPLINT) $(SPLINTFLAGS) noeffect.c +noeffectuncon -expect 3
 131         $(SPLINT) $(SPLINTFLAGS) noeffect.c -expect 2
 132
 133 ### Figure 22:
 134 .PHONY: ignore
 135 ignore: ignore.c
 136         $(SPLINT) $(SPLINTFLAGS) bool.h ignore.c -expect 2
 137         $(SPLINT) $(SPLINTFLAGS) bool.h ignore.c -retvalbool -expect 1
 138         $(SPLINT) $(SPLINTFLAGS) bool.h ignore.c -retvalint -expect 1
 139
 140 ### Figure 23:
 141 .PHONY: Anames
 142 names: names.c
 143         $(SPLINT) $(SPLINTFLAGS) names.c +distinctinternalnames +internalnamelookalike +isoreserved -expect 3
 144
 145 ### Figure ???:
 146
 147 .PHONY: setChar
 148 setChar: setChar.c
 149         $(SPLINT) $(SPLINTFLAGS) setChar.c +bounds -exportlocal +showconstraintlocation -expect 1
 150
 151
 152 .PHONY: multiError
 153 multiError: multiError.c
 154         $(SPLINT) $(SPLINTFLAGS) multiError.c +bounds -exportlocal +showconstraintlocation -expect 1
 155
 156
 157 .PHONY: bounds
 158 bounds: bounds.c
 159         $(SPLINT) $(SPLINTFLAGS) bounds.c +bounds -exportlocal +showconstraintlocation -expect 1 -linelen 50
 160
 161 clean:
 162         -rm -f core a.out *.*~
 163