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