Troels Henriksen 56e72223d9 mosml: dontPatchElf = true ... This is because MosML needs the bin/camlrunm binary to have a carefully calibrated RPATH pointing at its installation directory, and patchelf will remove this. Without this fix, MosML cannot dynamically load its own libraries (most notably the "Unix" module).		2021-06-20 16:41:28 +02:00
..
default.nix	mosml: dontPatchElf = true	2021-06-20 16:41:28 +02:00