summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-07-14 23:51:44 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-07-14 23:51:44 -0700
commit09bebcb1de0fea76be8653bed427712fb615a610 (patch)
tree617c4dc109fd071915b5e1d6ce8a09ec30c9ec58
parenteb2fe43c5b0bdf11d8b526441b777fb456f108e2 (diff)
Added clang-check target.
-rw-r--r--Makefile8
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8b8aebc..4c8577c 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ VERSION?=$(SPECVERSION)
RELEASE?=CommonMark-$(VERSION)
INSTALL_PREFIX?=/usr/local
-.PHONY: all cmake_build spec leakcheck clean fuzztest dingus upload test update-site upload-site debug ubsan asan mingw archive bench astyle update-spec afl
+.PHONY: all cmake_build spec leakcheck clean fuzztest dingus upload test update-site upload-site debug ubsan asan mingw archive bench astyle update-spec afl clang-check
all: cmake_build man/man3/cmark.3
@@ -36,7 +36,8 @@ $(BUILDDIR):
cmake .. \
-G "$(GENERATOR)" \
-DCMAKE_BUILD_TYPE=$(BUILD_TYPE) \
- -DCMAKE_INSTALL_PREFIX=$(INSTALL_PREFIX)
+ -DCMAKE_INSTALL_PREFIX=$(INSTALL_PREFIX) \
+ -DCMAKE_EXPORT_COMPILE_COMMANDS=ON
install: $(BUILDDIR)
make -C $(BUILDDIR) install
@@ -77,6 +78,9 @@ afl:
-t 100 \
$(CMARK) $(CMARK_OPTS)
+clang-check:
+ find src -name '*.c' | xargs $$CLANG_CHECK_PATH/bin/clang-check -p build -analyze
+
mingw:
mkdir -p $(MINGW_BUILDDIR); \
cd $(MINGW_BUILDDIR); \