idris2: use DYLD_LIBRARY_PATH instead of LD_LIBRARY_PATH on macOS

macOS uses `DYLD_LIBRARY_PATH` instead of `LD_LIBRARY_PATH`.
This commit is contained in:
cherryblossom000 2021-12-13 21:54:37 +11:00 committed by cherryblossom
parent a53d2afe68
commit cc9186270a
No known key found for this signature in database
GPG Key ID: 03B34648D6DEB639

View File

@ -79,7 +79,7 @@ stdenv.mkDerivation rec {
--suffix IDRIS2_LIBS ':' "$out/${name}/lib" \
--suffix IDRIS2_DATA ':' "$out/${name}/support" \
--suffix IDRIS2_PATH ':' "${additionalIdris2Paths}" \
--suffix LD_LIBRARY_PATH ':' "$out/${name}/lib"
--suffix ${if stdenv.isDarwin then "DYLD_LIBRARY_PATH" else "LD_LIBRARY_PATH"} ':' "$out/${name}/lib"
'';
meta = {