summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 7b1773d..23d498f 100644
--- a/Makefile
+++ b/Makefile
@@ -7,14 +7,15 @@ SITE=_site
BUILDDIR=build
FUZZCHARS?=2000000 # for fuzztest
PROG?=$(BUILDDIR)/src/cmark
+BUILDTYPE?=Release
.PHONY: all spec leakcheck clean fuzztest dingus upload jshint test testjs benchjs update-site upload-site check
all: check man/man1/cmark.1
- mkdir -p $(BUILDDIR); cd build; cmake ..; make
+ mkdir -p $(BUILDDIR); cd build; cmake .. -DCMAKE_BUILD_TYPE=$(BUILDTYPE); make
install: check
- mkdir -p $(BUILDDIR); cd build; cmake ..; make install
+ mkdir -p $(BUILDDIR); cd build; cmake .. -DCMAKE_BUILD_TYPE=$(BUILDTYPE); make install
clean:
rm -rf $(BUILDDIR)