diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2018-07-14 14:49:47 -0500 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-07-14 21:49:47 +0200 |
| commit | 1c88d0c6bd0d632d58dd715dcf97a10618f0ac43 (patch) | |
| tree | 60cbfb5f4cac652c39823b400dc596e46565bfdc /pkgs/applications/science/logic | |
| parent | 3d2e92ef002e29504665852a7583bf47c02d87e1 (diff) | |
| download | nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.tar nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.tar.gz nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.tar.bz2 nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.tar.lz nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.tar.xz nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.tar.zst nixlib-1c88d0c6bd0d632d58dd715dcf97a10618f0ac43.zip | |
z3: fix darwin build (#43526)
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 10a526192764..1cbe914779e6 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -27,9 +27,7 @@ stdenv.mkDerivation rec { mv $out/lib $lib/lib mv $out/include $dev/include - # clean up a copy of libz3.so and symlink it instead - rm $python/${python.sitePackages}/z3/lib/libz3.so - ln -s $lib/lib/libz3.so $python/${python.sitePackages}/z3/lib/libz3.so + ln -sf $lib/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary} $python/${python.sitePackages}/z3/lib/libz3${stdenv.hostPlatform.extensions.sharedLibrary} ''; outputs = [ "out" "lib" "dev" "python" ]; |