summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorAustin Seipp <aseipp@pobox.com>2013-09-04 13:15:40 -0500
committerAustin Seipp <aseipp@pobox.com>2013-09-04 13:15:43 -0500
commit6fff2166d4a45b74d37eee2fa2d03b48e5970350 (patch)
treed377e5722d39fe1ccd123daa24ae031357f51c96 /validate
parent9e133b9dccec0553c6ec302d6ca0d3bc5eea06c4 (diff)
downloadhaskell-6fff2166d4a45b74d37eee2fa2d03b48e5970350.tar.gz
Add a --no-dph flag to ./validate
Under --slow, the DPH tests can take incredible amounts of time to run. And on some platforms, we may not have a fully working linker in order to build DPH etc anyway. So this provides a way to turn it off. This flag is off by default, but should your specify it, you can skip the required 'dph' libraries in a build, should you remove them from the source tree. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate13
1 files changed, 12 insertions, 1 deletions
diff --git a/validate b/validate
index 95425d3770..eafbdb9b71 100755
--- a/validate
+++ b/validate
@@ -22,6 +22,9 @@ Flags:
--fast Omit dyn way, omit binary distribution
--slow Build stage2 with -DDEBUG.
2008-07-01: 14% slower than the default.
+ --no-dph: Skip requiring libraries/dph. 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.
--help shows this usage help.
Set environment variable 'CPUS' to number of cores, to exploit
@@ -36,6 +39,7 @@ no_clean=0
testsuite_only=0
hpc=NO
speed=NORMAL
+skip_dph=0
while [ $# -gt 0 ]
do
@@ -58,6 +62,9 @@ do
--normal)
speed=NORMAL
;;
+ --no-dph)
+ skip_dph=1
+ ;;
--help)
show_help
exit 0;;
@@ -115,7 +122,11 @@ if [ $no_clean -eq 0 ]; then
INSTDIR=`cygpath -m "$INSTDIR"`
fi
- /usr/bin/perl -w boot --validate --required-tag=dph
+ if [ $skip_dph -eq 1 ]; then
+ /usr/bin/perl -w boot --validate
+ else
+ /usr/bin/perl -w boot --validate --required-tag=dph
+ fi
./configure --prefix="$INSTDIR" $config_args
fi