diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-10 13:41:51 -0800 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-10 13:41:51 -0800 |
commit | 1e1a96d7607ac77759070dcac5e0cb2b72c4ddaa (patch) | |
tree | 736a0b04d2d8b2b07e8bf71309919f421a9a8f01 /Makefile | |
parent | 6d2137fd8a43dd82eb494efc59d2c2ffdb05138b (diff) |
Added BUILDTYPE to Makefile, default to Release.
Previously we weren't building with release flags.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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) |