diff options
| -rw-r--r-- | Makefile | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -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)" |