Bruce/bp
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated splint rule

Browse Source
This commit is contained in:
Bruce Hill 2021-01-18 11:55:05 -08:00
parent 97cf726442
commit e03726b9a8
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Makefile
View File

@ -28,11 +28,14 @@ leaktest:
valgrind --leak-check=full ./bp -l -g grammars/bp.bp -p Grammar grammars/bp.bp
splint:
splint -posix-lib -standard -mustfreefresh -mustfreeonly -temptrans -immediatetrans -branchstate \
-compmempass -nullret -nullpass -nullderef -kepttrans -boolops -initallelements -fullinitblock \
-compdef -usereleased -unrecog -dependenttrans -predboolothers -ownedtrans -unqualifiedtrans \
-onlytrans -usedef -nullassign -compdestroy -globstate -nullstate -statictrans -predboolint \
$(CFILES) bp.c
splint -posix-lib -weak -unrecog -initallelements -fullinitblock $(CFILES) bp.c
#splint:
# splint -posix-lib -checks -mustfreefresh -mustfreeonly -temptrans -immediatetrans -branchstate \
# -compmempass -nullret -nullpass -nullderef -kepttrans -boolops -initallelements -fullinitblock \
# -compdef -usereleased -unrecog -dependenttrans -predboolothers -ownedtrans -unqualifiedtrans \
# -onlytrans -usedef -nullassign -compdestroy -globstate -nullstate -statictrans -predboolint \
# $(CFILES) bp.c
install: $(NAME)
mkdir -p -m 755 "$(PREFIX)/share/man/man1" "$(PREFIX)/bin" "$(SYSCONFDIR)/xdg/$(NAME)"