Skip to content
Snippets Groups Projects

debian 10: Install later version of libzstd

Closed Finley McIlwaine requested to merge wip/libzstd-dep into master
1 unresolved thread

libzstd-dev was installed on the debian images so it could be available to test --enable-ipe-data-compression in CI for jobs with the ~IPE label.

However, the installed version was 1.3.8 for debian 10, and we will require greater than or equal to 1.4.0. This patch changes the way libzstd is installed to just install 1.5.5 from source, and only for the debian 10 image since that is the image used in CI.

Corresponding GHC MR: ghc!10606 (merged)

Edited by Finley McIlwaine

Merge request reports

Pipeline #79276 passed

Pipeline passed for 243a00f0 on wip/libzstd-dep

Approval is optional

Closed by Matthew PickeringMatthew Pickering 1 year ago (Jul 6, 2023 2:58pm UTC)

Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
161 161 ]
162 162 # CF.env (toMap { PYTHON = "/home/ghc/.local/bin/python3" })
163 163
164 let
165 installLibzstd: CF.Type =
  • This is already being used for CI on master branch so I will merge it as-is.

  • Please register or sign in to reply
    Loading