From: Simon Marlow <simonmar@microsoft.com>
Date: Sat, 7 Jul 2007 19:18:53 +0000 (+0000)
Subject: allow build settings to be overriden by adding mk/validate.mk
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=8a2809c29de9f23eba7ca682b48390033a9d40f6;hp=8100c58a929d993d2dd7022412ed6113cf97fba7

allow build settings to be overriden by adding mk/validate.mk
---

diff --git a/validate b/validate
index 73bef52..3f07403 100644
--- a/validate
+++ b/validate
@@ -7,9 +7,15 @@ fi
 if [ -f mk/build.mk ]; then
    mv mk/build.mk mk/build.mk.bak
 fi
+
+# The default is a "quick" build
 echo BuildFlavour=quick >mk/build.mk
 cat mk/build.mk.sample >>mk/build.mk
 
+# You can override the default validate settings using mk/validate.mk
+# e.g. you could add GhcLibWays=p to test profiling.
+echo '-include $(TOP)/mk/validate.mk' >>mk/build.mk
+
 sh boot
 ./configure
 # ToDo: configure args