*** empty log message ***

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 39f41637babc9113d6b17dfd44f004a668edb0e0..aa3fca34f82a882b7e0bee3c657b8b3544565db3 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -44,12 +44,12 @@ include Makefile.sys
 ### (can't be 1 unless you have lclint already!)
 ###
 
-CHECK = 0 ### set to 1
+CHECK = 1 ### set to 1
 
 #LCLINT = //tmp/lclint-2.5q/bin/lclint
 #LCLINTNEW = //afs/cert.org/usr/dlaroche/evLCLintDev/bin/lclint
 #LCLINTNEW = /home/drl7x/evLCLintDev/evLCLintDev/bin/lclint
-LCLINTNEW = lclint
+LCLINTNEW = /home/drl7x/stabletest/LCLintDev/bin/lclint
 LCLINT = ../bin/lclint
 
 ###
@@ -158,6 +158,9 @@ cgrammar.o : cgrammar.c
 cscanner.o : cscanner.c
        $(CC) $(CPPFLAGS) -c $*.c
 
+mtgrammar.o : mtgrammar.c
+       $(CC) $(CPPFLAGS) -c $*.c
+
 llgrammar.o : llgrammar.c
        $(CC) $(CPPFLAGS) -c $*.c
 
@@ -171,6 +174,7 @@ Headers/signature_gen.h : signature.c
 Headers/cgrammar2.h : cgrammar.c
 Headers/cgrammar_tokens.h : cgrammar.c
 Headers/llgrammar.h : llgrammar.c
+Headers/mtgrammar_tokens.h : mtgrammar.c
 
 Headers/flag_codes.gen : flags.def
        grep "FLG_" flags.def > Headers/flag_codes.gen
@@ -221,8 +225,9 @@ betarelease:
        cp -r ../imports ~/temp/lclint-`cat ${VERSION_NUMBER}`/imports
        cp -r ../test ~/temp/lclint-`cat ${VERSION_NUMBER}`/test
        cp ../configure ../Makefile* ../README ~/temp/lclint-`cat ${VERSION_NUMBER}`/
-       cd ~/temp/lclint-`cat ${VERSION_NUMBER}`; rm */*.core ; tar zcvf ~/public_html/lclint/lclint-`cat ~/lclint-dev/src/${VERSION_NUMBER}`-beta.tgz *
+       cd ~/temp/lclint-`cat ${VERSION_NUMBER}`; rm */*.core ; tar zcvf ~/public_html/lclint/lclint-`cat ~/LCLintDev/src/${VERSION_NUMBER}`-beta.tgz *
        chmod 644 ~/public_html/lclint/lclint-`cat ${VERSION_NUMBER}`.tgz
+       @echo "Make release lclint-`cat ${VERSION_NUMBER}`
 
 opt :
 ifneq (,$(findstring csh, $(SHELL)))
@@ -381,10 +386,10 @@ lintfcn:
        ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +fcnconstraint
 
 linttest: 
-       ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude cgrammar.c -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +keep
+       ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude cpphash.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +partial
 
 lint: 
-       ../bin/lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse 
+       ../bin/lclint -f lclint.lclintrc llmain.c $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -supcounts -fcnuse -exportlocal -unrecogcomments -constuse  -mts file
 
 # -mts file
 
@@ -406,7 +411,7 @@ lint28:
        ${HOME}/lclint-2.8a/bin/lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -constuse -exportlocal -supcounts
 
 lint29: 
-       ${HOME}/lclint-2.9a/bin/lclint -f lclint.lclintrc $(CPPFLAGS) -larchpath .:${HOME}/lclint-2.9a/lib/ +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -constuse -exportlocal -supcounts
+       ${HOME}/lclint-2.9a/bin/lclint -f lclint.lclintrc $(CPPFLAGS) -larchpath .:${HOME}/lclint-2.9a/lib/ +singleinclue $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -constuse -exportlocal -supcounts
 
 lintm: 
        lclint-2.5m -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint