]>
Commit | Line | Data |
---|---|---|
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 |