diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-03-01 17:02:39 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-04-13 12:17:13 -0400 |
| commit | 232a44de1fa1261316691cdec0a57840b908c942 (patch) | |
| tree | 401b7515e745fe7e5089a10d1d62b7d222f5ad24 | |
| parent | 1ee88db6e83a54f3cbd5aaf29ff818d001e9cb9c (diff) | |
| download | haskell-232a44de1fa1261316691cdec0a57840b908c942.tar.gz | |
gitlab-ci: Build releases with hyperlinked sources
Fixes #19455.
(cherry picked from commit 8e3f736d96aaf008e2058754e34bef89ba8c8661)
| -rw-r--r-- | .gitlab-ci.yml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3fbbf47b5e..6b59f509b1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -61,6 +61,8 @@ workflow: .release: &release variables: BUILD_FLAVOUR: "perf" + XZ_OPT: "-9" + HADDOCK_HYPERLINKED_SOURCES: "YES" artifacts: when: always expire_in: 1 year @@ -279,11 +281,6 @@ hadrian-ghc-in-ghci: TEST_TYPE: test MAKE_ARGS: "-Werror" script: - # Build hyperlinked sources for documentation when building releases - - | - if [[ "$RELEASE_JOB" = "yes" ]]; then - HADDOCK_HYPERLINKED_SOURCES=1 - fi - .gitlab/ci.sh setup - .gitlab/ci.sh configure - .gitlab/ci.sh build_make @@ -950,11 +947,13 @@ release-x86_64-windows: extends: .build-x86_64-windows-hadrian variables: BUILD_FLAVOUR: "perf" + HADDOCK_HYPERLINKED_SOURCES: "yes" release-x86_64-windows-integer-simple: <<: *release extends: .build-x86_64-windows-hadrian variables: + HADDOCK_HYPERLINKED_SOURCES: "yes" BIGNUM_BACKEND: native BUILD_FLAVOUR: "perf" |