diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-17 19:56:08 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-17 22:15:22 -0500 |
| commit | de115f90158b23eeff5c1d35f377a407c582eb79 (patch) | |
| tree | ce08f0b92731e17deaf0bbf8a54ec64cdc1e4a69 /.gitlab-ci.yml | |
| parent | 90ceafa8b9ad60e3c7b72cdd2dacdbeb96bdcddc (diff) | |
| download | haskell-de115f90158b23eeff5c1d35f377a407c582eb79.tar.gz | |
darwin: Build with in-tree GMP
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d41f05bc8e..37f62ab1eb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -95,6 +95,7 @@ validate-x86_64-darwin: - PATH="`pwd`/toolchain/bin:$PATH" # Disable sphinx PDF output as MacTeX apparently doesn't provide xelatex - echo "BUILD_SPHINX_PDF=NO" >> mk/build.mk + - echo "libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp" >> mk/build.mk after_script: - cp -Rf $HOME/.cabal cabal-cache artifacts: |