[splint.git] / src / Makefile.am

## Note: starting comments with ## means they don't end up in Makefile

AUTOMAKE_OPTIONS = 1.5 foreign

SUFFIXES = .h .c .o .l .check

# Check files before compiling; requires splint!
CHECK = 1

# Some preferences
### 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


## We only build Splint
bin_PROGRAMS = splint

## This is a fake program, so we can easily substitute in the extra LCL objects
EXTRA_PROGRAMS = lcl

AM_CPPFLAGS = -IHeaders

## The main sources

SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c

LISTSRC = clauseStack.c filelocStack.c \
          cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
          enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
          uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
          flagMarkerList.c idDeclList.c flagSpec.c

CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.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 \
       pointers.c cscannerHelp.c	

SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c
CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c

GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c

GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c

OVERFLOWCHSRC = constraintList.c constraintResolve.c \
                constraintGeneration.c constraintTerm.c \
                constraintExprData.c constraintExpr.c constraint.c \
                loopHeuristics.c 

GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
             fileTable.c cstringTable.c valueTable.c stateValue.c \
             llerror.c messageLog.c flagMarker.c aliasTable.c ynm.c \
             sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \
             lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c

METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \
               metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
               mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \
               mtContextNode.c mtValuesNode.c mtDefaultsNode.c \
               mtAnnotationsNode.c mtMergeNode.c mtAnnotationList.c \
               mtAnnotationDecl.c mtTransferClauseList.c mtTransferClause.c \
               mtTransferAction.c mtLoseReferenceList.c mtLoseReference.c \
               mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \
               mtMergeClause.c mtMergeClauseList.c

## These are only used if LCL is enabled

LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
             lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
             shift.c lclscan.c lsymbol.c mapping.c

LSLSRC = tokentable.c scan.c scanline.c lslparse.c \
         lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c 

LCLSETSRC  = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c

LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
             interfaceNodeList.c sortSetList.c declaratorNodeList.c \
             letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \
             lslOpList.c lsymbolList.c termNodeList.c ltokenList.c \
             traitRefNodeList.c pairNodeList.c typeNameNodeList.c \
             fcnNodeList.c paramNodeList.c programNodeList.c \
             varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \
             replaceNodeList.c importNodeList.c

HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
          Headers/abstract.h               Headers/macrocache.h \
          Headers/abstractNode.h           Headers/mapping.h \
          Headers/message.h \
          Headers/aliasStack.h             Headers/messageLog.h \
          Headers/aliasTable.h             Headers/metaStateConstraint.h \
          Headers/annotationInfo.h         Headers/metaStateConstraintList.h \
          Headers/annotationTable.h        Headers/metaStateExpression.h \
          Headers/arrayQualNode.h          Headers/metaStateInfo.h \
          Headers/basic.h                  Headers/metaStateSpecifier.h \
          Headers/bool.h                   Headers/metaStateTable.h \
          Headers/boolStack.h              Headers/misc.h \
          Headers/cgrammar.h               Headers/modifiesClause.h \
          Headers/cgrammar_tokens.h        Headers/modifyNode.h \
          Headers/checking.h               Headers/mtAnnotationDecl.h \
          Headers/clabstract.h             Headers/mtAnnotationList.h \
          Headers/claimNode.h              Headers/mtAnnotationsNode.h \
          Headers/clause.h                 Headers/mtContextNode.h \
          Headers/clauseStack.h            Headers/mtDeclarationNode.h \
          Headers/code.h                   Headers/mtDeclarationPiece.h \
          Headers/constants.h              Headers/mtDeclarationPieces.h \
          Headers/constDeclarationNode.h   Headers/mtDefaultsDecl.h \
          Headers/constraintExprData.h     Headers/mtDefaultsDeclList.h \
          Headers/constraintExpr.h         Headers/mtDefaultsNode.h \
          Headers/constraint.h             Headers/mtgrammar.h \
          Headers/constraintList2.h        Headers/mtgrammar.tab.h \
          Headers/constraintList.h         Headers/mtgrammar_tokens.h \
          Headers/constraintOutput.h       Headers/mtincludes.h \
          Headers/constraintResolve.h      Headers/mtLoseReference.h \
          Headers/constraintTerm.h         Headers/mtLoseReferenceList.h \
          Headers/context.h                Headers/mtMergeClause.h \
          Headers/cpperror.h               Headers/mtMergeClauseList.h \
          Headers/cppexp.h                 Headers/mtMergeItem.h \
          Headers/cpp.h                    Headers/mtMergeNode.h \
          Headers/cpphash.h                Headers/mtreader.h \
          Headers/cpplib.h                 Headers/mtscanner.h \
          Headers/cprim.h                  Headers/mttok.h \
          Headers/cscanner.h               Headers/mtTransferAction.h \
          Headers/cstring.h                Headers/mtTransferClause.h \
          Headers/cstringList.h            Headers/mtTransferClauseList.h \
          Headers/cstringSList.h           Headers/mtValuesNode.h \
          Headers/cstringTable.h           Headers/multiVal.h \
          Headers/ctokens.h                Headers/nameChecks.h \
          Headers/ctypeList.h              Headers/nameNode.h \
          Headers/CTypesNode.h             Headers/opFormNode.h \
          Headers/cvar.h                   Headers/osd.h \
          Headers/declaratorInvNode.h      Headers/pairNode.h \
          Headers/declaratorInvNodeList.h  Headers/pairNodeList.h \
          Headers/declaratorNode.h         Headers/paramNode.h \
          Headers/declaratorNodeList.h     Headers/paramNodeList.h \
          Headers/dmalloc.h                Headers/osd.h \
          Headers/ekind.h                  Headers/pp.h \
          Headers/enumNameList.h           Headers/privateNode.h \
          Headers/enumNameSList.h          Headers/programNode.h \
          Headers/enumSpecNode.h           Headers/programNodeList.h \
          Headers/exportNode.h             Headers/qtype.h \
          Headers/exposedNode.h            Headers/qual.h \
          Headers/exprChecks.h             Headers/qualList.h \
          Headers/exprData.h               Headers/quantifiedTermNode.h \
          Headers/exprNode.h               Headers/quantifierNode.h \
          Headers/exprNodeList.h           Headers/quantifierNodeList.h \
          Headers/exprNodeSList.h          Headers/randomNumbers.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 \
          Headers/fileLib.h                Headers/replaceNode.h \
          Headers/fileloc.h                Headers/replaceNodeList.h \
          Headers/filelocList.h            Headers/scan.h \
          Headers/filelocStack.h           Headers/scanline.h \
          Headers/fileTable.h              Headers/sgrammar_tokens.h \
          Headers/flag_codes.h             Headers/sHerald.h \
          Headers/flagMarker.h             Headers/shift.h \
          Headers/flagMarkerList.h         Headers/signature2.h \
          Headers/flags.h                  Headers/signature_gen.h \
          Headers/flagSpec.h               Headers/signature.h \
          Headers/forwardTypes.h           Headers/signNode.h \
          Headers/functionClause.h         Headers/sigNode.h \
          Headers/functionClauseList.h     Headers/sigNodeSet.h \
          Headers/functionConstraint.h     Headers/sort.h \
          Headers/general.h                Headers/sortList.h \
          Headers/genericTable.h           Headers/sortSet.h \
          Headers/globalList.h             Headers/sortSetList.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/sRefSetStack.h \
          Headers/idDecl.h                 Headers/sRefTable.h \
          Headers/idDeclList.h             Headers/stateClause.h \
          Headers/importNode.h             Headers/stateClauseList.h \
          Headers/importNodeList.h         Headers/stateCombinationTable.h \
          Headers/imports.h                Headers/stateInfo.h \
          Headers/initDeclNode.h           Headers/stateValue.h \
          Headers/initDeclNodeList.h       Headers/stDeclNode.h \
          Headers/inputStream.h            Headers/stDeclNodeList.h \
          Headers/interfaceNode.h          Headers/stmtNode.h \
          Headers/interfaceNodeList.h      Headers/storeRefNode.h \
          Headers/intSet.h                 Headers/storeRefNodeList.h \
          Headers/intTable.h               Headers/strOrUnionNode.h \
          Headers/iterNode.h               Headers/structNames.h \
          Headers/lcl_constants.h          Headers/symtable.h \
          Headers/lclctypes.h              Headers/syntable.h \
          Headers/lclForwardTypes.h        Headers/system_constants.h \
          Headers/lclinit.h                Headers/taggedUnionNode.h \
          Headers/lcllib.h                 Headers/termNode.h \
          Headers/lclMisc.h                Headers/termNodeList.h \
          Headers/lclPredicateNode.h       Headers/tmpname.h \
          Headers/lclscan.h                Headers/tokentable.h \
          Headers/lclscanline.h            Headers/traitRefNode.h \
          Headers/lclsyntable.h            Headers/traitRefNodeList.h \
          Headers/lcltokentable.h          Headers/transferChecks.h \
          Headers/lclTypeSpecNode.h        Headers/typeExpr.h \
          Headers/lctype.h                 Headers/typeIdSet.h \
          Headers/letDeclNode.h            Headers/typeNameNode.h \
          Headers/letDeclNodeList.h        Headers/typeNameNodeList.h \
          Headers/lh.h                     Headers/typeNamePack.h \
          Headers/limwr.h                  Headers/typeNode.h \
          Headers/uentry.h \
          Headers/llerror.h                Headers/uentryList.h \
          Headers/llglobals.h              Headers/usymId.h \
          Headers/llgrammar2.h             Headers/usymIdSet.h \
          Headers/llgrammar_gen2.h        \
          Headers/llgrammar_gen.h          Headers/usymtab.h \
          Headers/llgrammar.h              Headers/usymtab_interface.h \
          Headers/llmain.h                 Headers/valueMatrix.h \
          Headers/lltok.h                  Headers/valueTable.h \
          Headers/lslinit.h                Headers/varDeclarationNode.h \
          Headers/lslOp.h                  Headers/varDeclarationNodeList.h \
          Headers/lslOpList.h              Headers/varKinds.h \
          Headers/lslOpSet.h               Headers/varNode.h \
          Headers/lslparse.h               Headers/varNodeList.h \
          Headers/lsymbol.h                Headers/version.h \
          Headers/lsymbolList.h            Headers/warnClause.h \
          Headers/lsymbolSet.h             Headers/ynm.h \
          Headers/ltoken.h   Headers/splintMacros.nf  \
          Headers/typeId.h \
          Headers/pointers.h   Headers/mstring.h   Headers/help.h


