1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
#! /bin/sh /usr/share/dpatch/dpatch-run
## 01_build.dpatch by Y Giridhar Appaji Nag <giridhar@appaji.net>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Remove bin/* and the generated lcs files in the clean target.
## DP: echo the command used during compilation
@DPATCH@
diff -urNad splint-3.1.2.dfsg~/Makefile.in splint-3.1.2.dfsg/Makefile.in
--- splint-3.1.2.dfsg~/Makefile.in 2007-12-19 10:13:19.000000000 +0530
+++ splint-3.1.2.dfsg/Makefile.in 2007-12-19 10:13:28.000000000 +0530
@@ -114,7 +114,7 @@
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
CONFIG_HEADER = config.h
-CONFIG_CLEAN_FILES =
+CONFIG_CLEAN_FILES = bin/Makefile
DIST_SOURCES =
RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \
diff -urNad splint-3.1.2.dfsg~/src/Makefile.in splint-3.1.2.dfsg/src/Makefile.in
--- splint-3.1.2.dfsg~/src/Makefile.in 2007-12-19 10:13:19.000000000 +0530
+++ splint-3.1.2.dfsg/src/Makefile.in 2007-12-19 10:15:06.000000000 +0530
@@ -377,7 +377,7 @@
binDir = bin
-CLEANFILES = splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
+CLEANFILES = splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT) Headers/flag_codes.gen
subdir = src
mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
CONFIG_HEADER = $(top_builddir)/config.h
@@ -1148,7 +1148,7 @@
splinttest:
./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude test.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null
-all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
+all: splint$(EXEEXT)
../$(top_builddir)/$(binDir)/splint$(EXEEXT): splint$(EXEEXT)
-$(RM) -f $(top_builddir)/$(binDir)/splint$(EXEEXT)
@@ -1159,8 +1159,8 @@
$(MAKE) clean
.c.o:
- @echo "Compiling "$<"..."; \
- source='$<' object='$@' libtool=no \
+ @echo "$(CCDEPMODE) $(depcomp) $(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$<"
+ @source='$<' object='$@' libtool=no \
depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \
$(CCDEPMODE) $(depcomp) \
$(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$<
diff -urNad splint-3.1.2.dfsg~/test/Makefile.in splint-3.1.2.dfsg/test/Makefile.in
--- splint-3.1.2.dfsg~/test/Makefile.in 2007-12-19 10:13:19.000000000 +0530
+++ splint-3.1.2.dfsg/test/Makefile.in 2007-12-19 10:13:28.000000000 +0530
@@ -158,7 +158,8 @@
QUICKTESTS = db3
-CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" | $(GREP) -v "^gmake -e" | $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
+CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" | $(GREP) -v "^gmake -e" | $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES=" | \
+$(GREP) -v "^/usr/bin/make.*\[[1-9]*\]:" | $(GREP) -v "^/usr/bin/gmake.*\[[1-9]*\]:" | $(GREP) -v "^/usr/bin/gmake -e" | $(GREP) -v "^/usr/bin/make -e"
#drl 12/07/2002 These rules for .c and .expect files don't make sense
@@ -945,9 +946,12 @@
.PHONY: clean-local
clean-local:
- -rm -f *~ #*# *.o *.lcs a.out
+ -rm -f *~ \#*\# *.o *.lcs a.out
-rm -f *.out
-rm *.lcd *.lh
+ -cd tests2.2; $(MAKE) clean
+ -cd tests2.4; $(MAKE) clean
+ -cd tests2.5; $(MAKE) clean
-cd db1; $(MAKE) clean
-cd db2; $(MAKE) clean
-cd db3; $(MAKE) clean
diff -urNad splint-3.1.2.dfsg~/test/tests2.2/Makefile splint-3.1.2.dfsg/test/tests2.2/Makefile
--- splint-3.1.2.dfsg~/test/tests2.2/Makefile 2007-12-19 10:13:19.000000000 +0530
+++ splint-3.1.2.dfsg/test/tests2.2/Makefile 2007-12-19 10:13:28.000000000 +0530
@@ -48,3 +48,6 @@
struct:
-$(SPLINT) struct.c -expect 1
+
+clean:
+ rm -f bool.lcs
diff -urNad splint-3.1.2.dfsg~/test/tests2.4/Makefile splint-3.1.2.dfsg/test/tests2.4/Makefile
--- splint-3.1.2.dfsg~/test/tests2.4/Makefile 2007-12-19 10:13:19.000000000 +0530
+++ splint-3.1.2.dfsg/test/tests2.4/Makefile 2007-12-19 10:13:28.000000000 +0530
@@ -78,11 +78,5 @@
source:
$(SPLINT) -D DBL_MANT_DIG=25 source.c -expect 1
-
-
-
-
-
-
-
-
+clean:
+ rm -f subdir/main.lcs
diff -urNad splint-3.1.2.dfsg~/test/tests2.5/Makefile splint-3.1.2.dfsg/test/tests2.5/Makefile
--- splint-3.1.2.dfsg~/test/tests2.5/Makefile 2007-12-19 10:13:19.000000000 +0530
+++ splint-3.1.2.dfsg/test/tests2.5/Makefile 2007-12-19 10:13:28.000000000 +0530
@@ -44,3 +44,6 @@
impabsmodule:
-${SPLINT} +impabstract impabsmodule.c -expect 2
+
+clean:
+ rm -f newlint.lcd
|
