diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 09:15:25 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 09:15:25 -0800 |
| commit | 3ededef53d0704f8b89c55f60bef52a64b86d62c (patch) | |
| tree | 686fc67dcc174e4ae729408577c93a25fab2592b /Makefile | |
| parent | 65141b240218df4c40196db63429b90b1cb698a9 (diff) | |
Static analysis part 1
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -27,6 +27,9 @@ leaktest: make G=-ggdb O=-O0 EXTRA=-DDEBUG_HEAP clean bp valgrind --leak-check=full ./bp -l -g grammars/bp.bp -p Grammar grammars/bp.bp +splint: + splint +posixlib $(CFILES) bp.c + install: $(NAME) mkdir -p -m 755 "$(PREFIX)/share/man/man1" "$(PREFIX)/bin" "$(SYSCONFDIR)/xdg/$(NAME)" cp -r grammars/* "$(SYSCONFDIR)/xdg/$(NAME)/" @@ -42,4 +45,4 @@ uninstall: [ "$$confirm" != n ] && rm -rf ~/.config/$(NAME); \ fi -.PHONY: all clean install uninstall +.PHONY: all clean install uninstall leaktest splint |