-
-CLEANFILES = splint$(EXEEXT)
-subdir = src
-mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
-CONFIG_HEADER = $(top_builddir)/config.h
-CONFIG_CLEAN_FILES =
-EXTRA_PROGRAMS = lcl$(EXEEXT)
-bin_PROGRAMS = splint$(EXEEXT)
-PROGRAMS = $(bin_PROGRAMS)
-
-am_lcl_OBJECTS = lsymbolSet.$(OBJEXT) sigNodeSet.$(OBJEXT) \
- lslOpSet.$(OBJEXT) sortSet.$(OBJEXT) initDeclNodeList.$(OBJEXT) \
- sortList.$(OBJEXT) declaratorInvNodeList.$(OBJEXT) \
- interfaceNodeList.$(OBJEXT) sortSetList.$(OBJEXT) \
- declaratorNodeList.$(OBJEXT) letDeclNodeList.$(OBJEXT) \
- stDeclNodeList.$(OBJEXT) storeRefNodeList.$(OBJEXT) \
- lslOpList.$(OBJEXT) lsymbolList.$(OBJEXT) \
- termNodeList.$(OBJEXT) ltokenList.$(OBJEXT) \
- traitRefNodeList.$(OBJEXT) pairNodeList.$(OBJEXT) \
- typeNameNodeList.$(OBJEXT) fcnNodeList.$(OBJEXT) \
- paramNodeList.$(OBJEXT) programNodeList.$(OBJEXT) \
- varDeclarationNodeList.$(OBJEXT) varNodeList.$(OBJEXT) \
- quantifierNodeList.$(OBJEXT) replaceNodeList.$(OBJEXT) \
- importNodeList.$(OBJEXT) tokentable.$(OBJEXT) scan.$(OBJEXT) \
- scanline.$(OBJEXT) lslparse.$(OBJEXT) lh.$(OBJEXT) \
- checking.$(OBJEXT) lclctypes.$(OBJEXT) imports.$(OBJEXT) \
- lslinit.$(OBJEXT) syntable.$(OBJEXT) \
- usymtab_interface.$(OBJEXT) abstract.$(OBJEXT) ltoken.$(OBJEXT) \
- lclscanline.$(OBJEXT) lclsyntable.$(OBJEXT) \
- lcltokentable.$(OBJEXT) sort.$(OBJEXT) symtable.$(OBJEXT) \
- lclinit.$(OBJEXT) shift.$(OBJEXT) lclscan.$(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) mtgrammar.$(OBJEXT) llgrammar.$(OBJEXT) \
- signature.$(OBJEXT) constraintGeneration.$(OBJEXT) \
- constraintTerm.$(OBJEXT) constraintExprData.$(OBJEXT) \
- constraintExpr.$(OBJEXT) constraint.$(OBJEXT) \
- constraintList.$(OBJEXT) constraintResolve.$(OBJEXT) \
- constraintOutput.$(OBJEXT) loopHeuristics.$(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) structNames.$(OBJEXT) \
- transferChecks.$(OBJEXT) varKinds.$(OBJEXT) \
- nameChecks.$(OBJEXT) exprData.$(OBJEXT) cstring.$(OBJEXT) \
- fileloc.$(OBJEXT) message.$(OBJEXT) inputStream.$(OBJEXT) \
- fileTable.$(OBJEXT) cstringTable.$(OBJEXT) valueTable.$(OBJEXT) \
- stateValue.$(OBJEXT) llerror.$(OBJEXT) messageLog.$(OBJEXT) \
- flagMarker.$(OBJEXT) aliasTable.$(OBJEXT) ynm.$(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) mtreader.$(OBJEXT) clauseStack.$(OBJEXT) \
- filelocStack.$(OBJEXT) cstringList.$(OBJEXT) \
- cstringSList.$(OBJEXT) sRefSetList.$(OBJEXT) \
- ctypeList.$(OBJEXT) enumNameList.$(OBJEXT) \
- enumNameSList.$(OBJEXT) exprNodeList.$(OBJEXT) \
- exprNodeSList.$(OBJEXT) uentryList.$(OBJEXT) \
- fileIdList.$(OBJEXT) filelocList.$(OBJEXT) qualList.$(OBJEXT) \
- sRefList.$(OBJEXT) flagMarkerList.$(OBJEXT) \
- idDeclList.$(OBJEXT) flagSpec.$(OBJEXT) globSet.$(OBJEXT) \
- intSet.$(OBJEXT) typeIdSet.$(OBJEXT) guardSet.$(OBJEXT) \
- usymIdSet.$(OBJEXT) sRefSet.$(OBJEXT) stateInfo.$(OBJEXT) \
- stateCombinationTable.$(OBJEXT) metaStateTable.$(OBJEXT) \
- metaStateInfo.$(OBJEXT) annotationTable.$(OBJEXT) \
- annotationInfo.$(OBJEXT) mttok.$(OBJEXT) \
- mtDeclarationNode.$(OBJEXT) mtDeclarationPieces.$(OBJEXT) \
- mtDeclarationPiece.$(OBJEXT) mtContextNode.$(OBJEXT) \
- mtValuesNode.$(OBJEXT) mtDefaultsNode.$(OBJEXT) \
- mtAnnotationsNode.$(OBJEXT) mtMergeNode.$(OBJEXT) \
- mtAnnotationList.$(OBJEXT) mtAnnotationDecl.$(OBJEXT) \
- mtTransferClauseList.$(OBJEXT) mtTransferClause.$(OBJEXT) \
- mtTransferAction.$(OBJEXT) mtLoseReferenceList.$(OBJEXT) \
- mtLoseReference.$(OBJEXT) mtDefaultsDeclList.$(OBJEXT) \
- mtDefaultsDecl.$(OBJEXT) mtMergeItem.$(OBJEXT) \
- mtMergeClause.$(OBJEXT) mtMergeClauseList.$(OBJEXT) \
- exprNode.$(OBJEXT) exprChecks.$(OBJEXT) llmain.$(OBJEXT)
-splint_OBJECTS = $(am_splint_OBJECTS)
-splint_LDFLAGS =
-
-DEFS = @DEFS@
-DEFAULT_INCLUDES = -I. -I$(srcdir) -I$(top_builddir)
-CPPFLAGS = @CPPFLAGS@
-LDFLAGS = @LDFLAGS@
-LIBS = @LIBS@
-depcomp = $(SHELL) $(top_srcdir)/config/depcomp
-@AMDEP_TRUE@DEP_FILES = $(DEPDIR)/abstract.Po $(DEPDIR)/aliasTable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/annotationInfo.Po \
-@AMDEP_TRUE@ $(DEPDIR)/annotationTable.Po $(DEPDIR)/cgrammar.Po \
-@AMDEP_TRUE@ $(DEPDIR)/checking.Po $(DEPDIR)/clabstract.Po \
-@AMDEP_TRUE@ $(DEPDIR)/clause.Po $(DEPDIR)/clauseStack.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraint.Po $(DEPDIR)/constraintExpr.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraintExprData.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraintGeneration.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraintList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraintOutput.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraintResolve.Po \
-@AMDEP_TRUE@ $(DEPDIR)/constraintTerm.Po $(DEPDIR)/context.Po \
-@AMDEP_TRUE@ $(DEPDIR)/cpperror.Po $(DEPDIR)/cppexp.Po \
-@AMDEP_TRUE@ $(DEPDIR)/cpphash.Po $(DEPDIR)/cpplib.Po \
-@AMDEP_TRUE@ $(DEPDIR)/cppmain.Po $(DEPDIR)/cprim.Po \
-@AMDEP_TRUE@ $(DEPDIR)/cscanner.Po $(DEPDIR)/cstring.Po \
-@AMDEP_TRUE@ $(DEPDIR)/cstringList.Po $(DEPDIR)/cstringSList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/cstringTable.Po $(DEPDIR)/ctype.Po \
-@AMDEP_TRUE@ $(DEPDIR)/ctypeList.Po $(DEPDIR)/cvar.Po \
-@AMDEP_TRUE@ $(DEPDIR)/declaratorInvNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/declaratorNodeList.Po $(DEPDIR)/ekind.Po \
-@AMDEP_TRUE@ $(DEPDIR)/enumNameList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/enumNameSList.Po $(DEPDIR)/exprChecks.Po \
-@AMDEP_TRUE@ $(DEPDIR)/exprData.Po $(DEPDIR)/exprNode.Po \
-@AMDEP_TRUE@ $(DEPDIR)/exprNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/exprNodeSList.Po $(DEPDIR)/fcnNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/fileIdList.Po $(DEPDIR)/fileLib.Po \
-@AMDEP_TRUE@ $(DEPDIR)/fileTable.Po $(DEPDIR)/fileloc.Po \
-@AMDEP_TRUE@ $(DEPDIR)/filelocList.Po $(DEPDIR)/filelocStack.Po \
-@AMDEP_TRUE@ $(DEPDIR)/flagMarker.Po $(DEPDIR)/flagMarkerList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/flagSpec.Po $(DEPDIR)/flags.Po \
-@AMDEP_TRUE@ $(DEPDIR)/functionClause.Po \
-@AMDEP_TRUE@ $(DEPDIR)/functionClauseList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/functionConstraint.Po \
-@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)/inputStream.Po $(DEPDIR)/intSet.Po \
-@AMDEP_TRUE@ $(DEPDIR)/interfaceNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lclctypes.Po $(DEPDIR)/lclinit.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lcllib.Po $(DEPDIR)/lclscan.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lclscanline.Po $(DEPDIR)/lclsyntable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lcltokentable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/letDeclNodeList.Po $(DEPDIR)/lh.Po \
-@AMDEP_TRUE@ $(DEPDIR)/llerror.Po $(DEPDIR)/llgrammar.Po \
-@AMDEP_TRUE@ $(DEPDIR)/llmain.Po $(DEPDIR)/lltok.Po \
-@AMDEP_TRUE@ $(DEPDIR)/loopHeuristics.Po $(DEPDIR)/lslOpList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lslOpSet.Po $(DEPDIR)/lslinit.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lslparse.Po $(DEPDIR)/lsymbol.Po \
-@AMDEP_TRUE@ $(DEPDIR)/lsymbolList.Po $(DEPDIR)/lsymbolSet.Po \
-@AMDEP_TRUE@ $(DEPDIR)/ltoken.Po $(DEPDIR)/ltokenList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/macrocache.Po $(DEPDIR)/mapping.Po \
-@AMDEP_TRUE@ $(DEPDIR)/message.Po $(DEPDIR)/messageLog.Po \
-@AMDEP_TRUE@ $(DEPDIR)/metaStateConstraint.Po \
-@AMDEP_TRUE@ $(DEPDIR)/metaStateConstraintList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/metaStateExpression.Po \
-@AMDEP_TRUE@ $(DEPDIR)/metaStateInfo.Po \
-@AMDEP_TRUE@ $(DEPDIR)/metaStateSpecifier.Po \
-@AMDEP_TRUE@ $(DEPDIR)/metaStateTable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/modifiesClause.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtAnnotationDecl.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtAnnotationList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtAnnotationsNode.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtContextNode.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtDeclarationNode.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtDeclarationPiece.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtDeclarationPieces.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtDefaultsDecl.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtDefaultsDeclList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtDefaultsNode.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtLoseReference.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtLoseReferenceList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtMergeClause.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtMergeClauseList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtMergeItem.Po $(DEPDIR)/mtMergeNode.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtTransferAction.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtTransferClause.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtTransferClauseList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtValuesNode.Po $(DEPDIR)/mtgrammar.Po \
-@AMDEP_TRUE@ $(DEPDIR)/mtreader.Po $(DEPDIR)/mtscanner.Po \
-@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)/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)/stDeclNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/stateClause.Po \
-@AMDEP_TRUE@ $(DEPDIR)/stateClauseList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/stateCombinationTable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/stateInfo.Po $(DEPDIR)/stateValue.Po \
-@AMDEP_TRUE@ $(DEPDIR)/storeRefNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/structNames.Po $(DEPDIR)/symtable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/syntable.Po $(DEPDIR)/termNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/tokentable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/traitRefNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/transferChecks.Po $(DEPDIR)/typeIdSet.Po \
-@AMDEP_TRUE@ $(DEPDIR)/typeNameNodeList.Po $(DEPDIR)/uentry.Po \
-@AMDEP_TRUE@ $(DEPDIR)/uentryList.Po $(DEPDIR)/usymIdSet.Po \
-@AMDEP_TRUE@ $(DEPDIR)/usymtab.Po $(DEPDIR)/usymtab_interface.Po \
-@AMDEP_TRUE@ $(DEPDIR)/valueTable.Po \
-@AMDEP_TRUE@ $(DEPDIR)/varDeclarationNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/varKinds.Po $(DEPDIR)/varNodeList.Po \
-@AMDEP_TRUE@ $(DEPDIR)/warnClause.Po $(DEPDIR)/ynm.Po
-COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
- $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
-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
-SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-