darwin: Build with in-tree GMP
authorBen Gamari <ben@smart-cactus.org>
Tue, 18 Dec 2018 00:56:08 +0000 (19:56 -0500)
committerBen Gamari <ben@smart-cactus.org>
Tue, 18 Dec 2018 03:15:22 +0000 (22:15 -0500)
.gitlab-ci.yml

index d41f05b..37f62ab 100644 (file)
@@ -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: