SHELL = /usr/bin/ksh\r
\r
include ../os2/make.vars\r
-binDir = ../bin\r
-\r
-\r
-.SUFFIXES = \r
-.SUFFIXES = .c .h $O $(EXEEXT) .l .check\r
-\r
-# Some preferences\r
-### We use the no-lines option to prevent confusion with splint flag settings.\r
-### Should fix splint to avoid this...\r
-YFLAGS = -v -t -d --debug --no-lines\r
-LFLAGS = -L\r
\r
BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y\r
\r
\r
CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c\r
\r
-CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \\r
+CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \\r
stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \\r
globalsClause.c modifiesClause.c warnClause.c functionClause.c \\r
functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \\r
- metaStateExpression.c metaStateSpecifier.c functionConstraint.c\r
+ metaStateExpression.c metaStateSpecifier.c functionConstraint.c \\r
+ pointers.c cscannerHelp.c \r
\r
-SPLINTSRC = exprNode.c exprChecks.c llmain.c\r
+SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c\r
CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c\r
\r
-GLOBSRC = context.c globals.c flags.c general.c osd.c reader.c mtreader.c\r
+GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c\r
\r
GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c\r
\r
-OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \\r
+OVERFLOWCHSRC = constraintList.c constraintResolve.c \\r
+ constraintGeneration.c constraintTerm.c \\r
constraintExprData.c constraintExpr.c constraint.c \\r
- constraintList.c constraintResolve.c \\r
- constraintOutput.c loopHeuristics.c \r
+ loopHeuristics.c \r
\r
GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \\r
fileTable.c cstringTable.c valueTable.c stateValue.c \\r
\r
IFILES = ctbase.i cttable.i exprDataQuite.i\r
\r
-\r
#Files that are used on systems that do not have bison or yacc\r
DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \\r
llgrammar.c.der \r
DER_FILES = $(DER_BISON_FILES)\r
\r
\r
-COMMONSRC = $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \\r
- $(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)\r
+COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \\r
+ $(GLOBSRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)\r
+\r
+LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(COMMONSRC) $(LCLONLYSRC) \r
\r
-ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) \r
+ALLSRC = $(GRAMSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(LCLSRC)\r
+# snprintf.c\r
\r
#files to run Splint on\r
LINTSRC = $(COMMONSRC) $(SPLINTSRC)\r
\r
-LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) \r
lcl_SOURCES = $(LCLSRC)\r
-CONFIG_HEADER = $(top_builddir)/config.h\r
+CONFIG_HEADER = ../config.h\r
\r
splint_SOURCES = $(ALLSRC)\r
-\r
-lcl_OBJECTS = lsymbolSet$O sigNodeSet$O \\r
- lslOpSet$O sortSet$O initDeclNodeList$O \\r
- sortList$O declaratorInvNodeList$O \\r
- interfaceNodeList$O sortSetList$O \\r
- declaratorNodeList$O letDeclNodeList$O \\r
- stDeclNodeList$O storeRefNodeList$O \\r
- lslOpList$O lsymbolList$O \\r
- termNodeList$O ltokenList$O \\r
- traitRefNodeList$O pairNodeList$O \\r
- typeNameNodeList$O fcnNodeList$O \\r
- paramNodeList$O programNodeList$O \\r
- varDeclarationNodeList$O varNodeList$O \\r
- quantifierNodeList$O replaceNodeList$O \\r
- importNodeList$O tokentable$O scan$O \\r
- scanline$O lslparse$O lh$O \\r
- checking$O lclctypes$O imports$O \\r
- lslinit$O syntable$O \\r
- usymtab_interface$O abstract$O ltoken$O \\r
- lclscanline$O lclsyntable$O \\r
- lcltokentable$O sort$O symtable$O \\r
- lclinit$O shift$O lclscan$O \\r
- lsymbol$O mapping$O\r
-\r
-splint_OBJECTS = cgrammar$O cscanner$O \\r
- mtscanner$O mtgrammar$O llgrammar$O \\r
- signature$O constraintGeneration$O \\r
- constraintTerm$O constraintExprData$O \\r
- constraintExpr$O constraint$O \\r
- constraintList$O constraintResolve$O \\r
- constraintOutput$O loopHeuristics$O \\r
- cppmain$O cpplib$O cppexp$O \\r
- cpphash$O cpperror$O uentry$O \\r
- cprim$O macrocache$O qual$O \\r
- qtype$O stateClause$O stateClauseList$O \\r
- ctype$O cvar$O clabstract$O \\r
- idDecl$O clause$O globalsClause$O \\r
- modifiesClause$O warnClause$O \\r
- functionClause$O functionClauseList$O \\r
- metaStateConstraint$O metaStateConstraintList$O \\r
- metaStateExpression$O metaStateSpecifier$O \\r
- functionConstraint$O structNames$O \\r
- transferChecks$O varKinds$O \\r
- nameChecks$O exprData$O cstring$O \\r
- fileloc$O message$O inputStream$O \\r
- fileTable$O cstringTable$O valueTable$O \\r
- stateValue$O llerror$O messageLog$O \\r
- flagMarker$O aliasTable$O ynm$O \\r
- sRefTable$O genericTable$O ekind$O \\r
- usymtab$O multiVal$O lltok$O \\r
- sRef$O lcllib$O randomNumbers$O \\r
- fileLib$O context$O globals$O \\r
- flags$O general$O osd$O \\r
- reader$O mtreader$O clauseStack$O \\r
- filelocStack$O cstringList$O \\r
- cstringSList$O sRefSetList$O \\r
- ctypeList$O enumNameList$O \\r
- enumNameSList$O exprNodeList$O \\r
- exprNodeSList$O uentryList$O \\r
- fileIdList$O filelocList$O qualList$O \\r
- sRefList$O flagMarkerList$O \\r
- idDeclList$O flagSpec$O globSet$O \\r
- intSet$O typeIdSet$O guardSet$O \\r
- usymIdSet$O sRefSet$O stateInfo$O \\r
- stateCombinationTable$O metaStateTable$O \\r
- metaStateInfo$O annotationTable$O \\r
- annotationInfo$O mttok$O \\r
- mtDeclarationNode$O mtDeclarationPieces$O \\r
- mtDeclarationPiece$O mtContextNode$O \\r
- mtValuesNode$O mtDefaultsNode$O \\r
- mtAnnotationsNode$O mtMergeNode$O \\r
- mtAnnotationList$O mtAnnotationDecl$O \\r
- mtTransferClauseList$O mtTransferClause$O \\r
- mtTransferAction$O mtLoseReferenceList$O \\r
- mtLoseReference$O mtDefaultsDeclList$O \\r
- mtDefaultsDecl$O mtMergeItem$O \\r
- mtMergeClause$O mtMergeClauseList$O \\r
- exprNode$O exprChecks$O llmain$O\r
+splint_OBJECTS = $(splint_SOURCES:.c=$O)\r
\r
# Keep it fake\r
.PHONY: lcl$(EXEEXT)\r
\r
-DEFS = -DHAVE_CONFIG_H\r
+DEFS = -DHAVE_CONFIG_H -D__pid_t=pid_t\r
DEFAULT_INCLUDES = -I. -I..\r
-LDADD = $(lcl_OBJECTS) \r
\r
## Sources that need to be built\r
BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \\r
llgrammar.c mtgrammar.c Headers/flag_codes.gen \\r
$(DER_FILES)\r
\r
-all: $(BUILT_SOURCES) splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
+all: $(binDir)/splint$(EXEEXT) ../os2/setenv.cmd\r
+ $(MAKE) -C ../lib -f Makefile.os2\r
+\r
+$(CONFIG_HEADER): ../os2/os2config.h.in\r
+ $(SED) -e 's|@DEFAULT_LARCHPATH@|$(DEFAULT_LARCHPATH)|' \\r
+ -e 's|@DEFAULT_LCLIMPORTDIR@|$(DEFAULT_LCLIMPORTDIR)|' \\r
+ -e 's|@GCC_INCLUDE_DIR@|$(GCC_INCLUDE_DIR)|' \\r
+ -e 's|@GCC_INCLUDE_DIR2@|$(GCC_INCLUDE_DIR2)|' \\r
+ -e 's|@TARGET_CPU@|$(TARGET_CPU)|' \\r
+ -e 's|@UNAME@|$(UNAME)|' \\r
+ -e 's|@LCL_COMPILE@|$(LCL_COMPILE)|' \\r
+ -e 's|@LCL_PARSE_VERSION@|$(LCL_PARSE_VERSION)|' \\r
+ -e 's|@SPLINT_VERSION@|$(SPLINT_VERSION)|' \\r
+ -e 's|@SYSTEM_LIBDIR@|$(SYSTEM_LIBDIR)|' \\r
+ $< >$@\r
+\r
+../os2/setenv.cmd: ../os2/setenv.cmd.in\r
+ $(SED) -e 's|@LCL_VERSION@|$(LCL_VERSION)|' \\r
+ -e 's|@BASEDIR@|$(BASEDIR)|' \\r
+ $< | tr '/' '\\\\\\' >$@\r
\r
Headers/signature_gen.h signature.c: signature.c.der signature.y\r
ifndef BISON\r
\r
Headers/flag_codes.gen: flags.def\r
grep "FLG_" flags.def > Headers/flag_codes.gen\r
- $(MAKE)\r
- cd ../lib; $(MAKE)\r
\r
$(binDir)/splint$(EXEEXT): splint$(EXEEXT)\r
-$(RM) -f $(binDir)/splint$(EXEEXT)\r
$(CP) splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
\r
-up: clean\r
- rm -f cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c\r
-\r
-\r
clean: \r
-rm -f $(splint_OBJECTS) core *.core *~ \r
-\r
+ -rm -f cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c\r
\r
CLEANFILES = splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
\r
+snprintf$O: snprintf.c\r
+ $(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) \\r
+ -DHAVE_STRING_H -DHAVE_STDLIB_H -DHAVE_CTYPE_H $(CPPFLAGS) -c $<\r
+\r
%$O: %.c\r
$(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) $(CPPFLAGS) -c $<\r
\r
-splint$(EXEEXT) : $(splint_OBJECTS) $(lcl_OBJECTS)\r
- $(CC) $(OFLAG)$@ $^ $(LDFLAGS)\r
+splint$(EXEEXT) : $(CONFIG_HEADER) $(BUILT_SOURCES) $(splint_OBJECTS) \r
+ $(CC) $(OFLAG)$@ $(splint_OBJECTS) $(LDFLAGS)\r
\r
list:\r
@echo "$(splint_OBJECTS)"\r
andersk / splint.git / blobdiff