A few bug fixes; some improvements spurred by paper writing
[ghc.git] / 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) * 2)) # `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