diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-30 13:49:47 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-01-06 07:27:09 -0500 |
| commit | 66b88dddb3188cc63b4b4f4f065b6548aedfa403 (patch) | |
| tree | 4677c18283fc908ba6622365902f101c9aa761d4 | |
| parent | 0ff42f3f6e85c1c3beca3bd9c5c034b667243239 (diff) | |
| download | haskell-66b88dddb3188cc63b4b4f4f065b6548aedfa403.tar.gz | |
gitlab-ci: Try reenabling PDF documentation on Darwin
Carter says that the builder issues have now been sorted.
| -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 |