*** empty log message ***

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 0ff9bdd32db29be445e204daf1409d991d81f2d2..a6f7c1eda240a7a3ee01229cc9c128732de7adbf 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -44,11 +44,13 @@ 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 = //afs/cert.org/usr/dlaroche/evLCLintDev/bin/lclint
 #LCLINTNEW = /home/drl7x/evLCLintDev/evLCLintDev/bin/lclint
+#LCLINTNEW = /home/drl7x/stabletest/LCLintDev/bin/lclint
+LCLINTNEW = lclint
 LCLINT = ../bin/lclint
 
 ###
@@ -88,10 +90,10 @@ purify: ${OBJ}
 
 signature.c : signature.c.der signature.y
 ifdef BISON
-       @$(BISON) $(YFLAGS) -p lsl signature.y
-       @$(CAT) bison.head signature.tab.c bison.reset > signature.c
-       -@$(MV) Headers/signature_gen.h Headers/signature_gen.bak
-       @$(CAT) bison.head signature.tab.h bison.reset > Headers/signature_gen.h
+       $(BISON) $(YFLAGS) -p lsl signature.y
+       $(CAT) bison.head signature.tab.c bison.reset > signature.c
+       -$(MV) Headers/signature_gen.h Headers/signature_gen.bak
+       $(CAT) bison.head signature.tab.h bison.reset > Headers/signature_gen.h
 else
        $(CP) signature.c.der signature.c
 endif
@@ -105,8 +107,6 @@ ifdef BISON
        -@$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak
        @$(CAT) bison.head cgrammar.tab.h bison.reset > Headers/cgrammar_tokens.h
        @$(RM) cgrammar.tab.c cgrammar.tab.h
-       chmod 600 cgrammar.c 
-       chmod 600 Headers/cgrammar_tokens.h
 else
        $(CP) cgrammar.c.der cgrammar.c
 endif
@@ -118,8 +118,6 @@ ifdef BISON
 #      @$(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak
        @$(CAT) bison.head mtgrammar.tab.h bison.reset > Headers/mtgrammar_tokens.h
        @$(RM) mtgrammar.tab.c mtgrammar.tab.h
-       chmod 600 mtgrammar.c 
-       chmod 600 Headers/mtgrammar_tokens.h
 else
        $(CP) mtgrammar.c.der mtgrammar.c
 endif
@@ -136,9 +134,6 @@ ifdef BISON
        -@$(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak
        @$(CAT) bison.head llgrammar.tab.h bison.reset > Headers/llgrammar_gen.h
        @$(RM) llgrammar.tab.c llgrammar.tab.h
-       chmod 400 llgrammar.c 
-       chmod 400 Headers/llgrammar_gen.h
-       chmod 400 Headers/llgrammar_gen2.h
 else
        $(CP) llgrammar.c.der llgrammar.c
 endif
@@ -146,9 +141,7 @@ endif
 cscanner.c : cscanner.c.der cscanner.l
 ifdef FLEX                             
        $(FLEX) $(LFLAGS) cscanner.l 
-       -chmod 600 cscanner.c
        $(CAT) flex.head lex.yy.c flex.reset > cscanner.c
-       chmod 400 cscanner.c
 else
        $(CP) cscanner.c.der cscanner.c
 endif
@@ -166,6 +159,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
 
@@ -179,6 +175,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
@@ -229,8 +226,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)))
@@ -302,6 +300,8 @@ endif
        @$(MAKE) -e updateversion
        @echo '//  Updating local constants'
        @$(MAKE) -e localconstants
+       @echo '//  Updating flags'
+       @$(MAKE) -e Headers/flag_codes.gen
        @echo '// '
        @echo '//  Compiling:'
        @echo '// '
@@ -381,10 +381,16 @@ lintweak:
        ${HOME}/lclint-build/lclint-2.5q-freebsdbin/lclint -f weak.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC)
 
 lintnew: 
-       ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file
+       ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw
+
+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 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
 
@@ -396,9 +402,6 @@ lintabstract:
 lintnodestroy: 
        lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal -unrecogcomments -fcnuse -constuse -exportlocal -supcounts -compdestroy
 
-linttest: 
-       lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -constuse -exportlocal -supcounts test.c
-
 linttest1g: 
        lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude test.c -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -constuse -exportlocal -supcounts +partial
 
@@ -409,14 +412,14 @@ 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
 
 test:
        cp lclint ../bin/lclint
-       cd ..; ${MAKE} test
+       cd ../test ; ${MAKE} test
 
 libs:
        cd ../lib ; ${MAKE}