summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-06-01 16:04:56 -0400
committerBen Gamari <ben@smart-cactus.org>2020-06-01 16:07:02 -0400
commit120aedbdff7dbb9b394dadabb1f431608b42de67 (patch)
tree6e018a6c0055471c1d017e08c5c49a23bf3eea23
parentc68e7e1e4c0bddd8b07cd8a2b3651c8cbb4b7851 (diff)
downloadhaskell-120aedbdff7dbb9b394dadabb1f431608b42de67.tar.gz
gitlab-ci: Disable use of ld.lld on ARMv7wip/T18280
It turns out that lld non-deterministically fails on ARMv7. I suspect this may be due to the a kernel regression as this only started happening when we upgraded to 5.4. Nevertheless, easily avoided by simply sticking with gold. Works around #18280.
-rw-r--r--.gitlab-ci.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bfa97897bd..de311ce1ea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -482,7 +482,9 @@ nightly-aarch64-linux-deb9:
variables:
TEST_ENV: "armv7-linux-deb9"
BIN_DIST_PREP_TAR_COMP: "ghc-armv7-linux-deb9.tar.xz"
- CONFIGURE_ARGS: "--host=armv7-linux-gnueabihf --build=armv7-linux-gnueabihf --target=armv7-linux-gnueabihf"
+ # N.B. We disable ld.lld explicitly here because it appears to fail
+ # non-deterministically on ARMv7. See #18280.
+ CONFIGURE_ARGS: "--host=armv7-linux-gnueabihf --build=armv7-linux-gnueabihf --target=armv7-linux-gnueabihf LD=ld.gold GccUseLdOpt=-fuse-ld=gold"
cache:
key: linux-armv7-deb9
tags: