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