diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-12-13 06:01:27 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-13 06:01:27 +0000 |
commit | 546fa0a3f32d45910ad4bfc7379d0f6c9bf6aed6 (patch) | |
tree | 250fa4371c92ad2477317079c2bc42343c115abf /pkgs/development/compilers | |
parent | 873793ff306a4450237b56e9b07186cd20b53ce7 (diff) | |
parent | 9554272c393f0f3e67208f777ae33a7bc0c7a03d (diff) |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/gerbil/build.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/compilers/gerbil/build.nix b/pkgs/development/compilers/gerbil/build.nix index a0922ff9ccaca..af983be968b0f 100644 --- a/pkgs/development/compilers/gerbil/build.nix +++ b/pkgs/development/compilers/gerbil/build.nix @@ -106,6 +106,9 @@ stdenv.mkDerivation rec { ./install.sh (cd $out/bin ; ln -s ../gerbil/bin/* .) runHook postInstall + '' + lib.optionalString stdenv.isDarwin '' + libgerbil="$(realpath "$out/gerbil/lib/libgerbil.so")" + install_name_tool -id "$libgerbil" "$libgerbil" ''; dontStrip = true; |