Fix 32bit numbers (again)
[ghc.git] / validate
index 95425d3..889c0e8 100755 (executable)
--- 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;;
@@ -82,8 +89,7 @@ check_packages () {
 
 if ! [ -d testsuite ]
 then
-    echo 'You need the testsuite to validate' >&2
-    echo 'Run "./sync-all --testsuite get" to get it' >&2
+    echo 'Could not find the testsuite for validation' >&2
     exit 1
 fi
 
@@ -115,7 +121,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