src/Makefile.am

   1 ## Note: starting comments with ## means they don't end up in Makefile
   2
   3 AUTOMAKE_OPTIONS = 1.5 foreign
   4
   5 SUFFIXES = .h .c .o .l .check
   6
   7 # Check files before compiling; requires splint!
   8 CHECK = 1
   9
  10 # Some preferences
  11 ### We use the no-lines option to prevent confusion with splint flag settings.
  12 ### Should fix splint to avoid this...
  13 YFLAGS = -v -t -d --debug --no-lines
  14 LFLAGS = -L
  15
  16 BISON_SRC = cgrammar.y  llgrammar.y  mtgrammar.y  signature.y
  17
  18
  19 ## We only build Splint
  20 bin_PROGRAMS = splint
  21
  22 ## This is a fake program, so we can easily substitute in the extra LCL objects
  23 EXTRA_PROGRAMS = lcl
  24
  25 AM_CPPFLAGS = -IHeaders
  26
  27 ## The main sources
  28
  29 SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c
  30
  31 LISTSRC = clauseStack.c filelocStack.c \
  32           cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
  33           enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
  34           uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
  35           flagMarkerList.c idDeclList.c flagSpec.c
  36
  37 CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
  38
  39 CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
  40        stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
  41        globalsClause.c modifiesClause.c warnClause.c functionClause.c \
  42        functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \
  43        metaStateExpression.c metaStateSpecifier.c functionConstraint.c \
  44        pointers.c cscannerHelp.c
  45
  46 SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c
  47 CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c
  48
  49 GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c
  50
  51 GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c
  52
  53 OVERFLOWCHSRC = constraintList.c constraintResolve.c \
  54                 constraintGeneration.c constraintTerm.c \
  55                 constraintExprData.c constraintExpr.c constraint.c \
  56                 loopHeuristics.c
  57
  58 GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
  59              fileTable.c cstringTable.c valueTable.c stateValue.c \
  60              llerror.c messageLog.c flagMarker.c aliasTable.c ynm.c \
  61              sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \
  62              lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c
  63
  64 METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \
  65                metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
  66                mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \
  67                mtContextNode.c mtValuesNode.c mtDefaultsNode.c \
  68                mtAnnotationsNode.c mtMergeNode.c mtAnnotationList.c \
  69                mtAnnotationDecl.c mtTransferClauseList.c mtTransferClause.c \
  70                mtTransferAction.c mtLoseReferenceList.c mtLoseReference.c \
  71                mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \
  72                mtMergeClause.c mtMergeClauseList.c
  73
  74 ## These are only used if LCL is enabled
  75
  76 LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
  77              lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
  78              shift.c lclscan.c lsymbol.c mapping.c
  79
  80 LSLSRC = tokentable.c scan.c scanline.c lslparse.c \
  81          lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c
  82
  83 LCLSETSRC  = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
  84
  85 LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
  86              interfaceNodeList.c sortSetList.c declaratorNodeList.c \
  87              letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \
  88              lslOpList.c lsymbolList.c termNodeList.c ltokenList.c \
  89              traitRefNodeList.c pairNodeList.c typeNameNodeList.c \
  90              fcnNodeList.c paramNodeList.c programNodeList.c \
  91              varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \
  92              replaceNodeList.c importNodeList.c
  93
  94 HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
  95           Headers/abstract.h               Headers/macrocache.h \
  96           Headers/abstractNode.h           Headers/mapping.h \
  97           Headers/message.h \
  98           Headers/aliasStack.h             Headers/messageLog.h \
  99           Headers/aliasTable.h             Headers/metaStateConstraint.h \
 100           Headers/annotationInfo.h         Headers/metaStateConstraintList.h \
 101           Headers/annotationTable.h        Headers/metaStateExpression.h \
 102           Headers/arrayQualNode.h          Headers/metaStateInfo.h \
 103           Headers/basic.h                  Headers/metaStateSpecifier.h \
 104           Headers/bool.h                   Headers/metaStateTable.h \
 105           Headers/boolStack.h              Headers/misc.h \
 106           Headers/cgrammar.h               Headers/modifiesClause.h \
 107           Headers/cgrammar_tokens.h        Headers/modifyNode.h \
 108           Headers/checking.h               Headers/mtAnnotationDecl.h \
 109           Headers/clabstract.h             Headers/mtAnnotationList.h \
 110           Headers/claimNode.h              Headers/mtAnnotationsNode.h \
 111           Headers/clause.h                 Headers/mtContextNode.h \
 112           Headers/clauseStack.h            Headers/mtDeclarationNode.h \
 113           Headers/code.h                   Headers/mtDeclarationPiece.h \
 114           Headers/constants.h              Headers/mtDeclarationPieces.h \
 115           Headers/constDeclarationNode.h   Headers/mtDefaultsDecl.h \
 116           Headers/constraintExprData.h     Headers/mtDefaultsDeclList.h \
 117           Headers/constraintExpr.h         Headers/mtDefaultsNode.h \
 118           Headers/constraint.h             Headers/mtgrammar.h \
 119           Headers/constraintList2.h        Headers/mtgrammar.tab.h \
 120           Headers/constraintList.h         Headers/mtgrammar_tokens.h \
 121           Headers/constraintOutput.h       Headers/mtincludes.h \
 122           Headers/constraintResolve.h      Headers/mtLoseReference.h \
 123           Headers/constraintTerm.h         Headers/mtLoseReferenceList.h \
 124           Headers/context.h                Headers/mtMergeClause.h \
 125           Headers/cpperror.h               Headers/mtMergeClauseList.h \
 126           Headers/cppexp.h                 Headers/mtMergeItem.h \
 127           Headers/cpp.h                    Headers/mtMergeNode.h \
 128           Headers/cpphash.h                Headers/mtreader.h \
 129           Headers/cpplib.h                 Headers/mtscanner.h \
 130           Headers/cprim.h                  Headers/mttok.h \
 131           Headers/cscanner.h               Headers/mtTransferAction.h \
 132           Headers/cstring.h                Headers/mtTransferClause.h \
 133           Headers/cstringList.h            Headers/mtTransferClauseList.h \
 134           Headers/cstringSList.h           Headers/mtValuesNode.h \
 135           Headers/cstringTable.h           Headers/multiVal.h \
 136           Headers/ctokens.h                Headers/nameChecks.h \
 137           Headers/ctypeList.h              Headers/nameNode.h \
 138           Headers/CTypesNode.h             Headers/opFormNode.h \
 139           Headers/cvar.h                   Headers/osd.h \
 140           Headers/declaratorInvNode.h      Headers/pairNode.h \
 141           Headers/declaratorInvNodeList.h  Headers/pairNodeList.h \
 142           Headers/declaratorNode.h         Headers/paramNode.h \
 143           Headers/declaratorNodeList.h     Headers/paramNodeList.h \
 144           Headers/dmalloc.h                Headers/osd.h \
 145           Headers/ekind.h                  Headers/pp.h \
 146           Headers/enumNameList.h           Headers/privateNode.h \
 147           Headers/enumNameSList.h          Headers/programNode.h \
 148           Headers/enumSpecNode.h           Headers/programNodeList.h \
 149           Headers/exportNode.h             Headers/qtype.h \
 150           Headers/exposedNode.h            Headers/qual.h \
 151           Headers/exprChecks.h             Headers/qualList.h \
 152           Headers/exprData.h               Headers/quantifiedTermNode.h \
 153           Headers/exprNode.h               Headers/quantifierNode.h \
 154           Headers/exprNodeList.h           Headers/quantifierNodeList.h \
 155           Headers/exprNodeSList.h          Headers/randomNumbers.h \
 156           Headers/fcnNode.h                Headers/rcfiles.h \
 157           Headers/fcnNodeList.h            Headers/reader.h \
 158           Headers/fileId.h                 Headers/refTable-branch.h \
 159           Headers/fileIdList.h             Headers/renamingNode.h \
 160           Headers/fileLib.h                Headers/replaceNode.h \
 161           Headers/fileloc.h                Headers/replaceNodeList.h \
 162           Headers/filelocList.h            Headers/scan.h \
 163           Headers/filelocStack.h           Headers/scanline.h \
 164           Headers/fileTable.h              Headers/sgrammar_tokens.h \
 165           Headers/flag_codes.h             Headers/sHerald.h \
 166           Headers/flagMarker.h             Headers/shift.h \
 167           Headers/flagMarkerList.h         Headers/signature2.h \
 168           Headers/flags.h                  Headers/signature_gen.h \
 169           Headers/flagSpec.h               Headers/signature.h \
 170           Headers/forwardTypes.h           Headers/signNode.h \
 171           Headers/functionClause.h         Headers/sigNode.h \
 172           Headers/functionClauseList.h     Headers/sigNodeSet.h \
 173           Headers/functionConstraint.h     Headers/sort.h \
 174           Headers/general.h                Headers/sortList.h \
 175           Headers/genericTable.h           Headers/sortSet.h \
 176           Headers/globalList.h             Headers/sortSetList.h \
 177           Headers/globalsClause.h          \
 178           Headers/globals.h                \
 179           Headers/globSet.h                Headers/sRef.h \
 180           Headers/gram.h                   Headers/sRefList.h \
 181           Headers/guardSet.h               Headers/sRefSet.h \
 182           Headers/handle.h                 Headers/sRefSetList.h \
 183           Headers/sRefSetStack.h \
 184           Headers/idDecl.h                 Headers/sRefTable.h \
 185           Headers/idDeclList.h             Headers/stateClause.h \
 186           Headers/importNode.h             Headers/stateClauseList.h \
 187           Headers/importNodeList.h         Headers/stateCombinationTable.h \
 188           Headers/imports.h                Headers/stateInfo.h \
 189           Headers/initDeclNode.h           Headers/stateValue.h \
 190           Headers/initDeclNodeList.h       Headers/stDeclNode.h \
 191           Headers/inputStream.h            Headers/stDeclNodeList.h \
 192           Headers/interfaceNode.h          Headers/stmtNode.h \
 193           Headers/interfaceNodeList.h      Headers/storeRefNode.h \
 194           Headers/intSet.h                 Headers/storeRefNodeList.h \
 195           Headers/intTable.h               Headers/strOrUnionNode.h \
 196           Headers/iterNode.h               Headers/structNames.h \
 197           Headers/lcl_constants.h          Headers/symtable.h \
 198           Headers/lclctypes.h              Headers/syntable.h \
 199           Headers/lclForwardTypes.h        Headers/system_constants.h \
 200           Headers/lclinit.h                Headers/taggedUnionNode.h \
 201           Headers/lcllib.h                 Headers/termNode.h \
 202           Headers/lclMisc.h                Headers/termNodeList.h \
 203           Headers/lclPredicateNode.h       Headers/tmpname.h \
 204           Headers/lclscan.h                Headers/tokentable.h \
 205           Headers/lclscanline.h            Headers/traitRefNode.h \
 206           Headers/lclsyntable.h            Headers/traitRefNodeList.h \
 207           Headers/lcltokentable.h          Headers/transferChecks.h \
 208           Headers/lclTypeSpecNode.h        Headers/typeExpr.h \
 209           Headers/lctype.h                 Headers/typeIdSet.h \
 210           Headers/letDeclNode.h            Headers/typeNameNode.h \
 211           Headers/letDeclNodeList.h        Headers/typeNameNodeList.h \
 212           Headers/lh.h                     Headers/typeNamePack.h \
 213           Headers/limwr.h                  Headers/typeNode.h \
 214           Headers/uentry.h \
 215           Headers/llerror.h                Headers/uentryList.h \
 216           Headers/llglobals.h              Headers/usymId.h \
 217           Headers/llgrammar2.h             Headers/usymIdSet.h \
 218           Headers/llgrammar_gen2.h        \
 219           Headers/llgrammar_gen.h          Headers/usymtab.h \
 220           Headers/llgrammar.h              Headers/usymtab_interface.h \
 221           Headers/llmain.h                 Headers/valueMatrix.h \
 222           Headers/lltok.h                  Headers/valueTable.h \
 223           Headers/lslinit.h                Headers/varDeclarationNode.h \
 224           Headers/lslOp.h                  Headers/varDeclarationNodeList.h \
 225           Headers/lslOpList.h              Headers/varKinds.h \
 226           Headers/lslOpSet.h               Headers/varNode.h \
 227           Headers/lslparse.h               Headers/varNodeList.h \
 228           Headers/lsymbol.h                Headers/version.h \
 229           Headers/lsymbolList.h            Headers/warnClause.h \
 230           Headers/lsymbolSet.h             Headers/ynm.h \
 231           Headers/ltoken.h   Headers/splintMacros.nf  \
 232           Headers/typeId.h \
 233           Headers/pointers.h   Headers/mstring.h   Headers/help.h
 234
 235
 236 IFILES =  ctbase.i  cttable.i  exprDataQuite.i
 237
 238 ## Non-built files we need to distribute
 239 EXTRA_DIST =  $(BISON_SRC) bison.head bison.reset $(HEADERSRC)  \
 240             flags.def cscanner.l flex.head flex.reset $(IFILES) \
 241             .splintrc LICENSE \
 242             Headers/cscannerHelp.h \
 243  Headers/256_random_numbers.nf  Headers/splintMacros.nf Headers/reservedNames.nf
 244 #Makefile.binary.am   Makefile.binary.in
 245
 246
 247 #Files that are used on systems that do not have bison or yacc
 248 DER_BISON_FILES = signature.c.der  cgrammar.c.der  mtgrammar.c.der \
 249                   llgrammar.c.der
 250 DER_FILES = $(DER_BISON_FILES)
 251
 252
 253 COMMONSRC =  $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
 254             $(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)
 255
 256 ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC)
 257
 258 #files to run Splint on
 259 LINTSRC = $(COMMONSRC) $(SPLINTSRC)
 260 # cscanner.c cgrammar.c
 261
 262 #ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC)
 263
 264 LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC)
 265 lcl_SOURCES = $(LCLSRC)
 266
 267 splint_SOURCES = $(ALLSRC)
 268 splint_LDADD = $(LCLOBJ) @LEXLIB@
 269
 270 # Ensure the LCL objects get built if needed
 271 splint_DEPENDENCIES = $(LCLOBJ)
 272
 273 # Keep it fake
 274 .PHONY: lcl$(EXEEXT)
 275 lcl$(EXEEXT):
 276         @echo "This is a fake target"; \
 277          echo "Use configure's --with-lcl option to enable lcl"
 278
 279 ## Sources that need to be built
 280 BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
 281                 Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \
 282                 Headers/mtgrammar_tokens.h signature.c cgrammar.c \
 283                 llgrammar.c mtgrammar.c Headers/flag_codes.gen \
 284                 $(DER_FILES)
 285
 286 ## Grammars
 287
 288 signature.c.der:
 289         @if test x$(BISON) = xno; then \
 290           echo "Cannot make signature.c.der because bison is not here" \
 291         else \
 292           echo '* Making signature.c'; \
 293           $(BISON) $(YFLAGS) -p lsl signature.y; \
 294           $(CAT) bison.head signature.tab.c bison.reset >signature.c; \
 295           $(CP) signature.c signature.c.der; \
 296           $(MV) Headers/signature_gen.h Headers/signature_gen.bak || true; \
 297           $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
 298           $(RM) signature.tab.c signature.tab.h; \
 299         fi
 300
 301 Headers/signature_gen.h signature.c: signature.c.der signature.y
 302         @if test x$(BISON) = xno; then \
 303           $(CP) signature.c.der signature.c; \
 304         else \
 305           echo '* Making signature.c'; \
 306           $(BISON) $(YFLAGS) -p lsl signature.y; \
 307           $(CAT) bison.head signature.tab.c bison.reset >signature.c; \
 308           $(CP) signature.c signature.c.der; \
 309           $(MV) Headers/signature_gen.h Headers/signature_gen.bak; \
 310           $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
 311           $(RM) signature.tab.c signature.tab.h; \
 312         fi
 313
 314 ## 11/29/001 drl added copy so that the file cgrammar.c.der is created
 315
 316 Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison.reset
 317         @if test x$(BISON) = xno; then \
 318           $(CP) cgrammar.c.der cgrammar.c; \
 319         else \
 320           echo '* Making cgrammar.c'; \
 321           echo '*      Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
 322           $(BISON) $(YFLAGS) cgrammar.y; \
 323           $(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
 324           $(CP) cgrammar.c cgrammar.c.der; \
 325           $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak || true; \
 326           $(CAT) bison.head cgrammar.tab.h bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > Headers/cgrammar_tokens.h; \
 327           $(RM) cgrammar.tab.c cgrammar.tab.h; \
 328         fi
 329
 330 ## 10/16/001 drl added copy so that the file mtgrammar.c.der is created
 331 ## also removed the dependency for this file on mtgrammary.c
 332
 333 Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
 334         @if test x$(BISON) = xno; then \
 335           $(CP) mtgrammar.c.der mtgrammar.c; \
 336         else \
 337           echo '* Making mtgrammar.c'; \
 338           echo '*       Note: Expect 11 shift/reduce conflicts.'; \
 339           $(BISON) $(YFLAGS) -p mt mtgrammar.y; \
 340           $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
 341           $(CP) mtgrammar.c mtgrammar.c.der; \
 342           $(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak; \
 343           $(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h; \
 344           $(RM) mtgrammar.tab.c mtgrammar.tab.h; \
 345         fi
 346
 347 ## 11/29/001 drl added copy so that the file llgrammar.c.der is created
 348
 349 Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y
 350         @if test x$(BISON) = xno; then \
 351           $(CP) llgrammar.c.der llgrammar.c; \
 352         else \
 353           echo '* Making llgrammar.c'; \
 354           echo '*       Note: Expect 2 shift/reduce conflicts'; \
 355           $(BISON) $(YFLAGS) -p yl llgrammar.y; \
 356           $(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
 357           $(CP) llgrammar.c llgrammar.c.der; \
 358           $(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak; \
 359           $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h; \
 360           $(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak; \
 361           $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen.h; \
 362           $(RM) llgrammar.tab.c llgrammar.tab.h; \
 363         fi
 364
 365 cscanner.c: cscanner.l
 366         $(LEX) $(LFLAGS) cscanner.l
 367         $(CAT) flex.head @LEX_OUTPUT_ROOT@.c flex.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g'  | $(SED) 's/lsllex/cgrammar_lsllex/g' > cscanner.c
 368
 369 Headers/flag_codes.gen: flags.def
 370         grep "FLG_" flags.def > Headers/flag_codes.gen
 371         $(MAKE)
 372         cd ../lib; $(MAKE)
 373
 374 ## Checking rules
 375
 376 CHECKS = $(subst .c,.check,$(splint_SOURCES))
 377
 378 ## Other rules
 379
 380 .PHONY: nocheck
 381 nocheck:
 382         $(MAKE) CHECK=0
 383
 384 .PHONY: test
 385 test:
 386         ${MAKE} ; cd ../test; ${MAKE} --no-print-directory
 387
 388 .PHONY: libs
 389 libs:
 390         ${MAKE} ; cd ../lib; ${MAKE} --no-print-directory
 391
 392 ### Automake generates wrong tags
 393 .PHONY: etags
 394 etags:
 395         maketags
 396
 397 lintnew: splintme
 398
 399 splintme:
 400         ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
 401
 402 splintmesupcounts:
 403         ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments  -fcnuse -incondefs -exportlocal -supcounts -constuse -mts file -mts filerw
 404
 405 lintbuffercheck:
 406         ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +bounds -DLINTBUFFERCHECK
 407
 408 valsplint:
 409         valgrind -v --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=yes ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
 410
 411
 412 splintsome:
 413         ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude lcllib.c  -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +partial
 414
 415 # drl changed to use # for comment
 416 #/* $(LINTSRC) $(LCLSRC)*/
 417
 418 splinttest:
 419         ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude test.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null
 420
 421 binDir = bin
 422
 423 all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
 424
 425 ../$(top_builddir)/$(binDir)/splint$(EXEEXT):  splint$(EXEEXT)
 426         -$(RM) -f $(top_builddir)/$(binDir)/splint$(EXEEXT)
 427         ln -s $(top_builddir)/src/splint$(EXEEXT)  $(top_builddir)/$(binDir)/splint$(EXEEXT)
 428
 429 up:
 430         -rm cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c
 431         $(MAKE) clean
 432
 433 CLEANFILES = splint$(EXEEXT)  ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
 434
 435 .c.o:
 436         @echo "Compiling "$<"..."; \
 437         source='$<' object='$@' libtool=no \
 438         depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' \
 439         $(CCDEPMODE) $(depcomp) \
 440         $(COMPILE) -c `test -f $< || echo '$(srcdir)/'`$<