X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11db3170da99e22aa0acea76debd6c7b590a629c..35eea586ba9af7af69f0646f5f6a5958b8215dd8:/src/Makefile.in?ds=sidebyside diff --git a/src/Makefile.in b/src/Makefile.in index 52958d9..044831e 100644 --- a/src/Makefile.in +++ b/src/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@ @@ -89,7 +93,10 @@ SUFFIXES = .h .c .o .l .check CHECK = 1 # Some preferences -YFLAGS = -v -t -d --debug +### We use the no-lines option to prevent confusion with splint flag settings. +### Should fix splint to avoid this... +YFLAGS = -v -t -d --debug --no-lines +LFLAGS = -L BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y @@ -110,19 +117,20 @@ LISTSRC = clauseStack.c filelocStack.c \ CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c -CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \ +CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \ stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \ globalsClause.c modifiesClause.c warnClause.c functionClause.c \ functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \ - metaStateExpression.c metaStateSpecifier.c functionConstraint.c + metaStateExpression.c metaStateSpecifier.c functionConstraint.c \ + pointers.c -SPLINTSRC = exprNode.c exprChecks.c llmain.c +SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c -GLOBSRC = context.c globals.c flags.c general.c osd.c reader.c +GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c -GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c +GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \ constraintExprData.c constraintExpr.c constraint.c \ @@ -157,8 +165,6 @@ LSLSRC = tokentable.c scan.c scanline.c lslparse.c \ lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c -LCLGRAMSRC = llgrammar.c signature.c - LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \ @@ -233,7 +239,7 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/exprNode.h Headers/quantifierNode.h \ Headers/exprNodeList.h Headers/quantifierNodeList.h \ Headers/exprNodeSList.h Headers/randomNumbers.h \ - Headers/fcnNode.h Headers/rangeTable.h \ + Headers/fcnNode.h Headers/rcfiles.h \ Headers/fcnNodeList.h Headers/reader.h \ Headers/fileId.h Headers/refTable-branch.h \ Headers/fileIdList.h Headers/renamingNode.h \ @@ -254,13 +260,13 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/general.h Headers/sortList.h \ Headers/genericTable.h Headers/sortSet.h \ Headers/globalList.h Headers/sortSetList.h \ - Headers/globalsClause.h Headers/source.h \ - Headers/globals.h Headers/specialClauses.h \ + Headers/globalsClause.h \ + Headers/globals.h \ Headers/globSet.h Headers/sRef.h \ Headers/gram.h Headers/sRefList.h \ Headers/guardSet.h Headers/sRefSet.h \ Headers/handle.h Headers/sRefSetList.h \ - Headers/hashTable.h Headers/sRefSetStack.h \ + Headers/sRefSetStack.h \ Headers/idDecl.h Headers/sRefTable.h \ Headers/idDeclList.h Headers/stateClause.h \ Headers/importNode.h Headers/stateClauseList.h \ @@ -313,9 +319,9 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ IFILES = ctbase.i cttable.i exprDataQuite.i -EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \ +EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \ flags.def cscanner.l flex.head flex.reset $(IFILES) \ - Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf + Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf Makefile.binary.am Makefile.binary.in #Files that are used on systems that do not have bison or yacc @@ -324,21 +330,18 @@ DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \ DER_FILES = $(DER_BISON_FILES) -COMMONSRC = $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \ +COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \ $(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC) -ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC) +ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC) #files to run Splint on -LINTSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) +LINTSRC = $(COMMONSRC) $(SPLINTSRC) #ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC) -LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) \ - $(LCLGRAMSRC) - - +LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) lcl_SOURCES = $(LCLSRC) splint_SOURCES = $(ALLSRC) @@ -355,7 +358,10 @@ BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \ CHECKS = $(subst .c,.check,$(splint_SOURCES)) -CLEANFILES = splint$(EXEEXT) + +binDir = bin + +CLEANFILES = splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT) subdir = src mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs CONFIG_HEADER = $(top_builddir)/config.h @@ -385,29 +391,25 @@ am_lcl_OBJECTS = lsymbolSet.$(OBJEXT) sigNodeSet.$(OBJEXT) \ lclscanline.$(OBJEXT) lclsyntable.$(OBJEXT) \ lcltokentable.$(OBJEXT) sort.$(OBJEXT) symtable.$(OBJEXT) \ lclinit.$(OBJEXT) shift.$(OBJEXT) lclscan.$(OBJEXT) \ - lsymbol.$(OBJEXT) mapping.$(OBJEXT) llgrammar.$(OBJEXT) \ - signature.$(OBJEXT) + lsymbol.$(OBJEXT) mapping.$(OBJEXT) lcl_OBJECTS = $(am_lcl_OBJECTS) lcl_LDADD = $(LDADD) lcl_DEPENDENCIES = lcl_LDFLAGS = am_splint_OBJECTS = cgrammar.$(OBJEXT) cscanner.$(OBJEXT) \ - mtscanner.$(OBJEXT) mtreader.$(OBJEXT) mtgrammar.$(OBJEXT) \ - constraintGeneration.$(OBJEXT) constraintTerm.$(OBJEXT) \ - constraintExprData.$(OBJEXT) constraintExpr.$(OBJEXT) \ - constraint.$(OBJEXT) constraintList.$(OBJEXT) \ - constraintResolve.$(OBJEXT) constraintOutput.$(OBJEXT) \ - loopHeuristics.$(OBJEXT) cppmain.$(OBJEXT) cpplib.$(OBJEXT) \ + mtscanner.$(OBJEXT) mtgrammar.$(OBJEXT) llgrammar.$(OBJEXT) \ + signature.$(OBJEXT) cppmain.$(OBJEXT) cpplib.$(OBJEXT) \ cppexp.$(OBJEXT) cpphash.$(OBJEXT) cpperror.$(OBJEXT) \ - uentry.$(OBJEXT) cprim.$(OBJEXT) macrocache.$(OBJEXT) \ - qual.$(OBJEXT) qtype.$(OBJEXT) stateClause.$(OBJEXT) \ - stateClauseList.$(OBJEXT) ctype.$(OBJEXT) cvar.$(OBJEXT) \ - clabstract.$(OBJEXT) idDecl.$(OBJEXT) clause.$(OBJEXT) \ - globalsClause.$(OBJEXT) modifiesClause.$(OBJEXT) \ - warnClause.$(OBJEXT) functionClause.$(OBJEXT) \ - functionClauseList.$(OBJEXT) metaStateConstraint.$(OBJEXT) \ - metaStateConstraintList.$(OBJEXT) metaStateExpression.$(OBJEXT) \ - metaStateSpecifier.$(OBJEXT) functionConstraint.$(OBJEXT) \ + context.$(OBJEXT) uentry.$(OBJEXT) cprim.$(OBJEXT) \ + macrocache.$(OBJEXT) qual.$(OBJEXT) qtype.$(OBJEXT) \ + stateClause.$(OBJEXT) stateClauseList.$(OBJEXT) ctype.$(OBJEXT) \ + cvar.$(OBJEXT) clabstract.$(OBJEXT) idDecl.$(OBJEXT) \ + clause.$(OBJEXT) globalsClause.$(OBJEXT) \ + modifiesClause.$(OBJEXT) warnClause.$(OBJEXT) \ + functionClause.$(OBJEXT) functionClauseList.$(OBJEXT) \ + metaStateConstraint.$(OBJEXT) metaStateConstraintList.$(OBJEXT) \ + metaStateExpression.$(OBJEXT) metaStateSpecifier.$(OBJEXT) \ + functionConstraint.$(OBJEXT) pointers.$(OBJEXT) \ structNames.$(OBJEXT) transferChecks.$(OBJEXT) \ varKinds.$(OBJEXT) nameChecks.$(OBJEXT) exprData.$(OBJEXT) \ cstring.$(OBJEXT) fileloc.$(OBJEXT) message.$(OBJEXT) \ @@ -418,9 +420,9 @@ am_splint_OBJECTS = cgrammar.$(OBJEXT) cscanner.$(OBJEXT) \ sRefTable.$(OBJEXT) genericTable.$(OBJEXT) ekind.$(OBJEXT) \ usymtab.$(OBJEXT) multiVal.$(OBJEXT) lltok.$(OBJEXT) \ sRef.$(OBJEXT) lcllib.$(OBJEXT) randomNumbers.$(OBJEXT) \ - fileLib.$(OBJEXT) context.$(OBJEXT) globals.$(OBJEXT) \ - flags.$(OBJEXT) general.$(OBJEXT) osd.$(OBJEXT) \ - reader.$(OBJEXT) clauseStack.$(OBJEXT) filelocStack.$(OBJEXT) \ + fileLib.$(OBJEXT) globals.$(OBJEXT) flags.$(OBJEXT) \ + general.$(OBJEXT) osd.$(OBJEXT) reader.$(OBJEXT) \ + mtreader.$(OBJEXT) clauseStack.$(OBJEXT) filelocStack.$(OBJEXT) \ cstringList.$(OBJEXT) cstringSList.$(OBJEXT) \ sRefSetList.$(OBJEXT) ctypeList.$(OBJEXT) \ enumNameList.$(OBJEXT) enumNameSList.$(OBJEXT) \ @@ -443,7 +445,12 @@ am_splint_OBJECTS = cgrammar.$(OBJEXT) cscanner.$(OBJEXT) \ mtLoseReference.$(OBJEXT) mtDefaultsDeclList.$(OBJEXT) \ mtDefaultsDecl.$(OBJEXT) mtMergeItem.$(OBJEXT) \ mtMergeClause.$(OBJEXT) mtMergeClauseList.$(OBJEXT) \ - exprNode.$(OBJEXT) exprChecks.$(OBJEXT) llmain.$(OBJEXT) + exprNode.$(OBJEXT) exprChecks.$(OBJEXT) llmain.$(OBJEXT) \ + help.$(OBJEXT) rcfiles.$(OBJEXT) constraintGeneration.$(OBJEXT) \ + constraintTerm.$(OBJEXT) constraintExprData.$(OBJEXT) \ + constraintExpr.$(OBJEXT) constraint.$(OBJEXT) \ + constraintList.$(OBJEXT) constraintResolve.$(OBJEXT) \ + constraintOutput.$(OBJEXT) loopHeuristics.$(OBJEXT) splint_OBJECTS = $(am_splint_OBJECTS) splint_LDFLAGS = @@ -490,9 +497,9 @@ depcomp = $(SHELL) $(top_srcdir)/config/depcomp @AMDEP_TRUE@ $(DEPDIR)/general.Po $(DEPDIR)/genericTable.Po \ @AMDEP_TRUE@ $(DEPDIR)/globSet.Po $(DEPDIR)/globals.Po \ @AMDEP_TRUE@ $(DEPDIR)/globalsClause.Po $(DEPDIR)/guardSet.Po \ -@AMDEP_TRUE@ $(DEPDIR)/idDecl.Po $(DEPDIR)/idDeclList.Po \ -@AMDEP_TRUE@ $(DEPDIR)/importNodeList.Po $(DEPDIR)/imports.Po \ -@AMDEP_TRUE@ $(DEPDIR)/initDeclNodeList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/help.Po $(DEPDIR)/idDecl.Po \ +@AMDEP_TRUE@ $(DEPDIR)/idDeclList.Po $(DEPDIR)/importNodeList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/imports.Po $(DEPDIR)/initDeclNodeList.Po \ @AMDEP_TRUE@ $(DEPDIR)/inputStream.Po $(DEPDIR)/intSet.Po \ @AMDEP_TRUE@ $(DEPDIR)/interfaceNodeList.Po \ @AMDEP_TRUE@ $(DEPDIR)/lclctypes.Po $(DEPDIR)/lclinit.Po \ @@ -539,19 +546,19 @@ depcomp = $(SHELL) $(top_srcdir)/config/depcomp @AMDEP_TRUE@ $(DEPDIR)/mttok.Po $(DEPDIR)/multiVal.Po \ @AMDEP_TRUE@ $(DEPDIR)/nameChecks.Po $(DEPDIR)/osd.Po \ @AMDEP_TRUE@ $(DEPDIR)/pairNodeList.Po \ -@AMDEP_TRUE@ $(DEPDIR)/paramNodeList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/paramNodeList.Po $(DEPDIR)/pointers.Po \ @AMDEP_TRUE@ $(DEPDIR)/programNodeList.Po $(DEPDIR)/qtype.Po \ @AMDEP_TRUE@ $(DEPDIR)/qual.Po $(DEPDIR)/qualList.Po \ @AMDEP_TRUE@ $(DEPDIR)/quantifierNodeList.Po \ -@AMDEP_TRUE@ $(DEPDIR)/randomNumbers.Po $(DEPDIR)/reader.Po \ -@AMDEP_TRUE@ $(DEPDIR)/replaceNodeList.Po $(DEPDIR)/sRef.Po \ -@AMDEP_TRUE@ $(DEPDIR)/sRefList.Po $(DEPDIR)/sRefSet.Po \ -@AMDEP_TRUE@ $(DEPDIR)/sRefSetList.Po $(DEPDIR)/sRefTable.Po \ -@AMDEP_TRUE@ $(DEPDIR)/scan.Po $(DEPDIR)/scanline.Po \ -@AMDEP_TRUE@ $(DEPDIR)/shift.Po $(DEPDIR)/sigNodeSet.Po \ -@AMDEP_TRUE@ $(DEPDIR)/signature.Po $(DEPDIR)/sort.Po \ -@AMDEP_TRUE@ $(DEPDIR)/sortList.Po $(DEPDIR)/sortSet.Po \ -@AMDEP_TRUE@ $(DEPDIR)/sortSetList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/randomNumbers.Po $(DEPDIR)/rcfiles.Po \ +@AMDEP_TRUE@ $(DEPDIR)/reader.Po $(DEPDIR)/replaceNodeList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/sRef.Po $(DEPDIR)/sRefList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/sRefSet.Po $(DEPDIR)/sRefSetList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/sRefTable.Po $(DEPDIR)/scan.Po \ +@AMDEP_TRUE@ $(DEPDIR)/scanline.Po $(DEPDIR)/shift.Po \ +@AMDEP_TRUE@ $(DEPDIR)/sigNodeSet.Po $(DEPDIR)/signature.Po \ +@AMDEP_TRUE@ $(DEPDIR)/sort.Po $(DEPDIR)/sortList.Po \ +@AMDEP_TRUE@ $(DEPDIR)/sortSet.Po $(DEPDIR)/sortSetList.Po \ @AMDEP_TRUE@ $(DEPDIR)/stDeclNodeList.Po \ @AMDEP_TRUE@ $(DEPDIR)/stateClause.Po \ @AMDEP_TRUE@ $(DEPDIR)/stateClauseList.Po \ @@ -576,7 +583,7 @@ CCLD = $(CC) LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@ CFLAGS = @CFLAGS@ DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES) -DIST_COMMON = Makefile.am Makefile.in +DIST_COMMON = ChangeLog Makefile.am Makefile.in SOURCES = $(lcl_SOURCES) $(splint_SOURCES) all: $(BUILT_SOURCES) @@ -686,6 +693,7 @@ distclean-compile: @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/globals.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/globalsClause.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/guardSet.Po@am__quote@ +@AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/help.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/idDecl.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/idDeclList.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/importNodeList.Po@am__quote@ @@ -757,12 +765,14 @@ distclean-compile: @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/osd.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/pairNodeList.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/paramNodeList.Po@am__quote@ +@AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/pointers.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/programNodeList.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/qtype.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/qual.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/qualList.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/quantifierNodeList.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/randomNumbers.Po@am__quote@ +@AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/rcfiles.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/reader.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/replaceNodeList.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@$(DEPDIR)/sRef.Po@am__quote@ @@ -809,8 +819,6 @@ distclean-compile: distclean-depend: -rm -rf $(DEPDIR) - -.c.o: @AMDEP_TRUE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@ depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' @AMDEPBACKSLASH@ @AMDEP_TRUE@ $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @@ -966,54 +974,59 @@ lcl$(EXEEXT): echo "Use configure's --with-lcl option to enable lcl" Headers/signature_gen.h signature.c: signature.c.der signature.y - if test x$(BISON) = xno; then \ + @if test x$(BISON) = xno; then \ $(CP) signature.c.der signature.c; \ else \ + echo '* Making signature.c'; \ $(BISON) $(YFLAGS) -p lsl signature.y; \ $(CAT) bison.head signature.tab.c bison.reset >signature.c; \ $(CP) signature.c signature.c.der; \ - -$(MV) Headers/signature_gen.h Headers/signature_gen.bak; \ + $(MV) Headers/signature_gen.h Headers/signature_gen.bak; \ $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \ $(RM) signature.tab.c signature.tab.h; \ fi Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y - if test x$(BISON) = xno; then \ + @if test x$(BISON) = xno; then \ $(CP) cgrammar.c.der cgrammar.c; \ else \ - echo '* Expect 141 shift/reduce conflicts and 111 reduce/reduce conflicts.'; \ + echo '* Making cgrammar.c'; \ + echo '* Expect 154 shift/reduce conflicts and 115 reduce/reduce conflicts.'; \ echo '* (see cgrammar.y for explanation)'; \ $(BISON) $(YFLAGS) cgrammar.y; \ $(CAT) bison.head cgrammar.tab.c bison.reset >cgrammar.c; \ $(CP) cgrammar.c cgrammar.c.der; \ - -$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak; \ + $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak; \ $(CAT) bison.head cgrammar.tab.h bison.reset >Headers/cgrammar_tokens.h; \ $(RM) cgrammar.tab.c cgrammar.tab.h; \ fi Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y - if test x$(BISON) = xno; then \ + @if test x$(BISON) = xno; then \ $(CP) mtgrammar.c.der mtgrammar.c; \ else \ + echo '* Making mtgrammar.c'; \ + echo '* Expect 11 shift/reduce conflicts.'; \ $(BISON) $(YFLAGS) -p mt mtgrammar.y; \ $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \ $(CP) mtgrammar.c mtgrammar.c.der; \ - -$(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak; \ + $(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak; \ $(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h; \ $(RM) mtgrammar.tab.c mtgrammar.tab.h; \ fi Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y - if test x$(BISON) = xno; then \ + @if test x$(BISON) = xno; then \ $(CP) llgrammar.c.der llgrammar.c; \ else \ + echo '* Making llgrammar.c'; \ echo '* Expect 2 shift/reduce conflicts'; \ $(BISON) $(YFLAGS) -p yl llgrammar.y; \ $(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \ $(CP) llgrammar.c llgrammar.c.der; \ - -$(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak; \ + $(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak; \ $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h; \ - 0$(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak; \ + $(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak; \ $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen.h; \ $(RM) llgrammar.tab.c llgrammar.tab.h; \ fi @@ -1024,6 +1037,8 @@ cscanner.c: cscanner.l Headers/flag_codes.gen: flags.def grep "FLG_" flags.def > Headers/flag_codes.gen + $(MAKE) + cd ../lib; $(MAKE) .PHONY: nocheck nocheck: @@ -1031,24 +1046,48 @@ nocheck: .PHONY: test test: - cd ../test; ${MAKE} --no-print-directory + ${MAKE} ; cd ../test; ${MAKE} --no-print-directory ### Automake generates wrong tags .PHONY: etags etags: maketags -lintnew: - ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(LCLSRC) -dump lclint \ - +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \ - -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +lintnew: splintme + +splintme: + ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw + +splintsome: + ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude lcllib.c -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +partial + +# drl changed to use # for comment +#/* $(LINTSRC) $(LCLSRC)*/ + +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 lintbuffercheck: ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(LCLSRC) -dump lclint \ +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \ - -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread +implictconstraint + -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +bounds +boundsread +implictconstraint -dLINTBUFFERCHECK + +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) + ln -s $(top_builddir)/src/splint$(EXEEXT) $(top_builddir)/$(binDir)/splint$(EXEEXT) + +up: + -rm cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c + $(MAKE) clean + +.c.o: + @echo "Compiling "$<"..."; \ + source='$<' object='$@' libtool=no \ + depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \ + $(CCDEPMODE) $(depcomp) \ + $(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$< # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: