diff --git a/build.mk b/build.mk index e0dfa8e2..7b22edbd 100644 --- a/build.mk +++ b/build.mk @@ -39,7 +39,7 @@ clean-local: # pristine state .PHONY: distclean-local distclean-local: clean-local - rm -rf bin lib apidoc + rm -rf bin lib apidoc infer-out # Remove intermediate files (general) .PHONY: clean @@ -55,6 +55,11 @@ analyze: @echo " [analyze]" @cppcheck $(CPPFLAGS) $(CHECKOPTS) $(SRC) +# Static code analysis viacat Facebook's infer +.PHONY: infer +infer: CC := infer run -- $(CC) +infer: distclean shared + # Doxygen documentation (HTML and man pages) under apidocs/ .PHONY: dox dox: README.md Doxyfile apidoc $(SRC) $(INC)