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 [ "$THREADS" = "" ]; then
  49     if [ "$CPUS" = "" ]; then
  50         threads=2
  51     else
  52         threads=$(($CPUS + 1)) # `expr $CPUS + 1`
  53     fi
  54 else
  55     threads="$THREADS"
  56 fi
  57
  58 if [ $testsuite_only -eq 0 ]; then
  59
  60 if [ $no_clean -eq 0 ]; then
  61     make maintainer-clean NO_CLEAN_GMP=YES
  62
  63     INSTDIR=`pwd`/inst
  64     if [ "$OSTYPE" = "cygwin" ]
  65     then
  66         INSTDIR=`cygpath -m "$INSTDIR"`
  67     fi
  68
  69     /usr/bin/perl -w boot
  70     ./configure --prefix="$INSTDIR" $config_args
  71 fi
  72
  73 thisdir=`utils/ghc-pwd/ghc-pwd`
  74
  75 echo "Validating=YES" > mk/are-validating.mk
  76
  77 make -j$threads ValidateHpc=$hpc ValidateSlow=$slow
  78
  79 make binary-dist-prep
  80 make test_bindist TEST_PREP=YES
  81
  82 fi # testsuite-only
  83
  84 if [ "$hpc" = YES ]
  85 then
  86     # XXX With threads we'd need to give a different tix file to each thread
  87     #     and then sum them up at the end
  88     threads=1
  89     HPCTIXFILE=$thisdir/testsuite/hpc_output/ghc.tix
  90     export HPCTIXFILE
  91     rm -f $HPCTIXFILE
  92 fi
  93
  94 make -C testsuite/tests/ghc-regress fast stage=2 CLEANUP=1 BINDIST=YES THREADS=$threads 2>&1 | tee testlog
  95
  96 if [ "$hpc" = YES ]
  97 then
  98     utils/hpc/hpc markup --hpcdir=. --srcdir=compiler --srcdir=testsuite/hpc_output --destdir=testsuite/hpc_output testsuite/hpc_output/ghc.tix
  99 fi
 100
 101 echo "-------------------------------------------------------------------"
 102 if
 103     grep '\<0 caused framework failures' testlog >/dev/null 2>/dev/null &&
 104     grep '\<0 unexpected passes' testlog >/dev/null 2>/dev/null &&
 105     grep '\<0 unexpected failures' testlog >/dev/null 2>/dev/null ; then
 106     if [ $testsuite_only -eq 0 ] && [ $no_clean -eq 0 ]
 107     then
 108         cat <<EOF
 109 Congratulations!  This tree has passed minimal testing.
 110
 111 NOTE: If you have made changes that may cause failures not tested for by
 112 the minimal testing procedure, please do further testing as necessary.
 113
 114 When you are satisfied that you haven't broken anything, go ahead and
 115 push/send your patches.
 116 EOF
 117         if grep -q "^[^#]" mk/validate.mk
 118         then
 119             cat <<EOF
 120
 121 WARNING: You seem to have things set in mk/validate.mk. Please check
 122 that it is OK before pushing.
 123 EOF
 124         fi
 125         cat <<EOF
 126 -------------------------------------------------------------------
 127 EOF
 128     else
 129         cat <<EOF
 130 I didn't find any problems, but this wasn't a complete validate run,
 131 so be careful!
 132
 133 NOTE: If you have made changes that may cause failures not tested for by
 134 the minimal testing procedure, please do further testing as necessary.
 135 -------------------------------------------------------------------
 136 EOF
 137    fi
 138 else
 139     cat <<EOF
 140 Oops!  Looks like you have some unexpected test results or framework failures.
 141 Please fix them before pushing/sending patches.
 142 -------------------------------------------------------------------
 143 EOF
 144     exit 1
 145 fi
 146