Skip to content

debian 10: Install later version of libzstd

Finley McIlwaine requested to merge wip/libzstd-dep into master

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