Merge pull request #150521 from cherryblossom000/idris2-macos-dyld-library-path

idris2: use `DYLD_LIBRARY_PATH` instead of `LD_LIBRARY_PATH` on macOS
This commit is contained in:
Marek Fajkus 2021-12-16 17:09:41 +01:00 committed by GitHub
commit 6e96a2553d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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 = {