summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-09-06 18:12:48 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-09-07 09:34:32 -0400
commit10434d60c62fee7212f08bffde624702f81e93cf (patch)
tree789cf9b38cfc0dfc8a1cd24519fdc497780b70f4 /.gitlab
parentc5413fc62342f05d48e62f92c81a7f8a3259d3d7 (diff)
downloadhaskell-10434d60c62fee7212f08bffde624702f81e93cf.tar.gz
gitlab-ci: Configure bignum backend in Hadrian builds
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/ci.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index f031c5f03f..81086d2ce1 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -427,10 +427,12 @@ function clean() {
}
function run_hadrian() {
+ if [ -z "$BIGNUM_BACKEND" ]; then BIGNUM_BACKEND="gmp"; fi
run hadrian/build-cabal \
--flavour="$FLAVOUR" \
-j"$cores" \
--broken-test="$BROKEN_TESTS" \
+ --bignum=$BIGNUM_BACKEND \
$HADRIAN_ARGS \
$@
}