validate

   1 #!/bin/sh
   2
   3 # Flags:
   4 #   --no-clean:       don't make clean first, just carry on from
   5 #                     a previous interrupted validation run
   6 #   --testsuite-only: don't build the compiler, just run
   7 #                     the test suite
   8 #   --hpc:            build stage2 with -fhpc, and see how much of the
   9 #                     compiler the test suite covers.
  10 #                     2008-07-01: 63% slower than the default.
  11 #                     HTML generated here: testsuite/hpc_output/hpc_index.html
  12 #   --fast:           Default. Opposite to --slow.
  13 #   --slow:           Build stage2 with -DDEBUG.
  14 #                     2008-07-01: 14% slower than the default.
  15
  16 set -e
  17
  18 no_clean=0
  19 testsuite_only=0
  20 hpc=NO
  21 slow=NO
  22
  23 while [ $# -gt 0 ]
  24 do
  25     case "$1" in
  26     --no-clean)
  27         no_clean=1
  28         ;;
  29     --testsuite-only)
  30         testsuite_only=1
  31         ;;
  32     --hpc)
  33         hpc=YES
  34         ;;
  35     --slow)
  36         slow=YES
  37         ;;
  38     --fast)
  39         slow=NO
  40         ;;
  41     *)
  42         echo "Bad argument: $1" >&2
  43         exit 1;;
  44     esac
  45     shift
  46 done
  47
  48 if [ "$CPUS" = "" ]; then
  49     threads=2
  50 else
  51     threads=`expr $CPUS + 1`
  52 fi
  53
  54 if [ $testsuite_only -eq 0 ]; then
  55
  56 if [ $no_clean -eq 0 ]; then
  57     if [ -f mk/config.mk ]; then
  58         make distclean
  59     fi
  60
  61     case $OSTYPE in
  62         cygwin|msys) config_args=--build=i386-unknown-mingw32
  63             if [ -f c:/mingw/bin/gcc.exe ]
  64             then
  65                 config_args="$config_args --with-gcc=c:/mingw/bin/gcc"
  66             fi
  67             ;;
  68     esac
  69
  70     sh boot
  71     ./configure "--prefix=`pwd`/inst" $config_args
  72 fi
  73
  74 thisdir=`utils/pwd/pwd forwardslash`
  75
  76 echo "Validating=YES" > mk/are-validating.mk
  77
  78 make -j$threads ValidateHpc=$hpc ValidateSlow=$slow
  79 fi # testsuite-only
  80
  81 if [ "$hpc" = YES ]
  82 then
  83     # XXX With threads we'd need to give a different tix file to each thread
  84     #     and then sum them up at the end
  85     threads=1
  86     HPCTIXFILE=$thisdir/testsuite/hpc_output/ghc.tix
  87     export HPCTIXFILE
  88     rm -f $HPCTIXFILE
  89 fi
  90
  91 make -C testsuite/tests/ghc-regress fast stage=2 CLEANUP=1 THREADS=$threads 2>&1 | tee testlog
  92
  93 if [ "$hpc" = YES ]
  94 then
  95     utils/hpc/hpc markup --hpcdir=. --srcdir=compiler --srcdir=testsuite/hpc_output --destdir=testsuite/hpc_output testsuite/hpc_output/ghc.tix
  96 fi
  97
  98 echo "-------------------------------------------------------------------"
  99 if
 100     grep '\<0 caused framework failures' testlog >/dev/null 2>/dev/null &&
 101     grep '\<0 unexpected passes' testlog >/dev/null 2>/dev/null &&
 102     grep '\<0 unexpected failures' testlog >/dev/null 2>/dev/null ; then
 103     if [ $testsuite_only -eq 0 ] && [ $no_clean -eq 0 ]
 104     then
 105         cat <<EOF
 106 Congratulations!  This tree has passed minimal testing.
 107
 108 NOTE: If you have made changes that may cause failures not tested for by
 109 the minimal testing procedure, please do further testing as necessary.
 110
 111 When you are satisfied that you haven't broken anything, go ahead and
 112 push/send your patches.
 113 EOF
 114         if grep -q "^[^#]" mk/validate.mk
 115         then
 116             cat <<EOF
 117
 118 WARNING: You seem to have things set in mk/validate.mk. Please check
 119 that it is OK before pushing.
 120 EOF
 121         fi
 122     else
 123         cat <<EOF
 124 I didn't find any problems, but this wasn't a complete validate run,
 125 so be careful!
 126
 127 NOTE: If you have made changes that may cause failures not tested for by
 128 the minimal testing procedure, please do further testing as necessary.
 129 EOF
 130    fi
 131 else
 132     cat <<EOF
 133 Oops!  Looks like you have some unexpected test results or framework failures.
 134 Please fix them before pushing/sending patches.
 135 EOF
 136 fi
 137 echo "-------------------------------------------------------------------"
 138