diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-06-11 19:48:56 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-06-13 02:51:13 -0400 |
| commit | 9721b40db9b87c0135613649f9f1e129eb49795b (patch) | |
| tree | 5fd60dfaa4d308e04cc25b2ad64ee584b73dcd99 | |
| parent | 70b5eefe09823f77bcfdd7b4fa8dbaee18ab316c (diff) | |
| download | haskell-9721b40db9b87c0135613649f9f1e129eb49795b.tar.gz | |
gitlab-ci: Don't build PDF user's guide on AArch64
For reasons I don't understand sphinx seems to fail to produce a .idx
file for makeindex.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bbd708a8c5..d17d36674e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -376,6 +376,8 @@ validate-x86_64-darwin: variables: TEST_ENV: "aarch64-linux-deb9" BIN_DIST_PREP_TAR_COMP: "bindistprep/ghc-aarch64-linux-deb9.tar.xz" + # Inexplicably makeindex fails + BUILD_SPHINX_PDF: "NO" cache: key: linux-aarch64-deb9 tags: |