summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2014-08-10 14:10:22 -0500
committerAustin Seipp <austin@well-typed.com>2014-08-10 15:39:15 -0500
commitbb003086599c2ac166cfb3aa710480713adb5a2f (patch)
treecb8850f23e3505885594561daa14606c22ef6040 /validate
parentba3650c8d4980a59c35203ed129a5bbed61e6fa1 (diff)
downloadhaskell-bb003086599c2ac166cfb3aa710480713adb5a2f.tar.gz
Don't build or test dph by default
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate23
1 files changed, 10 insertions, 13 deletions
diff --git a/validate b/validate
index cabb86c7d3..3e1fde66b3 100755
--- a/validate
+++ b/validate
@@ -22,10 +22,7 @@ Flags:
--fast Omit dyn way, omit binary distribution
--slow Build stage2 with -DDEBUG.
2008-07-01: 14% slower than the default.
- --no-dph: Skip building libraries/dph and running associated tests.
- In --slow mode, these tests can take a substantial amount
- of time, and on some platforms with broken linkers, we
- don't want to try compiling it.
+ --dph: Also build libraries/dph and run associated tests.
--help shows this usage help.
Set environment variable 'CPUS' to number of cores, to exploit
@@ -40,7 +37,7 @@ no_clean=0
testsuite_only=0
hpc=NO
speed=NORMAL
-skip_dph=0
+use_dph=0
while [ $# -gt 0 ]
do
@@ -63,8 +60,8 @@ do
--normal)
speed=NORMAL
;;
- --no-dph)
- skip_dph=1
+ --dph)
+ use_dph=1
;;
--help)
show_help
@@ -122,10 +119,10 @@ if [ $no_clean -eq 0 ]; then
INSTDIR=`cygpath -m "$INSTDIR"`
fi
- if [ $skip_dph -eq 1 ]; then
- /usr/bin/perl -w boot --validate
- else
+ if [ $use_dph -eq 1 ]; then
/usr/bin/perl -w boot --validate --required-tag=dph
+ else
+ /usr/bin/perl -w boot --validate
fi
./configure --prefix="$INSTDIR" $config_args
fi
@@ -136,10 +133,10 @@ echo "Validating=YES" > mk/are-validating.mk
echo "ValidateSpeed=$speed" >> mk/are-validating.mk
echo "ValidateHpc=$hpc" >> mk/are-validating.mk
-if [ $skip_dph -eq 1 ]; then
- echo "BUILD_DPH=NO" >> mk/are-validating.mk
-else
+if [ $use_dph -eq 1 ]; then
echo "BUILD_DPH=YES" >> mk/are-validating.mk
+else
+ echo "BUILD_DPH=NO" >> mk/are-validating.mk
fi
$make -j$threads