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@
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?
UNITTESTS = \
help \
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 \
+ args arraydims blocks break cases cast charlit clauses commentchar compdestroy \
+ compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \
+ decl divzero enum exports external fields flags forbody format freearray \
funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
linked lintcomments list loopexec \
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 \
+ parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
+ returned sharing shifts slovaknames \
specclauses \
special stack staticarray strings \
- structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \
+ stringliteral \
+ structassign typequals typeof ud ulstypes union unioninit unreachable unsignedcompare \
unused ullint utypes void widestrings
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 \
./commentchar.c \
./commentcmd.c \
./compdestroy.c \
+ ./compoundliterals.c ./compoundliterals.expect \
+ ./compoundstmt.c ./compoundstmt.expect \
./csyntax.c \
./constannot.c \
./controldepth.c \
./tq.h \
./metastate/global.h \
./suppressfile/test.h \
- ./tests2.2/Makefile.hide \
./tests2.2/mbool.h \
./tests2.4/forward.h \
./tests2.4/hash.h \
./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 \
./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 \
+ arraydims.expect arraydims.c \
+ moreBufferTests2/fixedArrayType.c oldstyle2.c \
+ divzero.expect parentype.expect \
+ divzero.c parentype.c \
+stringliteral.expect stringliteral.c
subdir = test
mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
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 $(distdir)/moreBufferTests2
@for file in $(DISTFILES); do \
if test -f $$file; then d=.; else d=$(srcdir); fi; \
dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
-$(SPLINTP) -help version
.PHONY: help
+
help:
-@$(SPLINT)
-@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
-@$(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:
args:
-$(SPLINTR) args -noeffect -expect 12
+.PHONY: arraydims
+arraydims:
+ -$(SPLINTR) arraydims.c -varuse -expect 2
+ -$(SPLINTR) arraydims.c -initsize -varuse
+
.PHONY: blocks
blocks:
-$(SPLINTR) blocks.c -expect 4
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
-$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
+.PHONY: compoundliterals
+compoundliterals:
+ ${SPLINTRN} compoundliterals.c
+
+.PHONY: compoundstmt
+compoundstmt:
+ ${SPLINTRN} compoundstmt.c -expect 3
+
.PHONY: constannot
constannot:
- ${SPLINTRN} constannot.c +arraybounds -exportlocal -expect 2
+ ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2
.PHONY: csyntax
csyntax:
-$(SPLINTRN) decl.c +strict -exportlocal -expect 5
-$(SPLINTR) decl2 -expect 4
+.PHONY: divzero
+divzero:
+ -$(SPLINTR) divzero.c -varuse -expect 0
+
.PHONY: enum
enum:
-$(SPLINTR) enum -expect 16
.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
.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
.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
.PHONY: oldstyle
oldstyle:
- -$(SPLINTR) oldstyle -expect 3
+ -$(SPLINTR) oldstyle oldstyle2.c -expect 5
.PHONY: outglob
outglob:
.PHONY: postnotnull
postnotnull:
${SPLINTR} postnotnull.c -expect 1
+
+### evans 2002-02-09: added parentype.c
+.PHONY: parentype
+parentype:
+ ${SPLINTR} parentype.c
+
#
# Four new +fcnuse errors for -strict (evans 2001-07-22)
#
-$(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
staticarray:
-$(SPLINTR) staticarray.c -expect 3
+.PHONY: stringliteral
+stringliteral:
+ -$(SPLINTR) stringliteral.c +stringliteralnoroomfinalnull -expect 4
+ -$(SPLINTR) stringliteral.c -expect 3
+
.PHONY: strings
strings:
-$(SPLINTR) strings.c -expect 3
structassign:
-$(SPLINTR) structassign.c -expect 4
+.PHONY: typeof
+typeof:
+ -$(SPLINTR) typeof.c -expect 2
+
.PHONY: typequals
typequals:
-$(SPLINTR) typequals.c tq.lcl -expect 5
.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):
andersk / splint.git / blobdiff