summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-09-18 14:00:02 -0400
committerBen Gamari <ben@smart-cactus.org>2020-09-22 17:05:52 -0400
commitd4d44edbe4f9acbd523b3cc049f9a6ac3f7f0ddd (patch)
tree0cd9ad3b6c6689848763fc534b1f29f2cdba5678 /.gitlab
parent17740c20e4c8e78add9e425910ac6546ffaeba03 (diff)
downloadhaskell-d4d44edbe4f9acbd523b3cc049f9a6ac3f7f0ddd.tar.gz
gitlab-ci: Ensure that cabal-install overwrites existing executables
Previously cabal-install wouldn't overwrite toolchain executables if they already existed (as they likely would due to caching). (cherry picked from commit 2f7ef2fb3234cdfb89b3da1298fc9c1b7381e418)
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/ci.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 095043149d..102f18bada 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -282,7 +282,12 @@ function fetch_cabal() {
function setup_toolchain() {
fetch_ghc
fetch_cabal
- cabal_install="$CABAL v2-install --index-state=$hackage_index_state --installdir=$toolchain/bin"
+
+ cabal_install="$CABAL v2-install \
+ --index-state=$hackage_index_state \
+ --installdir=$toolchain/bin \
+ --overwrite-policy=always"
+
# Avoid symlinks on Windows
case "$(uname)" in
MSYS_*|MINGW*) cabal_install="$cabal_install --install-method=copy" ;;