diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-12-13 01:12:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-13 01:12:49 +0100 |
| commit | 972446d305970cd69e78746c06d2cd5fd1669b5c (patch) | |
| tree | f637c7f03df7708f10702567d831ad2042195868 /pkgs/development/compilers | |
| parent | 4eb501c977591c17db6697e5c8fed4c8520809ed (diff) | |
| parent | e6364478be7fd717b418363a374b511ee64d439d (diff) | |
Merge pull request #273803 from holmesmr/fix-gerbil-soname-darwin
gerbil: fix soname of libgerbil on darwin
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; |