diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 05d32ada71..a18757b3dc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -126,8 +126,6 @@ validate-x86_64-darwin: - bash .gitlab/darwin-init.sh - 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 |