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