chez010 test fails with libcb.so cannot open shared object file

[locallycompact]

Hi, getting this when I try to build idris2, on NixOS under nix-shell -p clang -p gmp -p 'idrisPackages.with-packages(with idrisPackages; [contrib])' -p chez

chez/chez007: success
chez/chez008: success
chez/chez009: success
Exception: (while loading libcb.so) libcb.so: cannot open shared object file: No such file or directory
chez/chez010: FAILURE

[ziman]

The build works fine on my machine but maybe https://github.com/edwinb/Idris2/pull/255 broke something on NixOS? That change made codegen (and the generated scripts) use absolute paths.

[fabianhjr]

Hi @locallycompact, I use the following options on the Makefile for NixOS and can compile current master:

# Add any optimisation/profiling flags for C here (e.g. -O2)
export OPT=-L/home/fabian/.nix-profile/lib -O2

[locallycompact]

@fabianhjr Can't say that works for me sorry.

[fabianhjr]

Could you try to clean and rebuild?

[locallycompact]

Makes no difference sorry.