IFILES =  ctbase.i  cttable.i  exprDataQuite.i

## Non-built files we need to distribute
EXTRA_DIST =  $(BISON_SRC) bison.head bison.reset $(HEADERSRC)  \
            flags.def cscanner.l flex.head flex.reset $(IFILES) \
            .splintrc LICENSE \
            Headers/cscannerHelp.h \
 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
DER_BISON_FILES = signature.c.der  cgrammar.c.der  mtgrammar.c.der \
                  llgrammar.c.der 
DER_FILES = $(DER_BISON_FILES)


COMMONSRC =  $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
            $(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)

ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC)

#files to run Splint on
LINTSRC = $(COMMONSRC) $(SPLINTSRC) 
# cscanner.c cgrammar.c

#ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC)

LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) 
lcl_SOURCES = $(LCLSRC)

splint_SOURCES = $(ALLSRC)
splint_LDADD = $(LCLOBJ) @LEXLIB@

# Ensure the LCL objects get built if needed
splint_DEPENDENCIES = $(LCLOBJ)

# Keep it fake
.PHONY: lcl$(EXEEXT)
lcl$(EXEEXT):
	@echo "This is a fake target"; \
	 echo "Use configure's --with-lcl option to enable lcl"

## Sources that need to be built
BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
                Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \
                Headers/mtgrammar_tokens.h signature.c cgrammar.c \
                llgrammar.c mtgrammar.c Headers/flag_codes.gen \
                $(DER_FILES)

## Grammars

signature.c.der:
	@if test x$(BISON) = xno; then \
	  echo "Cannot make signature.c.der because bison is not here" \
	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 || true; \
	  $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
	  $(RM) signature.tab.c signature.tab.h; \
	fi

Headers/signature_gen.h signature.c: signature.c.der signature.y
	@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; \
	  $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
	  $(RM) signature.tab.c signature.tab.h; \
	fi

