[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 lclint!
CHECK = 1

# Some preferences
YFLAGS = -v -t -d --debug


BISON_SRC = cgrammar.y  llgrammar.y  mtgrammar.y  signature.y


## We only build LCLint
bin_PROGRAMS = lclint

## 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 = 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

LCLINTSRC = exprNode.c exprChecks.c llmain.c
CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c

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

GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c

OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \
                constraintExprData.c constraintExpr.c constraint.c \
                constraintList.c constraintResolve.c \
                constraintOutput.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 

LCLGRAMSRC = llgrammar.c signature.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/aliasChecks.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/portab.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/rangeTable.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/source.h \
          Headers/globals.h                Headers/specialClauses.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/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/llbasic.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/usymtab-branch.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/lclintMacros.nf  

IFILES =  ctbase.i  cttable.i  exprDataQuite.i

## Non-built files we need to distribute
EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC)  \
            flags.def cscanner.l flex.head flex.reset $(IFILES) \
 Headers/256_random_numbers.nf  Headers/lclintMacros.nf	Headers/reservedNames.nf


#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 = $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
            $(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)

ALLSRC = $(GRAMSRC) $(COMMONSRC) $(LCLINTSRC) $(DER_FILES) $(HEADERSRC)

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

LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) \
         $(LCLGRAMSRC)

lcl_SOURCES = $(LCLSRC)

lclint_SOURCES = $(ALLSRC)
lclint_LDADD = $(LCLOBJ) @LEXLIB@

# Ensure the LCL objects get built if needed
lclint_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

