Skip to content

Commit

Permalink
Tweaked infer target
Browse files Browse the repository at this point in the history
  • Loading branch information
attipaci committed Dec 2, 2024
1 parent 5489aa0 commit 98d8e73
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 9 deletions.
14 changes: 10 additions & 4 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -32,14 +32,14 @@ endif
# Link against thread lib
LDFLAGS += -pthread

# Build everything...
.PHONY: all
all: shared static $(DOC_TARGETS) check

# Build for distribution
.PHONY: distro
distro: shared $(DOC_TARGETS)

# Build everything...
.PHONY: all
all: shared static $(DOC_TARGETS) check

# Shared libraries (versioned and unversioned)
.PHONY: shared
shared: $(LIB)/libredisx.so
Expand All @@ -57,6 +57,11 @@ test:
.PHONY: check
check: test analyze

# Static code analysis via Facebook's infer
.PHONY: infer
infer: clean
infer run -- make shared

# Remove intermediates
.PHONY: clean
clean:
Expand Down Expand Up @@ -178,6 +183,7 @@ help:
@echo " local-dox Compiles local HTML API documentation using 'doxygen'."
@echo " analyze Performs static analysis with 'cppcheck'."
@echo " all All of the above."
@echo " distro shared libs and documentation (default target)."
@echo " install Install components (e.g. 'make prefix=<path> install')"
@echo " clean Removes intermediate products."
@echo " distclean Deletes all generated files."
Expand Down
5 changes: 0 additions & 5 deletions build.mk
Original file line number Diff line number Diff line change
Expand Up @@ -54,11 +54,6 @@ analyze:
@echo " [analyze]"
@cppcheck $(CPPFLAGS) $(CHECKOPTS) src

# Static code analysis via 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)
Expand Down

0 comments on commit 98d8e73

Please sign in to comment.