diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-09-06 18:12:48 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-07 09:34:32 -0400 |
| commit | 10434d60c62fee7212f08bffde624702f81e93cf (patch) | |
| tree | 789cf9b38cfc0dfc8a1cd24519fdc497780b70f4 /.gitlab | |
| parent | c5413fc62342f05d48e62f92c81a7f8a3259d3d7 (diff) | |
| download | haskell-10434d60c62fee7212f08bffde624702f81e93cf.tar.gz | |
gitlab-ci: Configure bignum backend in Hadrian builds
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 2 |
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 \ $@ } |