src/Makefile.sources

   1 ###
   2 ### Makefile.sources
   3 ###
   4
   5 SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c
   6
   7 LISTSRC = clauseStack.c filelocStack.c \
   8    cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
   9    enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
  10    uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
  11    flagMarkerList.c idDeclList.c flagSpec.c
  12
  13 CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
  14
  15 CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
  16    stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
  17    globalsClause.c modifiesClause.c warnClause.c functionClause.c \
  18    functionClauseList.c metaStateConstraint.c metaStateConstraintList.c metaStateExpression.c \
  19    metaStateSpecifier.c functionConstraint.c
  20
  21 LCLINTSRC = exprNode.c exprChecks.c llmain.c
  22  CHECKSRC   = structNames.c transferChecks.c varKinds.c nameChecks.c
  23
  24 GLOBSRC    = context.c globals.c flags.c general.c osd.c reader.c
  25
  26 GRAMS      = cgrammar.y cscanner.l llgrammar.y signature.y mtgrammar.y
  27 GRAMSRC    = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c
  28
  29 OVERFLOWCHSRC = \
  30     constraintGeneration.c \
  31     constraintTerm.c \
  32     constraintExprData.c \
  33     constraintExpr.c \
  34     constraint.c \
  35     constraintList.c \
  36     constraintResolve.c \
  37     constraintOutput.c \
  38     loopHeuristics.c
  39
  40 GENERALSRC =  \
  41     exprData.c \
  42     cstring.c fileloc.c message.c  inputStream.c \
  43     fileTable.c cstringTable.c valueTable.c stateValue.c llerror.c messageLog.c \
  44     flagMarker.c aliasTable.c ynm.c sRefTable.c genericTable.c \
  45     ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c randomNumbers.c \
  46     fileLib.c
  47
  48 METASTATESRC = \
  49     stateInfo.c stateCombinationTable.c metaStateTable.c \
  50     metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
  51     mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c mtContextNode.c \
  52     mtValuesNode.c mtDefaultsNode.c mtAnnotationsNode.c mtMergeNode.c \
  53     mtAnnotationList.c mtAnnotationDecl.c \
  54     mtTransferClauseList.c mtTransferClause.c mtTransferAction.c \
  55     mtLoseReferenceList.c mtLoseReference.c \
  56     mtDefaultsDeclList.c mtDefaultsDecl.c \
  57     mtMergeItem.c mtMergeClause.c mtMergeClauseList.c
  58
  59 ###
  60 ### These source files are relevant for LCL only.
  61 ### Not uses if NOLCL is set.
  62 ###
  63
  64 LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
  65    lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
  66    shift.c lclscan.c lsymbol.c mapping.c
  67
  68 LSLSRC    = tokentable.c scan.c scanline.c lslparse.c \
  69    lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c
  70
  71 LCLGRAMS    = llgrammar.y signature.y
  72 LCLGRAMSSRC = llgrammar.c signature.c
  73
  74 LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
  75
  76 LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
  77    interfaceNodeList.c sortSetList.c declaratorNodeList.c \
  78    letDeclNodeList.c stDeclNodeList.c lslOpList.c storeRefNodeList.c \
  79    lsymbolList.c termNodeList.c ltokenList.c traitRefNodeList.c \
  80    pairNodeList.c typeNameNodeList.c fcnNodeList.c paramNodeList.c \
  81    programNodeList.c varDeclarationNodeList.c varNodeList.c \
  82    quantifierNodeList.c replaceNodeList.c importNodeList.c
  83
  84 ifeq ($(NOLCL), 1)
  85 LCLSRC     =
  86 else
  87 LCLSRC     = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) $(LCLGRAMSSRC)
  88 endif
  89
  90 COMMONSRC =  $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) $(GLOBSRC) \
  91              $(IFACESRC) $(LISTSRC) $(SETSRC) $(LCLSRC) $(LCLGRAMSRC) \
  92              $(METASTATESRC)
  93
  94 SRC        = $(COMMONSRC) $(LCLINTSRC)
  95 ALLSRC     =  $(GRAMSRC) $(SRC)
  96
  97 ## all except cscanner.c
  98 ALMOSTALLSRC = llgrammar.c cgrammar.c signature.c $(SRC)
  99 OBJ        = $(subst .c,.o,$(ALLSRC))
 100
 101 CHECKS     = $(subst .c,.check,$(SRC))
 102
 103 ALLHEADERS =
 104
 105 SANITIZERSRC = $(COMMONSRC) cscanner.c sgrammar.c sNode.c sChecks.c sMain.c
 106 SANITIZEROBJ = $(subst .c,.o,$(SANITIZERSRC))
 107
 108
 109
 110
 111