X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=validate;h=42bb9b5720becb140dad69665b0a00a05e2eea7d;hp=39fa819cd13dac705f9f4f4aaecdb940812b5408;hb=851ad01c2415c44dd52441f65668de82adb5da66;hpb=17c564cd00a506080b4f8436c0153296a3c86766 diff --git a/validate b/validate index 39fa819..42bb9b5 100644 --- a/validate +++ b/validate @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e if [ -f mk/config.mk ]; then make distclean @@ -16,12 +18,30 @@ cat mk/build.mk.sample >>mk/build.mk # e.g. you could add GhcLibWays=p to test profiling. echo '-include $(TOP)/mk/validate.mk' >>mk/build.mk +case $OSTYPE in + cygwin|msys) config_args=--build=i386-unknown-mingw32 + if [ -f c:/mingw/bin/gcc.exe ]; then + config_args="$config_args --with-gcc=c:/mingw/bin/gcc" + fi + ;; +esac + +if [ "$CPUS" = "" ]; then + # ToDo: make -j doesn't work in libraries/ on Windows (see #1559) + case $OSTYPE in + cygwin|msys) threads=1;; + *) threads=2;; + esac +else + threads=`expr $CPUS + 1` +fi + sh boot -./configure -# ToDo: configure args +./configure $config_args -make -j2 +make -j$threads +# ToDo: use THREADS=$threads, see #1558 make -C testsuite/tests/ghc-regress fast stage=2 CLEANUP=1 2>&1 | tee testlog if