X-Git-Url: https://git.xonotic.org/?a=blobdiff_plain;f=Makefile;h=876bdd965c0685f7cb37d778b7f42350fd91db97;hb=d8ae1cb3e9049fa415339db6948095d5d3601de2;hp=321c8f2f5e76b52b17e9c962ddf0fde00fadf447;hpb=ecb83404abbb0e7072873a0f99a8a9fcf5ec934b;p=xonotic%2Fgmqcc.git diff --git a/Makefile b/Makefile index 321c8f2..876bdd9 100644 --- a/Makefile +++ b/Makefile @@ -76,6 +76,57 @@ else endif endif +#splint flags +SPLINTFLAGS = \ + -redef \ + -noeffect \ + -nullderef \ + -usedef \ + -type \ + -mustfreeonly \ + -nullstate \ + -varuse \ + -mustfreefresh \ + -compdestroy \ + -compmempass \ + -nullpass \ + -onlytrans \ + -predboolint \ + -boolops \ + -exportlocal \ + -incondefs \ + -macroredef \ + -retvalint \ + -nullret \ + -predboolothers \ + -globstate \ + -dependenttrans \ + -branchstate \ + -compdef \ + -temptrans \ + -usereleased \ + -warnposix \ + -shiftimplementation \ + +charindex \ + -kepttrans \ + -unqualifiedtrans \ + +matchanyintegral \ + -bufferoverflowhigh \ + +voidabstract \ + -nullassign \ + -unrecog \ + -casebreak \ + -retvalbool \ + -retvalother \ + -mayaliasunique \ + -realcompare \ + -observertrans \ + -shiftnegative \ + -freshtrans \ + -abstract \ + -statictrans \ + -castfcnptr + #standard rules default: all %.o: %.c @@ -106,16 +157,16 @@ clean: rm -f *.o $(GMQCC) $(QCVM) $(TESTSUITE) *.dat splint: - @ ./splint.sh + @ splint $(SPLINTFLAGS) *.c *.h depend: - makedepend -Y -w 65536 \ + @makedepend -Y -w 65536 2> /dev/null \ $(subst .o,.c,$(OBJ_D)) - makedepend -a -Y -w 65536 \ + @makedepend -a -Y -w 65536 2> /dev/null \ $(subst .o,.c,$(OBJ_T)) - makedepend -a -Y -w 65536 \ + @makedepend -a -Y -w 65536 2> /dev/null \ $(subst .o,.c,$(OBJ_C)) - makedepend -a -Y -w 65536 \ + @makedepend -a -Y -w 65536 2> /dev/null \ $(subst .o,.c,$(OBJ_X)) #install rules