X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=validate;h=3ca888fba149584b339f8d1618456a01a91e5c8a;hp=3f074033413cbf7852451a14583cfb991fdb52cd;hb=e5c3b478b3cd1707cf122833822f44b2ac09b8e9;hpb=8a2809c29de9f23eba7ca682b48390033a9d40f6 diff --git a/validate b/validate old mode 100644 new mode 100755 index 3f07403..3ca888f --- a/validate +++ b/validate @@ -1,43 +1,175 @@ -#!/bin/sh -e +#!/bin/sh -if [ -f mk/config.mk ]; then - make distclean +# Flags: +# --no-clean: don't make clean first, just carry on from +# a previous interrupted validation run +# --testsuite-only: don't build the compiler, just run +# the test suite +# --hpc: build stage2 with -fhpc, and see how much of the +# compiler the test suite covers. +# 2008-07-01: 63% slower than the default. +# HTML generated here: testsuite/hpc_output/hpc_index.html +# --fast: Default. Opposite to --slow. +# --slow: Build stage2 with -DDEBUG. +# 2008-07-01: 14% slower than the default. + +set -e + +no_clean=0 +testsuite_only=0 +hpc=NO +slow=NO + +while [ $# -gt 0 ] +do + case "$1" in + --no-clean) + no_clean=1 + ;; + --testsuite-only) + testsuite_only=1 + ;; + --hpc) + hpc=YES + ;; + --slow) + slow=YES + ;; + --fast) + slow=NO + ;; + *) + echo "Bad argument: $1" >&2 + exit 1;; + esac + shift +done + +if [ "$THREADS" = "" ]; then + if [ "$CPUS" = "" ]; then + threads=2 + else + threads=$(($CPUS + 1)) # `expr $CPUS + 1` + fi +else + threads="$THREADS" +fi + +if type gmake > /dev/null 2> /dev/null +then + make="gmake" +else + make="make" +fi + +if [ $testsuite_only -eq 0 ]; then + +if [ $no_clean -eq 0 ]; then + $make maintainer-clean NO_CLEAN_GMP=YES + + INSTDIR=`pwd`/inst + if [ "$OSTYPE" = "cygwin" ] + then + INSTDIR=`cygpath -m "$INSTDIR"` + fi + + /usr/bin/perl -w boot --validate --required-tag=dph + ./configure --prefix="$INSTDIR" $config_args +fi + +thisdir=`utils/ghc-pwd/dist-boot/ghc-pwd` + +echo "Validating=YES" > mk/are-validating.mk + +$make -j$threads ValidateHpc=$hpc ValidateSlow=$slow + +$make binary-dist-prep +$make test_bindist TEST_PREP=YES + +# +# Install the mtl package into the bindist, because it is used by some +# tests. It isn't essential that we do this (the failing tests will +# be treated as expected failures), but we get a bit more test +# coverage, and also verify that we can install a package into the +# bindist with Cabal. +# +bindistdir="bindisttest/install dir" +cd libraries/mtl +"$thisdir/$bindistdir/bin/runhaskell" Setup.hs configure --with-ghc="$thisdir/$bindistdir/bin/ghc" --global --builddir=dist-bindist --prefix="$thisdir/$bindistdir" +"$thisdir/$bindistdir/bin/runhaskell" Setup.hs build --builddir=dist-bindist +"$thisdir/$bindistdir/bin/runhaskell" Setup.hs install --builddir=dist-bindist +"$thisdir/$bindistdir/bin/runhaskell" Setup.hs clean --builddir=dist-bindist +cd $thisdir + +fi # testsuite-only + +if [ "$hpc" = YES ] +then + # XXX With threads we'd need to give a different tix file to each thread + # and then sum them up at the end + threads=1 + HPCTIXFILE=$thisdir/testsuite/hpc_output/ghc.tix + export HPCTIXFILE + rm -f $HPCTIXFILE fi -if [ -f mk/build.mk ]; then - mv mk/build.mk mk/build.mk.bak +if [ "$slow" = YES ] +then +MAKE_TEST_TARGET=fulltest +else +MAKE_TEST_TARGET=test fi -# The default is a "quick" build -echo BuildFlavour=quick >mk/build.mk -cat mk/build.mk.sample >>mk/build.mk - -# You can override the default validate settings using mk/validate.mk -# e.g. you could add GhcLibWays=p to test profiling. -echo '-include $(TOP)/mk/validate.mk' >>mk/build.mk - -sh boot -./configure -# ToDo: configure args - -make -j2 - -make -C testsuite/tests/ghc-regress fast stage=2 2>&1 | tee testlog - -if grep '0 unexpected failures' testlog >/dev/null 2>/dev/null; then - echo "-------------------------------------------------------------------" - echo "Congratulations! This tree is has passed minimal testing." - echo - echo "NOTE: If you have made changes that may cause failures not tested" - echo "for by the minimal testing procedure, please do further testing" - echo "as necessary." - echo - echo "When you are satisfied that you haven't broken anything, go ahead" - echo "and push/send your patches". - echo "-------------------------------------------------------------------" +$make $MAKE_TEST_TARGET stage=2 BINDIST=YES THREADS=$threads 2>&1 | tee testlog + +if [ "$hpc" = YES ] +then + utils/hpc/hpc markup --hpcdir=. --srcdir=compiler --srcdir=testsuite/hpc_output --destdir=testsuite/hpc_output testsuite/hpc_output/ghc.tix +fi + +echo "-------------------------------------------------------------------" +if + grep '\<0 caused framework failures' testlog >/dev/null 2>/dev/null && + grep '\<0 unexpected passes' testlog >/dev/null 2>/dev/null && + grep '\<0 unexpected failures' testlog >/dev/null 2>/dev/null ; then + if [ $testsuite_only -eq 0 ] && [ $no_clean -eq 0 ] + then + cat <