X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a956d44407e676f9f2737963194fd78f9dda05f4..363a5c931fa1dfe72d452f33b56b997bf24597fe:/test/Makefile.in diff --git a/test/Makefile.in b/test/Makefile.in index e96558a..2431dbc 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -55,8 +55,12 @@ POST_INSTALL = : NORMAL_UNINSTALL = : PRE_UNINSTALL = : POST_UNINSTALL = : +build_alias = @build_alias@ +build_triplet = @build@ host_alias = @host_alias@ host_triplet = @host@ +target_alias = @target_alias@ +target_triplet = @target@ AMTAR = @AMTAR@ AWK = @AWK@ BISON = @BISON@ @@ -83,8 +87,10 @@ install_sh = @install_sh@ AUTOMAKE_OPTIONS = 1.5 foreign -DIFFFLAGS = -u +DIFFFLAGS = + +# -u show context SPLINT = $(top_builddir)/src/splint$(EXEEXT) ### This is horrible! Can't we make top_builddir absolute? @@ -124,17 +130,18 @@ UNITTESTS = \ UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS)) + ### warnuse doesn't work yet! SUBDIRTESTS = metastate mergestate tainted fileio \ simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ - maxset strchr for \ + maxset strchr for manual\ tests2.2 tests2.4 tests2.5 db1 db2 db3 SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS) QUICKTESTS = db3 -CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(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=" #drl 11/29/2001 This is a very ugly hack to get make dist to work EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ @@ -722,7 +729,6 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./tq.h \ ./metastate/global.h \ ./suppressfile/test.h \ - ./tests2.2/Makefile.hide \ ./tests2.2/mbool.h \ ./tests2.4/forward.h \ ./tests2.4/hash.h \ @@ -748,10 +754,8 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./strchr/Makefile \ ./tainted/Makefile \ ./temp/Makefile \ - ./tests2.2/Makefile.hide \ ./tests2.2/Makefile \ ./tests2.2/Makefile-tests2.2.os2 \ - ./tests2.2a/Makefile \ ./tests2.4/Makefile \ ./tests2.4/Makefile-tests2.4.os2 \ ./tests2.5/Makefile \ @@ -760,9 +764,14 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./Makefile.in \ ./moreBufferTests2/Makefile \ ./fileio/eof.mts ./fileio/file.mts ./fileio/filerw.mts ./mergestate/tainted.mts ./mergestate/taintednm.mts ./metastate/file.mts ./metastate/nullterminated.mts ./metastate/sockets.mts ./tainted/tainted-bad.mts ./tainted/tainted.mts ./fileio/file.xh ./fileio/filerw.xh ./mergestate/tainted.xh ./mergestate/taintednm.xh ./metastate/file.xh ./tainted/tainted.xh \ - alias alttypes ansireserved \ - db2.old-expect outglob outparam preds union.pp warnuse.old-expect \ - ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants + db2.old-expect union.pp warnuse.old-expect \ + ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants loopexec.expect mergenull.expect shifts.expect \ + unioninit.expect unioninit.c utypes.c \ + utypes.expect widestrings.expect widestrings.c \ + functionmacro.expect functionmacro.c info.c info.expect \ + loopexec.c mergenull.c shifts.c \ + manual.expect ./manual/Makefile \ + ./manual/annotglobs.c ./manual/bool.c ./manual/bool.h ./manual/clauses.c ./manual/employee.h ./manual/exposure.c ./manual/globals.c ./manual/ignore.c ./manual/implicit.c ./manual/intSet.h ./manual/list.c ./manual/loop.c ./manual/macros.c ./manual/modify.c ./manual/mstring.c ./manual/mstring.h ./manual/mstringnn.c ./manual/multiError.c ./manual/names.c ./manual/noeffect.c ./manual/null.c ./manual/only.c ./manual/order.c ./manual/palindrome.c ./manual/palindrome.h ./manual/refs.c ./manual/returned.c ./manual/rgb.c ./manual/rstring.c ./manual/rstring.h ./manual/sample.c ./manual/setChar.c ./manual/setname.c ./manual/setname.h ./manual/special.c ./manual/stack.c ./manual/sumsquares.c ./manual/switch.c ./manual/testpal.c ./manual/types.c ./manual/unique.c ./manual/usedef.c ./manual/bounds.c subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs @@ -792,7 +801,7 @@ top_distdir = .. distdir = $(top_distdir)/$(PACKAGE)-$(VERSION) distdir: $(DISTFILES) - $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse + $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./manual $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse @for file in $(DISTFILES); do \ if test -f $$file; then d=.; else d=$(srcdir); fi; \ dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \ @@ -893,6 +902,7 @@ version: -$(SPLINTP) -help version .PHONY: help + help: -@$(SPLINT) -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl @@ -900,7 +910,15 @@ help: -@$(SPLINTP) -asdf -@$(SPLINTP) +boolint +boolint -@$(SPLINTP) -help flags alpha - -@$(SPLINTP) -help flags all + +#commenting these out for the release because they will almost always fail +#since the default will only fit one system +#Don't want to panic the user... +# -@$(SPLINTP) -help flags all | $(GREP) -v "^larchpath " | $(GREP) -v "^lclimportdir " | $(GREP) -v " Path argument. Default: " | $(GREP) -v " Directory argument. Default: " | $(GREP) -v " lclimportdir " +# -@$(SPLINTP) -help flags full | $(GREP) -v "^larchpath " | $(GREP) -v "^lclimportdir " | $(GREP) -v " Path argument. Default: " | $(GREP) -v " Directory argument. Default: " | $(GREP) -v " lclimportdir " +# -@$(SPLINTP) -help flags manual | $(GREP) -v "^larchpath " | $(GREP) -v "^lclimportdir " | $(GREP) -v " Path argument. Default: " | $(GREP) -v " Directory argument. Default: " | $(GREP) -v " lclimportdir " + +#larch and lclimportdir have different hardcoded default paths so don't include the path in the output.. .PHONY: clean-local clean-local: @@ -1071,7 +1089,7 @@ compdestroy: .PHONY: constannot constannot: - ${SPLINTRN} constannot.c +arraybounds -exportlocal -expect 2 + ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2 .PHONY: csyntax csyntax: @@ -1139,7 +1157,7 @@ exports: .PHONY: external external: -$(SPLINTR) external.c +partial - -$(SPLINTR) external.c +partial +distinctexternalnames -expect 2 + -$(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2 -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3 -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3 -$(SPLINTR) external.c +partial -externalnamelength 3 -expect 4 @@ -1221,7 +1239,8 @@ inparam: .PHONY: internal internal: -$(SPLINTR) internal.c -expect 1 - -$(SPLINTR) internal.c +distinctinternalnames -expect 2 + -$(SPLINTR) internal.c +distinctinternalnames -expect 1 + -$(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2 -$(SPLINTR) internal.c -internalnamelen 28 -expect 3 -$(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3 -$(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11 @@ -1315,11 +1334,11 @@ mongoincludes: .PHONY: mystrncat mystrncat: - -$(SPLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4 + -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 .PHONY: noeffect noeffect: - ${SPLINT} -nof noeffect.c +allmacros +checks -expect 3 + ${SPLINTP} noeffect.c +allmacros +checks -expect 3 ### ### 2002-01-01: null1.c: expect increased to 15 because out must be defined @@ -1620,11 +1639,11 @@ freearray: .PHONY: sizeof sizeof: - -$(SPLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1 + -$(SPLINTR) +bounds sizeof.c -expect 1 .PHONY: buffertest buffertest: - -$(SPLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5 + -$(SPLINTR) +bounds buffertest1.c -expect 5 .PHONY: $(SUBDIRTESTS) $(SUBDIRTESTS):