diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 11:55:05 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 11:55:05 -0800 |
| commit | e03726b9a8f029c4584ea967a3cbaf768176b628 (patch) | |
| tree | 1baa7d3174d8cf809248253398c8264b325ef8b6 /Makefile | |
| parent | 97cf726442f1cfcfd8b8a1ce5b7b1f77a50b34c3 (diff) | |
Updated splint rule
Diffstat (limited to 'Makefile')
| -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)" |