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
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.
42 echo "Bad argument: $1" >&2
48 if [ "$CPUS" = "" ]; then
51 threads=$(($CPUS + 1)) # `expr $CPUS + 1`
54 if [ $testsuite_only -eq 0 ]; then
56 if [ $no_clean -eq 0 ]; then
57 make maintainer-clean NO_CLEAN_GMP=YES
60 if [ "$OSTYPE" = "cygwin" ]
62 INSTDIR=`cygpath -m "$INSTDIR"`
66 ./configure --prefix="$INSTDIR" $config_args
69 thisdir=`utils/ghc-pwd/ghc-pwd`
71 echo "Validating=YES" > mk/are-validating.mk
73 make -j$threads ValidateHpc=$hpc ValidateSlow=$slow
78 # XXX With threads we'd need to give a different tix file to each thread
79 # and then sum them up at the end
81 HPCTIXFILE=$thisdir/testsuite/hpc_output/ghc.tix
87 make -C bindisttest TEST_PREP=YES
89 make -C testsuite/tests/ghc-regress fast stage=2 CLEANUP=1 THREADS=$threads 2>&1 | tee testlog
93 utils/hpc/hpc markup --hpcdir=. --srcdir=compiler --srcdir=testsuite/hpc_output --destdir=testsuite/hpc_output testsuite/hpc_output/ghc.tix
96 echo "-------------------------------------------------------------------"
98 grep '\<0 caused framework failures' testlog >/dev/null 2>/dev/null &&
99 grep '\<0 unexpected passes' testlog >/dev/null 2>/dev/null &&
100 grep '\<0 unexpected failures' testlog >/dev/null 2>/dev/null ; then
101 if [ $testsuite_only -eq 0 ] && [ $no_clean -eq 0 ]
104 Congratulations! This tree has passed minimal testing.
106 NOTE: If you have made changes that may cause failures not tested for by
107 the minimal testing procedure, please do further testing as necessary.
109 When you are satisfied that you haven't broken anything, go ahead and
110 push/send your patches.
112 if grep -q "^[^#]" mk/validate.mk
116 WARNING: You seem to have things set in mk/validate.mk. Please check
117 that it is OK before pushing.
121 -------------------------------------------------------------------
125 I didn't find any problems, but this wasn't a complete validate run,
128 NOTE: If you have made changes that may cause failures not tested for by
129 the minimal testing procedure, please do further testing as necessary.
130 -------------------------------------------------------------------
135 Oops! Looks like you have some unexpected test results or framework failures.
136 Please fix them before pushing/sending patches.
137 -------------------------------------------------------------------