summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2015-07-10 19:15:49 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2015-07-14 00:31:05 +0200
commit392ff06d4bc47bcd731404a48355d8b165609293 (patch)
tree4236924693cb96c6ca1aa75096cdc81ff37bcb3c /validate
parent47ebe267e8f78eee68333ba12a83d4fa6d763c3b (diff)
downloadhaskell-392ff06d4bc47bcd731404a48355d8b165609293.tar.gz
Build system: do not build stm and parallel by default
stm and parallel have an 'extra' tag in the ./packages file, so would get added to PACKAGES_STAGE2 by default, and subsequently build by the stage2 compiler. With this patch, this happens only when you set BUILD_EXTRA_PKGS=YES in build.mk. A normal validate still builds (and tests) the 'extra' packages, but they are skipped for `validate --fast`. Maybe this brings us closer to finishing within the 50 minute Travis limit as well. We can later try to give random, primitive and vector an 'extra' tag as well (now they have a 'dph' tag), but some tests will probably fail at first. Differential Revision: https://phabricator.haskell.org/D1065
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate5
1 files changed, 5 insertions, 0 deletions
diff --git a/validate b/validate
index fbf3c1be63..e72a578023 100755
--- a/validate
+++ b/validate
@@ -171,6 +171,11 @@ echo "ValidateSpeed=$speed" >> mk/are-validating.mk
echo "ValidateHpc=$hpc" >> mk/are-validating.mk
echo "V=0" >> mk/are-validating.mk # Less gunk
+if [ $speed != "FAST" ]; then
+ # Build the "extra" packages (see ./packages), to enable more tests.
+ echo "BUILD_EXTRA_PKGS=YES" >> mk/are-validating.mk
+fi
+
if [ $use_dph -eq 1 ]; then
echo "BUILD_DPH=YES" >> mk/are-validating.mk
else