]> andersk Git - splint.git/blobdiff - test/Makefile.in
andersk / splint.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Added files to generate a binary package by doing make bindist
[splint.git] / test / Makefile.in
diff --git a/test/Makefile.in b/test/Makefile.in
index 4e5bb28e149e463863482a731bab1547b0e8fdb0..2431dbca475feb9a3f74c71ad2bdc0c2975de399 100644 (file)
--- 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?
@@ -116,7 +122,7 @@ UNITTESTS = \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \
   postnotnull preds prefixes printflike rc refcounts release repexpose \
-  returned sharing slovaknames \
+  returned sharing shifts slovaknames \
   specclauses \
   special stack staticarray strings \
   structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \
@@ -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 <path> "     | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
+#      -@$(SPLINTP) -help flags full    | $(GREP) -v "^larchpath <path> "     | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
+#      -@$(SPLINTP) -help flags manual     | $(GREP) -v "^larchpath <path> "   | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
+
+#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
@@ -1454,6 +1473,12 @@ sharing:
        -$(SPLINTR) sharing4.c -paramimptemp -expect 12
        -$(SPLINTR) sharing5.c -expect 6
 
+.PHONY: shifts
+shifts:
+       -$(SPLINTR) shifts.c -expect 4
+       -$(SPLINTR) shifts.c -shiftimplementation -expect 3
+       -$(SPLINTR) shifts.c -shiftnegative -expect 1
+
 .PHONY: slovaknames
 slovaknames:
        -$(SPLINTR) +hints slovaknames.c -expect 1
@@ -1614,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):
git-cvsimport mirror of splint
This page took 0.048368 seconds and 4 git commands to generate.