gitlab-ci: Try reenabling PDF documentation on Darwin
authorBen Gamari <ben@smart-cactus.org>
Sun, 30 Dec 2018 18:49:47 +0000 (13:49 -0500)
committerBen Gamari <ben@smart-cactus.org>
Sun, 6 Jan 2019 12:27:09 +0000 (07:27 -0500)
Carter says that the builder issues have now been sorted.

.gitlab-ci.yml

index 05d32ad..a18757b 100644 (file)
@@ -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