Headers/signature_gen.h signature.c: signature.c.der signature.y
	if test x$(BISON) = xno; then \
	  $(CP) signature.c.der signature.c; \
	else \
	  $(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
	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 '* (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; \
	  $(CAT) bison.head cgrammar.tab.h bison.reset >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 \
	  $(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 '* 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; \
	  0$(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 > cscanner.c

Headers/flag_codes.gen: flags.def
	grep "FLG_" flags.def > Headers/flag_codes.gen

## Checking rules

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

## Other rules

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

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

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

lintnew: 
	./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
                    +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw

lintbuffercheck: 
	./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
                    +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread


.PHONY: purify
purify: $(lclint_OBJECTS)
	purify $(LINK) -o lclint$(EXEEXT) $^ $(lclint_LDADD)

all: lclint$(EXEEXT)
CLEANFILES = lclint$(EXEEXT)
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
	7	# Check files before compiling; requires lclint!
	8	CHECK = 1
	9
	10	# Some preferences
	11	YFLAGS = -v -t -d --debug
	12
bbed3d50	13
	14	BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y
	15
8fe44445	16
	17	## We only build LCLint
	18	bin_PROGRAMS = lclint
	19
	20	## This is a fake program, so we can easily substitute in the extra LCL objects
	21	EXTRA_PROGRAMS = lcl
	22
	23	AM_CPPFLAGS = -IHeaders
	24
	25	## The main sources
	26
	27	SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c
	28
	29	LISTSRC = clauseStack.c filelocStack.c \
	30	cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
	31	enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
	32	uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
	33	flagMarkerList.c idDeclList.c flagSpec.c
	34
	35	CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
	36
	37	CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
	38	stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
	39	globalsClause.c modifiesClause.c warnClause.c functionClause.c \
	40	functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \
	41	metaStateExpression.c metaStateSpecifier.c functionConstraint.c
	42
	43	LCLINTSRC = exprNode.c exprChecks.c llmain.c
	44	CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c
	45
	46	GLOBSRC = context.c globals.c flags.c general.c osd.c reader.c
	47
	48	GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c
	49
	50	OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \
	51	constraintExprData.c constraintExpr.c constraint.c \
	52	constraintList.c constraintResolve.c \
	53	constraintOutput.c loopHeuristics.c
	54
	55	GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
	56	fileTable.c cstringTable.c valueTable.c stateValue.c \
	57	llerror.c messageLog.c flagMarker.c aliasTable.c ynm.c \
	58	sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \
	59	lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c
	60
	61	METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \
	62	metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
	63	mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \
	64	mtContextNode.c mtValuesNode.c mtDefaultsNode.c \
	65	mtAnnotationsNode.c mtMergeNode.c mtAnnotationList.c \
	66	mtAnnotationDecl.c mtTransferClauseList.c mtTransferClause.c \
	67	mtTransferAction.c mtLoseReferenceList.c mtLoseReference.c \
	68	mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \
	69	mtMergeClause.c mtMergeClauseList.c
	70
	71	## These are only used if LCL is enabled
	72
	73	LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
	74	lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
	75	shift.c lclscan.c lsymbol.c mapping.c
	76
	77	LSLSRC = tokentable.c scan.c scanline.c lslparse.c \
	78	lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c
	79
80	LCLGRAMSRC = llgrammar.c signature.c
81
82	LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
83
84	LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
85	interfaceNodeList.c sortSetList.c declaratorNodeList.c \
86	letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \
87	lslOpList.c lsymbolList.c termNodeList.c ltokenList.c \
88	traitRefNodeList.c pairNodeList.c typeNameNodeList.c \
89	fcnNodeList.c paramNodeList.c programNodeList.c \
90	varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \
91	replaceNodeList.c importNodeList.c
92
bbed3d50	93
	94	HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \
	95	Headers/abstract.h Headers/macrocache.h \
	96	Headers/abstractNode.h Headers/mapping.h \
	97	Headers/aliasChecks.h Headers/message.h \
	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 \
	144	Headers/dmalloc.h Headers/portab.h \
	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 \
	156	Headers/fcnNode.h Headers/rangeTable.h \
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 \
177	Headers/globalsClause.h Headers/source.h \
178	Headers/globals.h Headers/specialClauses.h \
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 \
183	Headers/hashTable.h Headers/sRefSetStack.h \
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 \
214	Headers/llbasic.h Headers/uentry.h \
215	Headers/llerror.h Headers/uentryList.h \
216	Headers/llglobals.h Headers/usymId.h \
217	Headers/llgrammar2.h Headers/usymIdSet.h \
218	Headers/llgrammar_gen2.h Headers/usymtab-branch.h \
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 \
231	Headers/ltoken.h Headers/lclintMacros.nf
232
233	IFILES = ctbase.i cttable.i exprDataQuite.i
234
235	## Non-built files we need to distribute
73b29173	236	EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \
	237	flags.def cscanner.l flex.head flex.reset $(IFILES) \
	238	Headers/256_random_numbers.nf Headers/lclintMacros.nf Headers/reservedNames.nf
bbed3d50	239
	240
	241	#Files that are used on systems that do not have bison or yacc
	242	DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \
	243	llgrammar.c.der
	244	DER_FILES = $(DER_BISON_FILES)
	245
	246
8fe44445	247	COMMONSRC = $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
	248	$(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)
	249
bbed3d50	250	ALLSRC = $(GRAMSRC) $(COMMONSRC) $(LCLINTSRC) $(DER_FILES) $(HEADERSRC)
	251
	252	#ALLSRC = $(COMMONSRC) $(LCLINTSRC) $(DER_FILES) $(HEADERSRC)
8fe44445	253
	254	LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) \
	255	$(LCLGRAMSRC)
	256
	257	lcl_SOURCES = $(LCLSRC)
	258
	259	lclint_SOURCES = $(ALLSRC)
	260	lclint_LDADD = $(LCLOBJ) @LEXLIB@
	261
	262	# Ensure the LCL objects get built if needed
	263	lclint_DEPENDENCIES = $(LCLOBJ)
	264
	265	# Keep it fake
	266	.PHONY: lcl$(EXEEXT)
	267	lcl$(EXEEXT):
	268	@echo "This is a fake target"; \
	269	echo "Use configure's --with-lcl option to enable lcl"
	270
	271	## Sources that need to be built
	272	BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
	273	Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \
	274	Headers/mtgrammar_tokens.h signature.c cgrammar.c \
bbed3d50	275	llgrammar.c mtgrammar.c Headers/flag_codes.gen \
bbed3d50	276	$(DER_FILES)
8fe44445	277
	278	## Grammars
	279
	280	Headers/signature_gen.h signature.c: signature.c.der signature.y
	281	if test x$(BISON) = xno; then \
	282	$(CP) signature.c.der signature.c; \
	283	else \
	284	$(BISON) $(YFLAGS) -p lsl signature.y; \
	285	$(CAT) bison.head signature.tab.c bison.reset >signature.c; \
bbed3d50	286	$(CP) signature.c signature.c.der; \
914641fc	287	-$(MV) Headers/signature_gen.h Headers/signature_gen.bak; \
8fe44445	288	$(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
	289	$(RM) signature.tab.c signature.tab.h; \
	290	fi
	291
bbed3d50	292	## 11/29/001 drl added copy so that the file cgrammar.c.der is created
bbed3d50	293
8fe44445	294	Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y
	295	if test x$(BISON) = xno; then \
	296	$(CP) cgrammar.c.der cgrammar.c; \
	297	else \
	298	echo '* Expect 141 shift/reduce conflicts and 111 reduce/reduce conflicts.'; \
	299	echo '* (see cgrammar.y for explanation)'; \
	300	$(BISON) $(YFLAGS) cgrammar.y; \
	301	$(CAT) bison.head cgrammar.tab.c bison.reset >cgrammar.c; \
bbed3d50	302	$(CP) cgrammar.c cgrammar.c.der; \
914641fc	303	-$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak; \
8fe44445	304	$(CAT) bison.head cgrammar.tab.h bison.reset >Headers/cgrammar_tokens.h; \
	305	$(RM) cgrammar.tab.c cgrammar.tab.h; \
	306	fi
	307
914641fc	308	## 10/16/001 drl added copy so that the file mtgrammar.c.der is created
	309	## also removed the dependency for this file on mtgrammary.c
	310
	311	Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
8fe44445	312	if test x$(BISON) = xno; then \
	313	$(CP) mtgrammar.c.der mtgrammar.c; \
	314	else \
	315	$(BISON) $(YFLAGS) -p mt mtgrammar.y; \
	316	$(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
e12110be	317	$(CP) mtgrammar.c mtgrammar.c.der; \
914641fc	318	-$(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak; \
8fe44445	319	$(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h; \
	320	$(RM) mtgrammar.tab.c mtgrammar.tab.h; \
	321	fi
	322
bbed3d50	323	## 11/29/001 drl added copy so that the file llgrammar.c.der is created
bbed3d50	324
8fe44445	325	Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y
	326	if test x$(BISON) = xno; then \
	327	$(CP) llgrammar.c.der llgrammar.c; \
	328	else \
	329	echo '* Expect 2 shift/reduce conflicts'; \
	330	$(BISON) $(YFLAGS) -p yl llgrammar.y; \
	331	$(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
bbed3d50	332	$(CP) llgrammar.c llgrammar.c.der; \
914641fc	333	-$(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak; \
8fe44445	334	$(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h; \
914641fc	335	0$(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak; \
8fe44445	336	$(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen.h; \
	337	$(RM) llgrammar.tab.c llgrammar.tab.h; \
	338	fi
	339
	340	cscanner.c: cscanner.l
	341	$(LEX) $(LFLAGS) cscanner.l
	342	$(CAT) flex.head @LEX_OUTPUT_ROOT@.c flex.reset > cscanner.c
	343
	344	Headers/flag_codes.gen: flags.def
	345	grep "FLG_" flags.def > Headers/flag_codes.gen
	346
	347	## Checking rules
	348
	349	CHECKS = $(subst .c,.check,$(lclint_SOURCES))
	350
	351	## Other rules
	352
	353	.PHONY: nocheck
	354	nocheck:
	355	$(MAKE) CHECK=0
	356
a469ccf0	357	.PHONY: test
a469ccf0	358	test:
53a89507	359	cd ../test; ${MAKE} --no-print-directory
a469ccf0	360
	361	### Automake generates wrong tags
	362	.PHONY: etags
	363	etags:
	364	maketags
	365
8fe44445	366	lintnew:
	367	./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
	368	+forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
	369	-supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw
	370
e5f31c00	371	lintbuffercheck:
	372	./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
	373	+forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
e5508969	374	-supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread
e5f31c00	375
8fe44445	376
	377
	378	.PHONY: purify
	379	purify: $(lclint_OBJECTS)
	380	purify $(LINK) -o lclint$(EXEEXT) $^ $(lclint_LDADD)
	381
53a89507	382	all: lclint$(EXEEXT)
53a89507	383	CLEANFILES = lclint$(EXEEXT)