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