]> andersk Git - splint.git/blob - src/Makefile.sources
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / 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
19
20 LCLINTSRC = exprNode.c exprChecks.c llmain.c
21  CHECKSRC   = structNames.c transferChecks.c varKinds.c nameChecks.c
22
23 GLOBSRC    = context.c globals.c flags.c general.c osd.c reader.c
24
25 GRAMS      = cgrammar.y cscanner.l llgrammar.y signature.y mtgrammar.y
26 GRAMSRC    = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c
27
28 OVERFLOWCHSRC = \
29     constraintTerm.c \
30     constraintExprData.c \
31     constraintExpr.c \
32     constraint.c \
33     constraintList.c \
34     constraintResolve.c \
35     constraintGeneration.c \
36     constraintOutput.c \
37     forjunk.c 
38     
39 GENERALSRC =  \
40     exprData.c \
41     cstring.c fileloc.c message.c  inputStream.c \
42     fileTable.c cstringTable.c valueTable.c stateValue.c llerror.c messageLog.c \
43     flagMarker.c aliasTable.c ynm.c sRefTable.c genericTable.c \
44     ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c randomNumbers.c \
45     fileLib.c
46
47 METASTATESRC = \
48     stateInfo.c stateCombinationTable.c metaStateTable.c \
49     metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
50     mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c mtContextNode.c \
51     mtValuesNode.c mtDefaultsNode.c mtAnnotationsNode.c mtMergeNode.c \
52     mtAnnotationList.c mtAnnotationDecl.c \
53     mtTransferClauseList.c mtTransferClause.c mtTransferAction.c \
54     mtLoseReferenceList.c mtLoseReference.c \
55     mtDefaultsDeclList.c mtDefaultsDecl.c \
56     mtMergeItem.c mtMergeClause.c mtMergeClauseList.c
57
58 ###
59 ### These source files are relevant for LCL only.
60 ### Not uses if NOLCL is set.
61 ###
62
63 LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
64    lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
65    shift.c lclscan.c lsymbol.c mapping.c
66
67 LSLSRC    = tokentable.c scan.c scanline.c lslparse.c \
68    lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c 
69
70 LCLGRAMS    = llgrammar.y signature.y
71 LCLGRAMSSRC = llgrammar.c signature.c
72
73 LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
74
75 LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
76    interfaceNodeList.c sortSetList.c declaratorNodeList.c \
77    letDeclNodeList.c stDeclNodeList.c lslOpList.c storeRefNodeList.c \
78    lsymbolList.c termNodeList.c ltokenList.c traitRefNodeList.c \
79    pairNodeList.c typeNameNodeList.c fcnNodeList.c paramNodeList.c \
80    programNodeList.c varDeclarationNodeList.c varNodeList.c \
81    quantifierNodeList.c replaceNodeList.c importNodeList.c
82
83 ifeq ($(NOLCL), 1)
84 LCLSRC     =
85 else 
86 LCLSRC     = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) $(LCLGRAMSSRC)
87 endif
88
89 COMMONSRC =  $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) $(GLOBSRC) \
90              $(IFACESRC) $(LISTSRC) $(SETSRC) $(LCLSRC) $(LCLGRAMSRC) \
91              $(METASTATESRC)
92
93 SRC        = $(COMMONSRC) $(LCLINTSRC)
94 ALLSRC     =  $(GRAMSRC) $(SRC)
95
96 ## all except cscanner.c
97 ALMOSTALLSRC = llgrammar.c cgrammar.c signature.c $(SRC)  
98 OBJ        = $(subst .c,.o,$(ALLSRC)) 
99
100 CHECKS     = $(subst .c,.check,$(SRC))
101
102 ALLHEADERS = 
103
104 SANITIZERSRC = $(COMMONSRC) cscanner.c sgrammar.c sNode.c sChecks.c sMain.c
105 SANITIZEROBJ = $(subst .c,.o,$(SANITIZERSRC))
106
107
108
109
110
This page took 0.069286 seconds and 5 git commands to generate.