*** empty log message ***

[splint.git] / test / Makefile

diff --git a/test/Makefile b/test/Makefile
index d5eb24e19f9fd0db7e196f140548dae60e25361d..68fba4894c6ae73ac74726fb44c07ac2988dd2b5 100644 (file)
--- a/test/Makefile
+++ b/test/Makefile
@@ -21,7 +21,7 @@
 .PHONY: tainted typequals ud ulstypes union unreachable unused ullint void
 .PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5
 .PHONY: all test fulltest expects quicktest
-.PHONY: metastate warnuse
+.PHONY: warnuse metastate
 .PHONY: linked freearray
 .PHONY: sizeoftest
 .PHONY: bufferTest
@@ -37,7 +37,8 @@
 SHELL = /bin/csh -f
 
 # Command to run lclint
-LCLINT  = ${HOME}/LCLintDev/src/lclint
+# ${HOME}/LCLintDev/src/lclint
+LCLINT  = lclint
 LCLINTP = $(LCLINT)
 
 # Make sure .lclintrc files are not used so test results do not
@@ -45,21 +46,27 @@ LCLINTP = $(LCLINT)
 LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"
 LCLINTR = $(LCLINTRN) -exportlocal   +debugfcnconstraint
 
-UNITTESTS = help sizeoftest bufferTest simplebufferConstraintTests  moreBufferTests globalbufferannotation maxset strchr for abstptr abstract alias alttypes ansireserved argorder args blocks break cases cast \
-   charlit clauses commentchar compdestroy constannot controldepth csyntax czechnames czechoslovaknames deadparam \
-   decl enum exports external fields fileio flags forbody format freearray funcpointer glob globals impabstract \
-   init inparam internal iter keep libs linked lintcomments list macros macrosef merge \
-metastate modifies \
-   modtest moduncon mongoincludes mystrncat noeffect null observer oldstyle \
-   outglob outparam preds prefixes \
-   printflike rc refcounts release repexpose returned sharing slovaknames specclauses special stack \
-   staticarray strings structassign \
-typequals ud ulstypes union unreachable unused ullint void \
-   tests2.2 tests2.2a tests2.4 tests2.5 
+UNITTESTS = \
+  fileio tainted mergestate nullret nullassign warnuse metastate \
+  help sizeoftest bufferTest simplebufferConstraintTests \
+  moreBufferTests globalbufferannotation maxset strchr for \
+  abstptr abstract alias alttypes ansireserved argorder args blocks break cases cast \
+  charlit clauses commentchar compdestroy constannot controldepth csyntax czechnames czechoslovaknames deadparam \
+  decl enum exports external fields flags forbody format freearray funcpointer glob globals impabstract \
+  init inparam internal iter keep libs linked lintcomments list macros macrosef merge modifies \
+  modtest moduncon mongoincludes mystrncat noeffect null observer oldstyle \
+  outglob outparam preds prefixes \
+  printflike rc refcounts release repexpose returned sharing slovaknames specclauses special stack \
+  staticarray strings structassign \
+  typequals ud ulstypes union unreachable unused ullint void \
+  tests2.2 tests2.2a tests2.4 tests2.5 
 
-#drl removed the following tests
-#tainted mergestate nullret nullassign warnuse \
+###
+### Attribute checking is not ready for the 3.0.0.9 alpha release:
+###
 
+#drl removed the following tests
+#fileio tainted mergestate nullret nullassign warnuse metastate \
 
 UNITEXPECTS  = $(addsuffix .expect, $(UNITTESTS))
 
@@ -75,7 +82,12 @@ test: fulltest
 
 GREP = grep
 DIFF = diff
-CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make  -e" | $(GREP) -v $(LCLINT)
+
+###
+### This is a kludgey way of processing the output to make it match exactly
+###
+
+CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make  -e" | $(GREP) -v $(HOME)
 
 ### not real .c
 
@@ -433,7 +445,7 @@ mystrncat:
        $(LCLINTR) mystrncat.c +arraybounds  +arrayboundsread -expect 4 
 
 noeffect:
-       ${LCLINT} noeffect.c +allmacros +checks -expect 3
+       ${LCLINT} -nof noeffect.c +allmacros +checks -expect 3
 
 null: 
        $(LCLINTR) null1.c -expect 14