Allow dph to be disabled
authorIan Lynagh <ian@well-typed.com>
Sun, 9 Jun 2013 11:40:21 +0000 (12:40 +0100)
committerIan Lynagh <ian@well-typed.com>
Sun, 9 Jun 2013 11:40:21 +0000 (12:40 +0100)
ghc.mk

diff --git a/ghc.mk b/ghc.mk
index f84e4a3..2e1ebb9 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -1,4 +1,6 @@
 
+ifneq "$(libraries/dph_NOT_NEEDED)" "YES"
+
 DPH_DIR  = libraries/dph
 
 # -----------------------------------------------------------------------------
@@ -131,3 +133,6 @@ endef
 ifneq "$(CLEANING)" "YES"
 $(foreach way, $(GhcLibWays), $(eval $(call dph_th_deps,$(way))))
 endif
+
+endif
+