Re-merge concurrent,timeout,unique,st,getopt into base
[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=`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     else
115         cat <<EOF
116 I didn't find any problems, but this wasn't a complete validate run,
117 so be careful!
118
119 NOTE: If you have made changes that may cause failures not tested for by
120 the minimal testing procedure, please do further testing as necessary.
121 EOF
122    fi
123 else
124     cat <<EOF
125 Oops!  Looks like you have some unexpected test results or framework failures.
126 Please fix them before pushing/sending patches.
127 EOF
128 fi
129 echo "-------------------------------------------------------------------"
130