CI failure on GHC 8.6.5 only (`libz.so: cannot open shared object file: No such file or directory`)

Question

CI failure on GHC 8.6.5 only (`libz.so: cannot open shared object file: No such file or directory`)

RyanGlScott opened this issue 3 years ago · 4 comments

The GHC 8.6.5 job (and only the 8.6.5 job) is failing on master currently due to zlib-related issues (example):

[ 2 of 76] Compiling What4.BaseTypes  ( src/What4/BaseTypes.hs, /home/runner/work/what4/what4/dist-newstyle/build/x86_64-linux/ghc-8.6.5/what4-1.2.1.0.99/build/What4/BaseTypes.o )
<command line>: can't load .so/.DLL for: libz.so (libz.so: cannot open shared object file: No such file or directory)

Answer 1 · 2021-11-24T14:45:38.000Z

I suspected that this might due to a stale build cache, but even after bumping the cache number in #170, the problem still persists.

Answer 2 · 2021-11-24T15:16:08.000Z

Some searching leads me to this, which suggests that this is an issue with Nix's zlib. This answer suggests that a possible fix is to explicitly set the LD_LIBRARY_PATH so that GHC can find zlib.

Answer 3 · 2021-11-24T15:20:40.000Z

Actually, we are already doing just that here. Hm. In that case, I'm stumped. Any idea, @kquick?

Answer 4 · 2021-11-29T14:05:26.000Z

Fixed in #171.