git.iko.soy/Idris-dev
on master help sign in
Add a make target to build an Idris without optimization
227e98aNiklas Larsson
Makefile+4−1
compare with master
unifiedsplit
@@ -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
2
2
3include config.mk
3include config.mk
4-include custom.mk
4-include custom.mk
@@ -66,5 +66,8 @@ user_doc_html:
66user_doc_pdf:
66user_doc_pdf:
67 $(MAKE) -C docs latexpdf
67 $(MAKE) -C docs latexpdf
68
68
69+fast:
70+ $(CABAL) install $(CABALFLAGS) --ghc-option=-O0
71+
69dist/setup-config:
72dist/setup-config:
70 $(CABAL) configure $(CABALFLAGS)
73 $(CABAL) configure $(CABALFLAGS)