summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2014-11-10 13:41:51 -0800
committerJohn MacFarlane <fiddlosopher@gmail.com>2014-11-10 13:41:51 -0800
commit1e1a96d7607ac77759070dcac5e0cb2b72c4ddaa (patch)
tree736a0b04d2d8b2b07e8bf71309919f421a9a8f01
parent6d2137fd8a43dd82eb494efc59d2c2ffdb05138b (diff)
Added BUILDTYPE to Makefile, default to Release.
Previously we weren't building with release flags.
-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)