Open pdg137 opened 6 months ago
strace "/tmp/nix-build-M2.drv-1/src/M2/usr-dist/x86_64-Linux-Ubuntu-22.04/bin/M2-binary" --no-readline --stop -e 'importFrom_Core {"dlopen"}; dlopen "libmpfr.so"'
This seems to show that it finds all of its libraries just fine.