## 11/29/001 drl added copy so that the file cgrammar.c.der is created

Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison.reset
	@if test x$(BISON) = xno; then \
	  $(CP) cgrammar.c.der cgrammar.c; \
	else \
	  echo '* Making cgrammar.c'; \
          echo '*      Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
	  $(BISON) $(YFLAGS) cgrammar.y; \
	  $(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
	  $(CP) cgrammar.c cgrammar.c.der; \
	  $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak || true; \
	  $(CAT) bison.head cgrammar.tab.h bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > Headers/cgrammar_tokens.h; \
	  $(RM) cgrammar.tab.c cgrammar.tab.h; \
	fi

## 10/16/001 drl added copy so that the file mtgrammar.c.der is created
## also removed the dependency for this file on mtgrammary.c  

Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
	@if test x$(BISON) = xno; then \
	  $(CP) mtgrammar.c.der mtgrammar.c; \
	else \
	  echo '* Making mtgrammar.c'; \
	  echo '*       Note: 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; \
	  $(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h; \
	  $(RM) mtgrammar.tab.c mtgrammar.tab.h; \
	fi

## 11/29/001 drl added copy so that the file llgrammar.c.der is created

Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y
	@if test x$(BISON) = xno; then \
	  $(CP) llgrammar.c.der llgrammar.c; \
	else \
	  echo '* Making llgrammar.c'; \
	  echo '*       Note: 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; \
	  $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h; \
	  $(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

cscanner.c: cscanner.l
	$(LEX) $(LFLAGS) cscanner.l 
	$(CAT) flex.head @LEX_OUTPUT_ROOT@.c flex.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g'  | $(SED) 's/lsllex/cgrammar_lsllex/g' > cscanner.c

Headers/flag_codes.gen: flags.def
	grep "FLG_" flags.def > Headers/flag_codes.gen
	$(MAKE)
	cd ../lib; $(MAKE)

## Checking rules

CHECKS = $(subst .c,.check,$(splint_SOURCES))

## Other rules

.PHONY: nocheck
nocheck:
	$(MAKE) CHECK=0

.PHONY: test
test:
	${MAKE} ; cd ../test; ${MAKE} --no-print-directory

.PHONY: libs
libs:
	${MAKE} ; cd ../lib; ${MAKE} --no-print-directory

### Automake generates wrong tags
.PHONY: etags
etags:
	maketags

lintnew: splintme

splintme: 
	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted

splintmesupcounts: 
	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments  -fcnuse -incondefs -exportlocal -supcounts -constuse -mts file -mts filerw 

lintbuffercheck: 
	./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 +bounds -DLINTBUFFERCHECK

valsplint:
	valgrind -v --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=yes ./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

binDir = bin

all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/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

CLEANFILES = splint$(EXEEXT)  ../$(top_builddir)/$(binDir)/splint$(EXEEXT)

.c.o:
	@echo "Compiling "$<"..."; \
	source='$<' object='$@' libtool=no \
	depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \
	$(CCDEPMODE) $(depcomp) \
	$(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$<
Commit	Line	Data
8fe44445	1	## Note: starting comments with ## means they don't end up in Makefile
	2
	3	AUTOMAKE_OPTIONS = 1.5 foreign
	4
	5	SUFFIXES = .h .c .o .l .check
	6
11db3170	7	# Check files before compiling; requires splint!
8fe44445	8	CHECK = 1
	9
	10	# Some preferences
3e3ec469	11	### We use the no-lines option to prevent confusion with splint flag settings.
	12	### Should fix splint to avoid this...
	13	YFLAGS = -v -t -d --debug --no-lines
	14	LFLAGS = -L
bbed3d50	15
	16	BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y
	17
8fe44445	18
11db3170	19	## We only build Splint
11db3170	20	bin_PROGRAMS = splint
8fe44445	21
	22	## This is a fake program, so we can easily substitute in the extra LCL objects
	23	EXTRA_PROGRAMS = lcl
	24
	25	AM_CPPFLAGS = -IHeaders
	26
	27	## The main sources
	28
	29	SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c
	30
	31	LISTSRC = clauseStack.c filelocStack.c \
	32	cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
	33	enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
	34	uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
	35	flagMarkerList.c idDeclList.c flagSpec.c
	36
	37	CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
	38
abd7f895	39	CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
8fe44445	40	stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
	41	globalsClause.c modifiesClause.c warnClause.c functionClause.c \
	42	functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \
f9264521	43	metaStateExpression.c metaStateSpecifier.c functionConstraint.c \
16c024b5	44	pointers.c cscannerHelp.c
8fe44445	45
140c27a8	46	SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c
8fe44445	47	CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c
8fe44445	48
abd7f895	49	GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c
8fe44445	50
a956d444	51	GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c
8fe44445	52
a64ebe74	53	OVERFLOWCHSRC = constraintList.c constraintResolve.c \
a64ebe74	54	constraintGeneration.c constraintTerm.c \
8fe44445	55	constraintExprData.c constraintExpr.c constraint.c \
8b63eb37	56	loopHeuristics.c
8fe44445	57
	58	GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
	59	fileTable.c cstringTable.c valueTable.c stateValue.c \
	60	llerror.c messageLog.c flagMarker.c aliasTable.c ynm.c \
	61	sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \
	62	lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c
	63
	64	METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \
	65	metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
	66	mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \
	67	mtContextNode.c mtValuesNode.c mtDefaultsNode.c \
	68	mtAnnotationsNode.c mtMergeNode.c mtAnnotationList.c \
	69	mtAnnotationDecl.c mtTransferClauseList.c mtTransferClause.c \
	70	mtTransferAction.c mtLoseReferenceList.c mtLoseReference.c \
	71	mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \
	72	mtMergeClause.c mtMergeClauseList.c
	73
	74	## These are only used if LCL is enabled
	75
	76	LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
	77	lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
	78	shift.c lclscan.c lsymbol.c mapping.c
	79
	80	LSLSRC = tokentable.c scan.c scanline.c lslparse.c \
	81	lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c
	82
8fe44445	83	LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
	84
	85	LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
	86	interfaceNodeList.c sortSetList.c declaratorNodeList.c \
	87	letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \
	88	lslOpList.c lsymbolList.c termNodeList.c ltokenList.c \
	89	traitRefNodeList.c pairNodeList.c typeNameNodeList.c \
	90	fcnNodeList.c paramNodeList.c programNodeList.c \
	91	varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \
	92	replaceNodeList.c importNodeList.c
	93
bbed3d50	94	HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \
	95	Headers/abstract.h Headers/macrocache.h \
	96	Headers/abstractNode.h Headers/mapping.h \
3be9a165	97	Headers/message.h \
bbed3d50	98	Headers/aliasStack.h Headers/messageLog.h \
	99	Headers/aliasTable.h Headers/metaStateConstraint.h \
	100	Headers/annotationInfo.h Headers/metaStateConstraintList.h \
	101	Headers/annotationTable.h Headers/metaStateExpression.h \
	102	Headers/arrayQualNode.h Headers/metaStateInfo.h \
	103	Headers/basic.h Headers/metaStateSpecifier.h \
	104	Headers/bool.h Headers/metaStateTable.h \
	105	Headers/boolStack.h Headers/misc.h \
	106	Headers/cgrammar.h Headers/modifiesClause.h \
	107	Headers/cgrammar_tokens.h Headers/modifyNode.h \
	108	Headers/checking.h Headers/mtAnnotationDecl.h \
	109	Headers/clabstract.h Headers/mtAnnotationList.h \
	110	Headers/claimNode.h Headers/mtAnnotationsNode.h \
	111	Headers/clause.h Headers/mtContextNode.h \
	112	Headers/clauseStack.h Headers/mtDeclarationNode.h \
	113	Headers/code.h Headers/mtDeclarationPiece.h \
	114	Headers/constants.h Headers/mtDeclarationPieces.h \
	115	Headers/constDeclarationNode.h Headers/mtDefaultsDecl.h \
	116	Headers/constraintExprData.h Headers/mtDefaultsDeclList.h \
	117	Headers/constraintExpr.h Headers/mtDefaultsNode.h \
	118	Headers/constraint.h Headers/mtgrammar.h \
	119	Headers/constraintList2.h Headers/mtgrammar.tab.h \
	120	Headers/constraintList.h Headers/mtgrammar_tokens.h \
	121	Headers/constraintOutput.h Headers/mtincludes.h \
	122	Headers/constraintResolve.h Headers/mtLoseReference.h \
	123	Headers/constraintTerm.h Headers/mtLoseReferenceList.h \
	124	Headers/context.h Headers/mtMergeClause.h \
	125	Headers/cpperror.h Headers/mtMergeClauseList.h \
	126	Headers/cppexp.h Headers/mtMergeItem.h \
	127	Headers/cpp.h Headers/mtMergeNode.h \
	128	Headers/cpphash.h Headers/mtreader.h \
	129	Headers/cpplib.h Headers/mtscanner.h \
	130	Headers/cprim.h Headers/mttok.h \
	131	Headers/cscanner.h Headers/mtTransferAction.h \
	132	Headers/cstring.h Headers/mtTransferClause.h \
	133	Headers/cstringList.h Headers/mtTransferClauseList.h \
	134	Headers/cstringSList.h Headers/mtValuesNode.h \
	135	Headers/cstringTable.h Headers/multiVal.h \
	136	Headers/ctokens.h Headers/nameChecks.h \
	137	Headers/ctypeList.h Headers/nameNode.h \
	138	Headers/CTypesNode.h Headers/opFormNode.h \
	139	Headers/cvar.h Headers/osd.h \
	140	Headers/declaratorInvNode.h Headers/pairNode.h \
	141	Headers/declaratorInvNodeList.h Headers/pairNodeList.h \
	142	Headers/declaratorNode.h Headers/paramNode.h \
	143	Headers/declaratorNodeList.h Headers/paramNodeList.h \
e63e0a4a	144	Headers/dmalloc.h Headers/osd.h \
bbed3d50	145	Headers/ekind.h Headers/pp.h \
	146	Headers/enumNameList.h Headers/privateNode.h \
	147	Headers/enumNameSList.h Headers/programNode.h \
	148	Headers/enumSpecNode.h Headers/programNodeList.h \
	149	Headers/exportNode.h Headers/qtype.h \
	150	Headers/exposedNode.h Headers/qual.h \
	151	Headers/exprChecks.h Headers/qualList.h \
	152	Headers/exprData.h Headers/quantifiedTermNode.h \
	153	Headers/exprNode.h Headers/quantifierNode.h \
	154	Headers/exprNodeList.h Headers/quantifierNodeList.h \
	155	Headers/exprNodeSList.h Headers/randomNumbers.h \
140c27a8	156	Headers/fcnNode.h Headers/rcfiles.h \
bbed3d50	157	Headers/fcnNodeList.h Headers/reader.h \
	158	Headers/fileId.h Headers/refTable-branch.h \
	159	Headers/fileIdList.h Headers/renamingNode.h \
	160	Headers/fileLib.h Headers/replaceNode.h \
	161	Headers/fileloc.h Headers/replaceNodeList.h \
	162	Headers/filelocList.h Headers/scan.h \
	163	Headers/filelocStack.h Headers/scanline.h \
	164	Headers/fileTable.h Headers/sgrammar_tokens.h \
	165	Headers/flag_codes.h Headers/sHerald.h \
	166	Headers/flagMarker.h Headers/shift.h \
	167	Headers/flagMarkerList.h Headers/signature2.h \
	168	Headers/flags.h Headers/signature_gen.h \
	169	Headers/flagSpec.h Headers/signature.h \
	170	Headers/forwardTypes.h Headers/signNode.h \
	171	Headers/functionClause.h Headers/sigNode.h \
	172	Headers/functionClauseList.h Headers/sigNodeSet.h \
	173	Headers/functionConstraint.h Headers/sort.h \
	174	Headers/general.h Headers/sortList.h \
	175	Headers/genericTable.h Headers/sortSet.h \
	176	Headers/globalList.h Headers/sortSetList.h \
2bdabb7a	177	Headers/globalsClause.h \
2bdabb7a	178	Headers/globals.h \
bbed3d50	179	Headers/globSet.h Headers/sRef.h \
	180	Headers/gram.h Headers/sRefList.h \
	181	Headers/guardSet.h Headers/sRefSet.h \
	182	Headers/handle.h Headers/sRefSetList.h \
4dd72714	183	Headers/sRefSetStack.h \
bbed3d50	184	Headers/idDecl.h Headers/sRefTable.h \
	185	Headers/idDeclList.h Headers/stateClause.h \
	186	Headers/importNode.h Headers/stateClauseList.h \
	187	Headers/importNodeList.h Headers/stateCombinationTable.h \
	188	Headers/imports.h Headers/stateInfo.h \
	189	Headers/initDeclNode.h Headers/stateValue.h \
	190	Headers/initDeclNodeList.h Headers/stDeclNode.h \
	191	Headers/inputStream.h Headers/stDeclNodeList.h \
	192	Headers/interfaceNode.h Headers/stmtNode.h \
	193	Headers/interfaceNodeList.h Headers/storeRefNode.h \
	194	Headers/intSet.h Headers/storeRefNodeList.h \
	195	Headers/intTable.h Headers/strOrUnionNode.h \
	196	Headers/iterNode.h Headers/structNames.h \
	197	Headers/lcl_constants.h Headers/symtable.h \
	198	Headers/lclctypes.h Headers/syntable.h \
	199	Headers/lclForwardTypes.h Headers/system_constants.h \
	200	Headers/lclinit.h Headers/taggedUnionNode.h \
	201	Headers/lcllib.h Headers/termNode.h \
	202	Headers/lclMisc.h Headers/termNodeList.h \
	203	Headers/lclPredicateNode.h Headers/tmpname.h \
	204	Headers/lclscan.h Headers/tokentable.h \
	205	Headers/lclscanline.h Headers/traitRefNode.h \
	206	Headers/lclsyntable.h Headers/traitRefNodeList.h \
	207	Headers/lcltokentable.h Headers/transferChecks.h \
	208	Headers/lclTypeSpecNode.h Headers/typeExpr.h \
	209	Headers/lctype.h Headers/typeIdSet.h \
	210	Headers/letDeclNode.h Headers/typeNameNode.h \
	211	Headers/letDeclNodeList.h Headers/typeNameNodeList.h \
	212	Headers/lh.h Headers/typeNamePack.h \
	213	Headers/limwr.h Headers/typeNode.h \
35e8712d	214	Headers/uentry.h \
bbed3d50	215	Headers/llerror.h Headers/uentryList.h \
	216	Headers/llglobals.h Headers/usymId.h \
	217	Headers/llgrammar2.h Headers/usymIdSet.h \
b73d1009	218	Headers/llgrammar_gen2.h \
bbed3d50	219	Headers/llgrammar_gen.h Headers/usymtab.h \
	220	Headers/llgrammar.h Headers/usymtab_interface.h \
	221	Headers/llmain.h Headers/valueMatrix.h \
	222	Headers/lltok.h Headers/valueTable.h \
	223	Headers/lslinit.h Headers/varDeclarationNode.h \
	224	Headers/lslOp.h Headers/varDeclarationNodeList.h \
	225	Headers/lslOpList.h Headers/varKinds.h \
	226	Headers/lslOpSet.h Headers/varNode.h \
	227	Headers/lslparse.h Headers/varNodeList.h \
	228	Headers/lsymbol.h Headers/version.h \
	229	Headers/lsymbolList.h Headers/warnClause.h \
	230	Headers/lsymbolSet.h Headers/ynm.h \
40fabe26	231	Headers/ltoken.h Headers/splintMacros.nf \
e63e0a4a	232	Headers/typeId.h \
40fabe26	233	Headers/pointers.h Headers/mstring.h Headers/help.h
bbed3d50	234
2bdabb7a	235
bbed3d50	236	IFILES = ctbase.i cttable.i exprDataQuite.i
	237
	238	## Non-built files we need to distribute
2bdabb7a	239	EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \
73b29173	240	flags.def cscanner.l flex.head flex.reset $(IFILES) \
fba0ed37	241	.splintrc LICENSE \
fba0ed37	242	Headers/cscannerHelp.h \
40fabe26	243	Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf
40fabe26	244	#Makefile.binary.am Makefile.binary.in
bbed3d50	245
	246
	247	#Files that are used on systems that do not have bison or yacc
	248	DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \
	249	llgrammar.c.der
	250	DER_FILES = $(DER_BISON_FILES)
	251
	252
abd7f895	253	COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
8fe44445	254	$(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)
8fe44445	255
393e573f	256	ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC)
bbed3d50	257
11db3170	258	#files to run Splint on
e5081f8c	259	LINTSRC = $(COMMONSRC) $(SPLINTSRC)
e5081f8c	260	# cscanner.c cgrammar.c
3be9a165	261
11db3170	262	#ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC)
8fe44445	263
a956d444	264	LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC)
8fe44445	265	lcl_SOURCES = $(LCLSRC)
8fe44445	266
11db3170	267	splint_SOURCES = $(ALLSRC)
11db3170	268	splint_LDADD = $(LCLOBJ) @LEXLIB@
8fe44445	269
8fe44445	270	# Ensure the LCL objects get built if needed
11db3170	271	splint_DEPENDENCIES = $(LCLOBJ)
8fe44445	272
	273	# Keep it fake
	274	.PHONY: lcl$(EXEEXT)
	275	lcl$(EXEEXT):
	276	@echo "This is a fake target"; \
	277	echo "Use configure's --with-lcl option to enable lcl"
	278
	279	## Sources that need to be built
	280	BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
	281	Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \
	282	Headers/mtgrammar_tokens.h signature.c cgrammar.c \
