Commit 66b88ddd authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

gitlab-ci: Try reenabling PDF documentation on Darwin

Carter says that the builder issues have now been sorted.
parent 0ff42f3f
......@@ -126,8 +126,6 @@ validate-x86_64-darwin:
- bash .gitlab/
- PATH="`pwd`/toolchain/bin:$PATH"
# Disable sphinx PDF output as MacTeX apparently doesn't provide xelatex
- echo "BUILD_SPHINX_PDF=NO" >> mk/
- echo "libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp" >> mk/
- cp -Rf $HOME/.cabal cabal-cache
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