projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
8100c58
)
allow build settings to be overriden by adding mk/validate.mk
author
Simon Marlow
<simonmar@microsoft.com>
Sat, 7 Jul 2007 19:18:53 +0000
(19:18 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Sat, 7 Jul 2007 19:18:53 +0000
(19:18 +0000)
validate
patch
|
blob
|
history
diff --git
a/validate
b/validate
index
73bef52
..
3f07403
100644
(file)
--- a/
validate
+++ b/
validate
@@
-7,9
+7,15
@@
fi
if [ -f mk/build.mk ]; then
mv mk/build.mk mk/build.mk.bak
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
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
sh boot
./configure
# ToDo: configure args