bbed3d50	283	llgrammar.c mtgrammar.c Headers/flag_codes.gen \
bbed3d50	284	$(DER_FILES)
8fe44445	285
	286	## Grammars
	287
4287634e	288	signature.c.der:
	289	@if test x$(BISON) = xno; then \
	290	echo "Cannot make signature.c.der because bison is not here" \
	291	else \
	292	echo '* Making signature.c'; \
	293	$(BISON) $(YFLAGS) -p lsl signature.y; \
	294	$(CAT) bison.head signature.tab.c bison.reset >signature.c; \
	295	$(CP) signature.c signature.c.der; \
	296	$(MV) Headers/signature_gen.h Headers/signature_gen.bak \|\| true; \
	297	$(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
	298	$(RM) signature.tab.c signature.tab.h; \
	299	fi
	300
8fe44445	301	Headers/signature_gen.h signature.c: signature.c.der signature.y
48101162	302	@if test x$(BISON) = xno; then \
	303	$(CP) signature.c.der signature.c; \
	304	else \
	305	echo '* Making signature.c'; \
	306	$(BISON) $(YFLAGS) -p lsl signature.y; \
	307	$(CAT) bison.head signature.tab.c bison.reset >signature.c; \
	308	$(CP) signature.c signature.c.der; \
	309	$(MV) Headers/signature_gen.h Headers/signature_gen.bak; \
	310	$(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
	311	$(RM) signature.tab.c signature.tab.h; \
8fe44445	312	fi
8fe44445	313
bbed3d50	314	## 11/29/001 drl added copy so that the file cgrammar.c.der is created
bbed3d50	315
1d91681f	316	Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison.reset
bb7c2085	317	@if test x$(BISON) = xno; then \
8fe44445	318	$(CP) cgrammar.c.der cgrammar.c; \
8fe44445	319	else \
bb7c2085	320	echo '* Making cgrammar.c'; \
35e8712d	321	echo '* Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
8fe44445	322	$(BISON) $(YFLAGS) cgrammar.y; \
6fcd0b1e	323	$(CAT) bison.head cgrammar.tab.c bison.reset \| $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' \| $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
bbed3d50	324	$(CP) cgrammar.c cgrammar.c.der; \
4287634e	325	$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak \|\| true; \
6fcd0b1e	326	$(CAT) bison.head cgrammar.tab.h bison.reset \| $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' \| $(SED) 's/lsllex/cgrammar_lsllex/g' > Headers/cgrammar_tokens.h; \
8fe44445	327	$(RM) cgrammar.tab.c cgrammar.tab.h; \
	328	fi
	329
914641fc	330	## 10/16/001 drl added copy so that the file mtgrammar.c.der is created
	331	## also removed the dependency for this file on mtgrammary.c
	332
	333	Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
bb7c2085	334	@if test x$(BISON) = xno; then \
8fe44445	335	$(CP) mtgrammar.c.der mtgrammar.c; \
8fe44445	336	else \
1b8ae690	337	echo '* Making mtgrammar.c'; \
8b63eb37	338	echo '* Note: Expect 11 shift/reduce conflicts.'; \
8fe44445	339	$(BISON) $(YFLAGS) -p mt mtgrammar.y; \
8fe44445	340	$(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
e12110be	341	$(CP) mtgrammar.c mtgrammar.c.der; \
3e3ec469	342	$(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak; \
8fe44445	343	$(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h; \
	344	$(RM) mtgrammar.tab.c mtgrammar.tab.h; \
	345	fi
	346
bbed3d50	347	## 11/29/001 drl added copy so that the file llgrammar.c.der is created
bbed3d50	348
8fe44445	349	Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y
bb7c2085	350	@if test x$(BISON) = xno; then \
8fe44445	351	$(CP) llgrammar.c.der llgrammar.c; \
8fe44445	352	else \
bb7c2085	353	echo '* Making llgrammar.c'; \
8b63eb37	354	echo '* Note: Expect 2 shift/reduce conflicts'; \
8fe44445	355	$(BISON) $(YFLAGS) -p yl llgrammar.y; \
8fe44445	356	$(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
bbed3d50	357	$(CP) llgrammar.c llgrammar.c.der; \
3e3ec469	358	$(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak; \
8fe44445	359	$(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h; \
3e3ec469	360	$(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak; \
8fe44445	361	$(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen.h; \
	362	$(RM) llgrammar.tab.c llgrammar.tab.h; \
	363	fi
	364
	365	cscanner.c: cscanner.l
	366	$(LEX) $(LFLAGS) cscanner.l
6fcd0b1e	367	$(CAT) flex.head @LEX_OUTPUT_ROOT@.c flex.reset \| $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' \| $(SED) 's/lsllex/cgrammar_lsllex/g' > cscanner.c
8fe44445	368
	369	Headers/flag_codes.gen: flags.def
	370	grep "FLG_" flags.def > Headers/flag_codes.gen
bb7c2085	371	$(MAKE)
bb7c2085	372	cd ../lib; $(MAKE)
8fe44445	373
	374	## Checking rules
	375
11db3170	376	CHECKS = $(subst .c,.check,$(splint_SOURCES))
8fe44445	377
	378	## Other rules
	379
	380	.PHONY: nocheck
	381	nocheck:
	382	$(MAKE) CHECK=0
	383
a469ccf0	384	.PHONY: test
a469ccf0	385	test:
45569d72	386	${MAKE} ; cd ../test; ${MAKE} --no-print-directory
a469ccf0	387
51bc6ecc	388	.PHONY: libs
	389	libs:
	390	${MAKE} ; cd ../lib; ${MAKE} --no-print-directory
	391
a469ccf0	392	### Automake generates wrong tags
	393	.PHONY: etags
	394	etags:
	395	maketags
	396
3e3ec469	397	lintnew: splintme
	398
	399	splintme:
517a2db3	400	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted
393e573f	401
2a6e9c30	402	splintmesupcounts:
2a6e9c30	403	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -supcounts -constuse -mts file -mts filerw
332e22fa	404
0fe21ba7	405	lintbuffercheck:
	406	./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 +bounds -DLINTBUFFERCHECK
	407
6fcd0b1e	408	valsplint:
	409	valgrind -v --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=yes ./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
	410
	411
393e573f	412	splintsome:
	413	./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
	414
99614ff2	415	# drl changed to use # for comment
99614ff2	416	#/* $(LINTSRC) $(LCLSRC)*/
abd7f895	417
abd7f895	418	splinttest:
6483a926	419	./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
abd7f895	420
fc97bef4	421	binDir = bin
8fe44445	422
fc97bef4	423	all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
	424
	425	../$(top_builddir)/$(binDir)/splint$(EXEEXT): splint$(EXEEXT)
	426	-$(RM) -f $(top_builddir)/$(binDir)/splint$(EXEEXT)
	427	ln -s $(top_builddir)/src/splint$(EXEEXT) $(top_builddir)/$(binDir)/splint$(EXEEXT)
1b8ae690	428
	429	up:
	430	-rm cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c
	431	$(MAKE) clean
	432
fc97bef4	433	CLEANFILES = splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
bb7c2085	434
	435	.c.o:
	436	@echo "Compiling "$<"..."; \
	437	source='$<' object='$@' libtool=no \
	438	depfile='$(DEPDIR)/$.Po' tmpdepfile='$(DEPDIR)/$.TPo' \
	439	$(CCDEPMODE) $(depcomp) \
	440	$(COMPILE) -c `test -f $< \|\| echo '$(srcdir)/'`$<