diff options
author | Ben Gamari <ben@well-typed.com> | 2023-01-12 03:55:31 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-13 00:47:12 -0500 |
commit | 756a66ec0875b675bd3256d46d57419827312426 (patch) | |
tree | 1093d5a46d617a69c48e61690f5192f0c79315e1 /.gitlab | |
parent | df33c13c802cdb846e1377e61bebaebe8955ff15 (diff) | |
download | haskell-756a66ec0875b675bd3256d46d57419827312426.tar.gz |
gitlab-ci: Pass -w to cabal update
Due to cabal#8447, cabal-install 3.8.1.0 requires a compiler to run
`cabal update`.
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 19afcdb5f6..3599aabd82 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -236,7 +236,9 @@ function set_toolchain_paths() { } function cabal_update() { - run "$CABAL" update --index="$HACKAGE_INDEX_STATE" + # In principle -w shouldn't be necessary here but with + # cabal-install 3.8.1.0 it is, due to cabal#8447. + run "$CABAL" update -w "$GHC" --index="$HACKAGE_INDEX_STATE" } |