]> andersk Git - splint.git/blob - src/Makefile.sources
Most of the constraint resolving works.
[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 \
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 \
28     constraint.c \
29     constraintTerm.c \
30     constraintResolve.c \
31     environmentTable.c \
32     constraintList.c \
33     constraintGeneration.c \
34     flagMarker.c aliasTable.c ynm.c sRefTable.c \
35     ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c \
36     exprData.c
37
38 ###
39 ### These source files are relevant for LCL only.
40 ### Not uses if NOLCL is set.
41 ###
42
43 LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
44    lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
45    shift.c lclscan.c lsymbol.c mapping.c
46
47 LSLSRC    = tokentable.c scan.c scanline.c lslparse.c \
48    lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c 
49
50 LCLGRAMS    = llgrammar.y signature.y
51 LCLGRAMSSRC = llgrammar.c signature.c
52
53 LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
54
55 LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
56    interfaceNodeList.c sortSetList.c declaratorNodeList.c \
57    letDeclNodeList.c stDeclNodeList.c lslOpList.c storeRefNodeList.c \
58    lsymbolList.c termNodeList.c ltokenList.c traitRefNodeList.c \
59    pairNodeList.c typeNameNodeList.c fcnNodeList.c paramNodeList.c \
60    programNodeList.c varDeclarationNodeList.c varNodeList.c \
61    quantifierNodeList.c replaceNodeList.c importNodeList.c
62
63 ifeq ($(NOLCL), 1)
64 LCLSRC     =
65 else 
66 LCLSRC     = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) $(LCLGRAMSSRC)
67 endif
68
69 COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) $(GLOBSRC) \
70              $(IFACESRC) $(LISTSRC) $(SETSRC) $(LCLSRC) $(LCLGRAMSRC)
71
72 SRC        = $(COMMONSRC) $(LCLINTSRC)
73 ALLSRC     = $(SRC) $(GRAMSRC) 
74
75 ## all except cscanner.c
76 ALMOSTALLSRC = llgrammar.c cgrammar.c signature.c $(SRC)  
77 OBJ        = $(subst .c,.o,$(ALLSRC)) 
78
79 CHECKS     = $(subst .c,.check,$(SRC))
80
81 ALLHEADERS = 
82
83 SANITIZERSRC = $(COMMONSRC) cscanner.c sgrammar.c sNode.c sChecks.c sMain.c
84 SANITIZEROBJ = $(subst .c,.o,$(SANITIZERSRC))
85
86
87
88
89
This page took 0.045359 seconds and 5 git commands to generate.