Commit f0a22790 authored by Willem Thiart's avatar Willem Thiart
Browse files

Add make infer

parent a7a8291e
......@@ -18,6 +18,7 @@ SHAREDFLAGS = -dynamiclib
SHAREDEXT = dylib
# We need to include the El Capitan specific /usr/includes, aargh
CFLAGS += -I/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/usr/include/
CFLAGS += -I/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.12.sdk/usr/include
CFLAGS += -fsanitize=address
else
SHAREDFLAGS = -shared
......@@ -60,6 +61,14 @@ tests: src/raft_server.c src/raft_server_properties.c src/raft_log.c src/raft_no
amalgamation:
./scripts/amalgamate.sh > raft.h
.PHONY: infer
infer: do_infer
.PHONY: do_infer
do_infer:
make clean
infer -- make static
clean:
@rm -f $(TEST_DIR)/main_test.c *.o $(GCOV_OUTPUT); \
if [ -f "libraft.$(SHAREDEXT)" ]; then rm libraft.$(SHAREDEXT); fi;\
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment