Updated html and word versions of the manual

[splint.git] / src / Makefile.os2

diff --git a/src/Makefile.os2 b/src/Makefile.os2
index 02af352af4b5aed25d11c56058c6645a60a0be98..8fe9af88f5efafa99435eca4eb44b43db73d416f 100644 (file)
--- a/src/Makefile.os2
+++ b/src/Makefile.os2
@@ -46,9 +46,10 @@ CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
        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\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
@@ -111,7 +112,7 @@ COMMONSRC = $(OVERFLOWCHSRC) $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
 ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) \r
 \r
 #files to run Splint on\r
-LINTSRC = $(COMMONSRC) $(SPLINTSRC)\r
+LINTSRC = $(COMMONSRC) $(SPLINTSRC) cscanner.c cgrammar.c\r
 \r
 LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) \r
 lcl_SOURCES = $(LCLSRC)\r
@@ -144,32 +145,29 @@ lcl_OBJECTS = lsymbolSet$O sigNodeSet$O \
 \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
+       signature$O cppmain$O cpplib$O \\r
+       cppexp$O cpphash$O cpperror$O \\r
+       context$O uentry$O cprim$O \\r
+       macrocache$O qual$O qtype$O \\r
+       stateClause$O stateClauseList$O ctype$O \\r
+       cvar$O clabstract$O idDecl$O \\r
+       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
+       functionConstraint$O pointers$O \\r
+       structNames$O transferChecks$O \\r
+       varKinds$O nameChecks$O exprData$O \\r
+       cstring$O fileloc$O message$O \\r
+       inputStream$O fileTable$O \\r
+       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
+       fileLib$O globals$O \\r
        flags$O general$O osd$O \\r
        reader$O mtreader$O clauseStack$O \\r
        filelocStack$O cstringList$O \\r
@@ -195,7 +193,12 @@ splint_OBJECTS = cgrammar$O cscanner$O \
        mtLoseReference$O mtDefaultsDeclList$O \\r
        mtDefaultsDecl$O mtMergeItem$O \\r
        mtMergeClause$O mtMergeClauseList$O \\r
-       exprNode$O exprChecks$O llmain$O\r
+       exprNode$O exprChecks$O llmain$O \\r
+       help$O rcfiles$O constraintGeneration$O \\r
+       constraintTerm$O constraintExprData$O \\r
+       constraintExpr$O constraint$O \\r
+       constraintList$O constraintResolve$O \\r
+       constraintOutput$O loopHeuristics$O snprintf$O\r
 \r
 # Keep it fake\r
 .PHONY: lcl$(EXEEXT)\r
@@ -236,10 +239,14 @@ else
        @echo "Expect 141 shift/reduce conflicts and 111 reduce/reduce conflicts."\r
        @echo "(see cgrammar.y for explanation)"\r
        $(BISON) $(YFLAGS) cgrammar.y\r
-       $(CAT) bison.head cgrammar.tab.c bison.reset >cgrammar.c\r
+       $(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) \\r
+         -e 's/YYSTYPE/cgrammar_YYSTYPE/g' -e 's/lsllex/cgrammar_lsllex/' \\r
+         >cgrammar.c\r
        $(CP) cgrammar.c cgrammar.c.der\r
        -$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak\r
-       $(CAT) bison.head cgrammar.tab.h bison.reset >Headers/cgrammar_tokens.h\r
+       $(CAT) bison.head cgrammar.tab.h bison.reset | $(SED) \\r
+         -e 's/YYSTYPE/cgrammar_YYSTYPE/g' -e 's/lsllex/cgrammar_lsllex/g' \\r
+         >Headers/cgrammar_tokens.h\r
        $(RM) cgrammar.tab.c cgrammar.tab.h\r
 endif\r
 \r
@@ -278,12 +285,12 @@ endif
 \r
 cscanner.c: cscanner.l\r
        $(FLEX) $(LFLAGS) cscanner.l \r
-       $(CAT) flex.head lexyy.c flex.reset > cscanner.c\r
+       $(CAT) flex.head lexyy.c flex.reset | $(SED) \\r
+         -e 's/YYSTYPE/cgrammar_YYSTYPE/g' -e 's/lsllex/cgrammar_lsllex/g' \\r
+         >cscanner.c\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