2 # splint Makefile for GNU Make on OS/2 systems
\r
4 # Derived from original Unix makefile by Herbert
\r
9 include ../os2/make.vars
\r
14 .SUFFIXES = .c .h $O $(EXEEXT) .l .check
\r
17 ### We use the no-lines option to prevent confusion with splint flag settings.
\r
18 ### Should fix splint to avoid this...
\r
19 YFLAGS = -v -t -d --debug --no-lines
\r
22 BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y
\r
25 ## We only build Splint
\r
26 bin_PROGRAMS = splint$(EXEEXT)
\r
28 ## This is a fake program, so we can easily substitute in the extra LCL objects
\r
29 EXTRA_PROGRAMS = lcl
\r
31 AM_CPPFLAGS = -IHeaders
\r
35 SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c
\r
37 LISTSRC = clauseStack.c filelocStack.c \
\r
38 cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
\r
39 enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
\r
40 uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
\r
41 flagMarkerList.c idDeclList.c flagSpec.c
\r
43 CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
\r
45 CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
\r
46 stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
\r
47 globalsClause.c modifiesClause.c warnClause.c functionClause.c \
\r
48 functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \
\r
49 metaStateExpression.c metaStateSpecifier.c functionConstraint.c \
\r
50 pointers.c cscannerHelp.c
\r
52 SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c
\r
53 CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c
\r
55 GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c
\r
57 GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c
\r
59 OVERFLOWCHSRC = constraintList.c constraintResolve.c \
\r
60 constraintGeneration.c constraintTerm.c \
\r
61 constraintExprData.c constraintExpr.c constraint.c \
\r
64 GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
\r
65 fileTable.c cstringTable.c valueTable.c stateValue.c \
\r
66 llerror.c messageLog.c flagMarker.c aliasTable.c ynm.c \
\r
67 sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \
\r
68 lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c
\r
70 METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \
\r
71 metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
\r
72 mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \
\r
73 mtContextNode.c mtValuesNode.c mtDefaultsNode.c \
\r
74 mtAnnotationsNode.c mtMergeNode.c mtAnnotationList.c \
\r
75 mtAnnotationDecl.c mtTransferClauseList.c mtTransferClause.c \
\r
76 mtTransferAction.c mtLoseReferenceList.c mtLoseReference.c \
\r
77 mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \
\r
78 mtMergeClause.c mtMergeClauseList.c
\r
80 ## These are only used if LCL is enabled
\r
82 LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
\r
83 lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
\r
84 shift.c lclscan.c lsymbol.c mapping.c
\r
86 LSLSRC = tokentable.c scan.c scanline.c lslparse.c \
\r
87 lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c
\r
89 LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
\r
91 LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
\r
92 interfaceNodeList.c sortSetList.c declaratorNodeList.c \
\r
93 letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \
\r
94 lslOpList.c lsymbolList.c termNodeList.c ltokenList.c \
\r
95 traitRefNodeList.c pairNodeList.c typeNameNodeList.c \
\r
96 fcnNodeList.c paramNodeList.c programNodeList.c \
\r
97 varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \
\r
98 replaceNodeList.c importNodeList.c
\r
100 IFILES = ctbase.i cttable.i exprDataQuite.i
\r
102 #Files that are used on systems that do not have bison or yacc
\r
103 DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \
\r
105 DER_FILES = $(DER_BISON_FILES)
\r
108 COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
\r
109 $(GLOBSRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)
\r
111 LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(COMMONSRC) $(LCLONLYSRC)
\r
113 ALLSRC = $(GRAMSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) snprintf.c
\r
115 #files to run Splint on
\r
116 LINTSRC = $(COMMONSRC) $(SPLINTSRC)
\r
118 lcl_SOURCES = $(LCLSRC)
\r
119 CONFIG_HEADER = $(top_builddir)/config.h
\r
121 splint_SOURCES = $(ALLSRC)
\r
122 splint_OBJECTS = $(splint_SOURCES:.c=$O)
\r
125 .PHONY: lcl$(EXEEXT)
\r
127 DEFS = -DHAVE_CONFIG_H
\r
128 DEFAULT_INCLUDES = -I. -I..
\r
130 ## Sources that need to be built
\r
131 BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
\r
132 Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \
\r
133 Headers/mtgrammar_tokens.h signature.c cgrammar.c \
\r
134 llgrammar.c mtgrammar.c Headers/flag_codes.gen \
\r
137 all: $(BUILT_SOURCES) splint$(EXEEXT) $(binDir)/splint$(EXEEXT)
\r
139 Headers/signature_gen.h signature.c: signature.c.der signature.y
\r
141 $(CP) signature.c.der signature.c
\r
143 echo "Making signature.c"
\r
144 $(BISON) $(YFLAGS) -p lsl signature.y
\r
145 $(CAT) bison.head signature.tab.c bison.reset >signature.c
\r
146 $(CP) signature.c signature.c.der
\r
147 -$(MV) Headers/signature_gen.h Headers/signature_gen.bak
\r
148 $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h
\r
149 $(RM) signature.tab.c signature.tab.h
\r
152 ## 11/29/001 drl added copy so that the file cgrammar.c.der is created
\r
154 Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y
\r
156 $(CP) cgrammar.c.der cgrammar.c
\r
158 @echo "Making cgrammar.c"
\r
159 @echo "Expect 141 shift/reduce conflicts and 111 reduce/reduce conflicts."
\r
160 @echo "(see cgrammar.y for explanation)"
\r
161 $(BISON) $(YFLAGS) cgrammar.y
\r
162 $(CAT) bison.head cgrammar.tab.c bison.reset >cgrammar.c
\r
163 $(CP) cgrammar.c cgrammar.c.der
\r
164 -$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak
\r
165 $(CAT) bison.head cgrammar.tab.h bison.reset >Headers/cgrammar_tokens.h
\r
166 $(RM) cgrammar.tab.c cgrammar.tab.h
\r
169 ## 10/16/001 drl added copy so that the file mtgrammar.c.der is created
\r
170 ## also removed the dependency for this file on mtgrammary.c
\r
172 Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
\r
174 $(CP) mtgrammar.c.der mtgrammar.c
\r
176 @echo "Making mtgrammar.c"
\r
177 @echo "Expect 11 shift/reduce conflicts."
\r
178 $(BISON) $(YFLAGS) -p mt mtgrammar.y
\r
179 $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c
\r
180 $(CP) mtgrammar.c mtgrammar.c.der
\r
181 -$(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak
\r
182 $(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h
\r
183 $(RM) mtgrammar.tab.c mtgrammar.tab.h
\r
186 Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y
\r
188 $(CP) llgrammar.c.der llgrammar.c
\r
190 @echo "Making llgrammar.c"
\r
191 @echo "Expect 2 shift/reduce conflicts"
\r
192 $(BISON) $(YFLAGS) -p yl llgrammar.y
\r
193 $(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c
\r
194 $(CP) llgrammar.c llgrammar.c.der
\r
195 -$(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak
\r
196 -$(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak
\r
197 $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h
\r
198 $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen.h
\r
199 $(RM) llgrammar.tab.c llgrammar.tab.h
\r
202 cscanner.c: cscanner.l
\r
203 $(FLEX) $(LFLAGS) cscanner.l
\r
204 $(CAT) flex.head lexyy.c flex.reset > cscanner.c
\r
206 Headers/flag_codes.gen: flags.def
\r
207 grep "FLG_" flags.def > Headers/flag_codes.gen
\r
211 $(binDir)/splint$(EXEEXT): splint$(EXEEXT)
\r
212 -$(RM) -f $(binDir)/splint$(EXEEXT)
\r
213 $(CP) splint$(EXEEXT) $(binDir)/splint$(EXEEXT)
\r
216 -rm -f $(splint_OBJECTS) core *.core *~
\r
217 -rm -f cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c
\r
219 CLEANFILES = splint$(EXEEXT) $(binDir)/splint$(EXEEXT)
\r
221 snprintf$O: snprintf.c
\r
222 $(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) \
\r
223 -DHAVE_STRING_H -DHAVE_STDLIB_H -DHAVE_CTYPE_H $(CPPFLAGS) -c $<
\r
226 $(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) $(CPPFLAGS) -c $<
\r
228 splint$(EXEEXT) : $(splint_OBJECTS)
\r
229 $(CC) $(OFLAG)$@ $^ $(LDFLAGS)
\r
232 @echo "$(splint_OBJECTS)"
\r