Commit de115f90 authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

darwin: Build with in-tree GMP

parent 90ceafa8
...@@ -95,6 +95,7 @@ validate-x86_64-darwin: ...@@ -95,6 +95,7 @@ validate-x86_64-darwin:
- PATH="`pwd`/toolchain/bin:$PATH" - PATH="`pwd`/toolchain/bin:$PATH"
# Disable sphinx PDF output as MacTeX apparently doesn't provide xelatex # Disable sphinx PDF output as MacTeX apparently doesn't provide xelatex
- echo "BUILD_SPHINX_PDF=NO" >> mk/build.mk - echo "BUILD_SPHINX_PDF=NO" >> mk/build.mk
- echo "libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp" >> mk/build.mk
after_script: after_script:
- cp -Rf $HOME/.cabal cabal-cache - cp -Rf $HOME/.cabal cabal-cache
artifacts: artifacts:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment