| 885824d3 |
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 \ |
| 11 | flagMarkerList.c idDeclList.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 specialClauses.c \ |
| 16 | ctype.c cvar.c clabstract.c idDecl.c clause.c |
| 17 | |
| 18 | LCLINTSRC = exprNode.c exprChecks.c llmain.c |
| 19 | CHECKSRC = structNames.c aliasChecks.c varKinds.c nameChecks.c |
| 20 | |
| 21 | GLOBSRC = context.c globals.c flags.c general.c osd.c |
| 22 | |
| 23 | GRAMS = cgrammar.y cscanner.l llgrammar.y signature.y |
| 24 | GRAMSRC = cgrammar.c cscanner.c |
| 25 | |
| 26 | GENERALSRC = cstring.c fileloc.c message.c source.c \ |
| 27 | fileTable.c hashTable.c llerror.c messageLog.c \ |
| f5ac53de |
28 | flagMarker.c aliasTable.c ynm.c sRefTable.c \ |
| 29 | ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c \ |
| 4cccc6ad |
30 | constraint.c \ |
| 361091cc |
31 | constraintTerm.c \ |
| 92c4a786 |
32 | constraintExpr.c \ |
| 33 | constraintExprData.c \ |
| 361091cc |
34 | constraintResolve.c \ |
| 34f0c5e7 |
35 | constraintOutput.c \ |
| a0a162cd |
36 | environmentTable.c \ |
| 37 | constraintList.c \ |
| 4cccc6ad |
38 | constraintGeneration.c \ |
| a0a162cd |
39 | exprData.c |
| 885824d3 |
40 | |
| 41 | ### |
| 42 | ### These source files are relevant for LCL only. |
| 43 | ### Not uses if NOLCL is set. |
| 44 | ### |
| 45 | |
| 46 | LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \ |
| 47 | lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \ |
| 48 | shift.c lclscan.c lsymbol.c mapping.c |
| 49 | |
| 50 | LSLSRC = tokentable.c scan.c scanline.c lslparse.c \ |
| 51 | lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c |
| 52 | |
| 53 | LCLGRAMS = llgrammar.y signature.y |
| 54 | LCLGRAMSSRC = llgrammar.c signature.c |
| 55 | |
| 56 | LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c |
| 57 | |
| 58 | LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \ |
| 59 | interfaceNodeList.c sortSetList.c declaratorNodeList.c \ |
| 60 | letDeclNodeList.c stDeclNodeList.c lslOpList.c storeRefNodeList.c \ |
| 61 | lsymbolList.c termNodeList.c ltokenList.c traitRefNodeList.c \ |
| 62 | pairNodeList.c typeNameNodeList.c fcnNodeList.c paramNodeList.c \ |
| 63 | programNodeList.c varDeclarationNodeList.c varNodeList.c \ |
| 64 | quantifierNodeList.c replaceNodeList.c importNodeList.c |
| 65 | |
| 66 | ifeq ($(NOLCL), 1) |
| 67 | LCLSRC = |
| 68 | else |
| 69 | LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) $(LCLGRAMSSRC) |
| 70 | endif |
| 71 | |
| 72 | COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) $(GLOBSRC) \ |
| 73 | $(IFACESRC) $(LISTSRC) $(SETSRC) $(LCLSRC) $(LCLGRAMSRC) |
| 74 | |
| 75 | SRC = $(COMMONSRC) $(LCLINTSRC) |
| 76 | ALLSRC = $(SRC) $(GRAMSRC) |
| 77 | |
| 78 | ## all except cscanner.c |
| 79 | ALMOSTALLSRC = llgrammar.c cgrammar.c signature.c $(SRC) |
| 80 | OBJ = $(subst .c,.o,$(ALLSRC)) |
| 81 | |
| 82 | CHECKS = $(subst .c,.check,$(SRC)) |
| 83 | |
| 84 | ALLHEADERS = |
| 85 | |
| 86 | SANITIZERSRC = $(COMMONSRC) cscanner.c sgrammar.c sNode.c sChecks.c sMain.c |
| 87 | SANITIZEROBJ = $(subst .c,.o,$(SANITIZERSRC)) |
| 88 | |
| 89 | |
| 90 | |
| 91 | |
| 92 | |
andersk / splint.git / blame