diff options
author | Alp Mestanogullari <alpmestan@gmail.com> | 2019-02-28 15:20:14 +0100 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-03-04 10:18:41 -0500 |
commit | 22c2713bcc30cea9da7d8b95f3ea99357d1551f7 (patch) | |
tree | a94938d22842886530265ddf6f8a7c49261cb954 /.gitlab-ci.yml | |
parent | e2ae52c34e81123dce9991fad393d96fd7b7af6a (diff) | |
download | haskell-22c2713bcc30cea9da7d8b95f3ea99357d1551f7.tar.gz |
Hadrian: track mingw, ship it in bindists, more robust install script
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1140c7cdf2..b6fb0c7bad 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -402,8 +402,6 @@ validate-x86_64-windows-hadrian: set MSYSTEM=MINGW64 python boot bash -c './configure --enable-tarballs-autodownload GHC=`pwd`/toolchain/bin/ghc HAPPY=`pwd`/toolchain/bin/happy ALEX=`pwd`/toolchain/bin/alex' - mkdir -p _build - cp -R inplace/mingw _build/mingw - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick" - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick --docs=no-sphinx docs # FIXME: Bindist disabled due to #16073 |