[splint.git] / test / manual / Makefile

###
### This Makefile produces the figures included in the Splint Manual.
###

.SUFFIXES: .out .expect .c .lcl .h .lh .diff
.PHONY: clean

SPLINT = splint
SPLINTFLAGS = -warnflags -nof -linelen 55 -hints -showcol -booltype bool -showfunc -exportlocal -exportheader

RUNTOHTML = cat
# /u/evs/lclint/scripts/runtohtmls
GENHTML = /u/evs/lclint/scripts/genhtmls
CTOHTML = /u/evs/bin/ctohtmlplain
BASEDIR = /u/evs/perl/basedir
MAKERUNNER = /u/evs/lclint/scripts/makerunner

### SHELL = /bin/csh 

DIFF = diff

all: sample null mstring usedef bool palindrome only stack rstring unique \
     exposure modify globals annotglobs clauses order loop switch noeffect \
     ignore setChar multiError bounds

### In line example
.PHONY: sample
sample: sample.c
	$(SPLINT) $(SPLINTFLAGS) sample.c -expect 2

### Figure 2:
.PHONY: null
null: null.c
	$(SPLINT) $(SPLINTFLAGS) null.c -expect 1

### Figure 3:
.PHONY: mstring
mstring: mstring.c
	$(SPLINT) $(SPLINTFLAGS) mstring.c -expect 0

### Figure 4:
.PHONY: usedef
usedef: usedef.c
	$(SPLINT) $(SPLINTFLAGS) usedef.c -expect 3
	$(SPLINT) $(SPLINTFLAGS) usedef.c +impouts -expect 2

### Figure 5:
.PHONY: bool
bool: bool.c bool.h
	$(SPLINT) $(SPLINTFLAGS) bool.c +predboolptr -booltype bool -linelen 70 -expect 7

### Figure 6:
.PHONY: palindrome
palindrome: palindrome.c mstring.h bool.h
	$(SPLINT) $(SPLINTFLAGS) palindrome.c -expect 4 -linelen 45

### Figure 7:
.PHONY: only
only: only.c
	$(SPLINT) $(SPLINTFLAGS) only.c -expect 6

### Figure 8:
.PHONY: stack
stack: stack.c
	$(SPLINT) $(SPLINTFLAGS) stack.c -expect 3

### Figure 9:
### no code

### Figure 10:
.PHONY: rstring
rstring: rstring.c
	$(SPLINT) $(SPLINTFLAGS) rstring.c -expect 1

### Figure 11:
.PHONY: unique
unique: unique.c
	$(SPLINT) $(SPLINTFLAGS) unique.c -expect 1

### Figure 12:
.PHONY: returned
returned: returned.c
	$(SPLINT) $(SPLINTFLAGS) returned.c -expect 1

### Figure 13:
.PHONY: exposure
exposure: exposure.c
	$(SPLINT) $(SPLINTFLAGS) exposure.c -expect 4 +checks -exportlocal -exportheader  -linelen 50

### Figure 14:
.PHONY: modify
modify: modify.c
	$(SPLINT) +checks $(SPLINTFLAGS) modify.c -expect 2

### Figure 15:
.PHONY: globals
globals: globals.c
	$(SPLINT) +checks $(SPLINTFLAGS) globals.c -expect 2

### Figure 16:
.PHONY: annotglobals
annotglobs: annotglobs.c
	$(SPLINT) $(SPLINTFLAGS) annotglobs.c -expect 3 

### Figure 17:
.PHONY: clauses
clauses: clauses.c
	$(SPLINT) $(SPLINTFLAGS) clauses.c -expect 0

### Figure 18:
.PHONY: order
order: order.c
	$(SPLINT) $(SPLINTFLAGS) order.c +evalorderuncon -expect 4 -linelen 60
	$(SPLINT) $(SPLINTFLAGS) order.c -expect 3

### Figure 19:
.PHONY: loop
loop: loop.c
	$(SPLINT) $(SPLINTFLAGS) loop.c +infloopsuncon -expect 2
	$(SPLINT) $(SPLINTFLAGS) loop.c -expect 1

### Figure 20:
.PHONY: switch
switch: switch.c
	$(SPLINT) $(SPLINTFLAGS) switch.c -expect 2

### Figure 21:
.PHONY: noeffect
noeffect: noeffect.c
	$(SPLINT) $(SPLINTFLAGS) noeffect.c +noeffectuncon -expect 3
	$(SPLINT) $(SPLINTFLAGS) noeffect.c -expect 2

### Figure 22:
.PHONY: ignore
ignore: ignore.c
	$(SPLINT) $(SPLINTFLAGS) bool.h ignore.c -expect 2
	$(SPLINT) $(SPLINTFLAGS) bool.h ignore.c -retvalbool -expect 1
	$(SPLINT) $(SPLINTFLAGS) bool.h ignore.c -retvalint -expect 1

### Figure 23:
.PHONY: Anames
names: names.c
	$(SPLINT) $(SPLINTFLAGS) names.c +distinctinternalnames +internalnamelookalike +isoreserved -expect 3

### Figure ???:

.PHONY: setChar
setChar: setChar.c
	$(SPLINT) $(SPLINTFLAGS) setChar.c +bounds -exportlocal +showconstraintlocation -expect 1


.PHONY: multiError
multiError: multiError.c
	$(SPLINT) $(SPLINTFLAGS) multiError.c +bounds -exportlocal +showconstraintlocation -expect 1


.PHONY: bounds
bounds: bounds.c
	$(SPLINT) $(SPLINTFLAGS) bounds.c +bounds -exportlocal +showconstraintlocation -expect 1 -linelen 50

clean: 
	-rm -f core a.out *.*~
Commit	Line	Data
77970e15	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
747ae48b	18	### SHELL = /bin/csh
77970e15	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 \
45569d72	24	ignore setChar multiError bounds
77970e15	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:
f8f5727a	141	.PHONY: Anames
77970e15	142	names: names.c
	143	$(SPLINT) $(SPLINTFLAGS) names.c +distinctinternalnames +internalnamelookalike +isoreserved -expect 3
	144
f8f5727a	145	### Figure ???:
	146
	147	.PHONY: setChar
	148	setChar: setChar.c
bb7c2085	149	$(SPLINT) $(SPLINTFLAGS) setChar.c +bounds -exportlocal +showconstraintlocation -expect 1
f8f5727a	150
	151
	152	.PHONY: multiError
	153	multiError: multiError.c
bb7c2085	154	$(SPLINT) $(SPLINTFLAGS) multiError.c +bounds -exportlocal +showconstraintlocation -expect 1
f8f5727a	155
f8f5727a	156
45569d72	157	.PHONY: bounds
	158	bounds: bounds.c
	159	$(SPLINT) $(SPLINTFLAGS) bounds.c +bounds -exportlocal +showconstraintlocation -expect 1 -linelen 50
f8f5727a	160
77970e15	161	clean:
	162	-rm -f core a.out .~
	163