[commit: ghc] master: Add a --no-dph flag to ./validate (6fff216)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6fff2166d4a45b74d37eee2fa2d03b48e5970350/ghc

>---------------------------------------------------------------

commit 6fff2166d4a45b74d37eee2fa2d03b48e5970350
Author: Austin Seipp <aseipp at pobox.com>
Date:   Wed Sep 4 13:15:40 2013 -0500

    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 at pobox.com>


>---------------------------------------------------------------

6fff2166d4a45b74d37eee2fa2d03b48e5970350
 validate |   13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/validate b/validate
index 95425d3..eafbdb9 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