diff options
Diffstat (limited to 'validate')
-rwxr-xr-x | validate | 23 |
1 files changed, 1 insertions, 22 deletions
@@ -115,28 +115,7 @@ if [ $speed != "FAST" ]; then # bindistdir="bindisttest/install dir" - # This is a hack to make - # HADDOCK_DOCS = NO - # work when validating. - if grep -q "^HADDOCK_DOCS.*=.*NO" mk/validate.mk - then - unset WITH_HADDOCK - DO_HADDOCK=NO - else - WITH_HADDOCK=--with-haddock="$thisdir/$bindistdir/bin/haddock" - DO_HADDOCK=YES - fi - - cd libraries/transformers - "$thisdir/$bindistdir/bin/ghc" --make Setup - - ./Setup configure --with-ghc="$thisdir/$bindistdir/bin/ghc" ${WITH_HADDOCK+"$WITH_HADDOCK"} --global --builddir=dist-bindist --prefix="$thisdir/$bindistdir" - ./Setup build --builddir=dist-bindist - [ "$DO_HADDOCK" = "YES" ] && ./Setup haddock --builddir=dist-bindist - ./Setup install --builddir=dist-bindist - ./Setup clean --builddir=dist-bindist - rm -f Setup Setup.exe Setup.hi Setup.o - cd $thisdir + $make validate_build_transformers BINDIST_PREFIX="$thisdir/$bindistdir" fi fi # testsuite-only |