Merge pull request #2436 from melted/make_fast
Add a make target to build an Idris without optimization
commitc720cf9a21b5467c5218be602c257b4c5157352d
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 13 Jul 2015, 18:10 (11 years ago)
parent8cecf20227e98a
Makefile+4−1
@@ -1,4 +1,4 @@
1−.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test_c test lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs
1+.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast test_c test lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs
22
33include config.mk
44-include custom.mk
@@ -66,5 +66,8 @@ user_doc_html:
6666user_doc_pdf:
6767 $(MAKE) -C docs latexpdf
6868
69+fast:
70+ $(CABAL) install $(CABALFLAGS) --ghc-option=-O0
71+
6972dist/setup-config:
7073 $(CABAL) configure $(CABALFLAGS)