Closed andreasabel closed 1 month ago
The latter upgrades zlib to 0.7, and this needs a pkgconf-supported installation of the zlib system library. From the changelog at https://hackage.haskell.org/package/zlib-0.7.0.0/changelog:
zlib
0.7
pkgconf
Make flag pkg-config automatic and on by default.
With Stack on Windows, this triggered a build error: https://github.com/agda/agda/actions/runs/8763153892/job/24051720397#step:10:2869
Error: Cabal-simple_9p6GVs8J_3.10.2.0_ghc-9.8.2.exe: The pkg-config package 'zlib' is required but it could not be found.
Installing thezlib library with stack exec -- pacman -S ...-zlib fixed the problem. b6e154c (#7229) https://github.com/agda/agda/actions/runs/8763585687/job/24052629583?pr=7229#step:6:122
stack exec -- pacman -S ...-zlib
b6e154c
installing mingw-w64-x86_64-zlib...
The latter upgrades
zlibto0.7, and this needs apkgconf-supported installation of thezlibsystem library. From the changelog at https://hackage.haskell.org/package/zlib-0.7.0.0/changelog:With Stack on Windows, this triggered a build error: https://github.com/agda/agda/actions/runs/8763153892/job/24051720397#step:10:2869
Installing the
zliblibrary withstack exec -- pacman -S ...-zlibfixed the problem.b6e154c(#7229) https://github.com/agda/agda/actions/runs/8763585687/job/24052629583?pr=7229#step:6:122