diff options
author | Domen Kožar <domen@dev.si> | 2017-01-03 23:08:14 +0100 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2017-01-03 23:10:24 +0100 |
commit | af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6 (patch) | |
tree | 841ba795bee1ce84a46896e1acbdd1504fe28a26 /pkgs/applications | |
parent | 4bba954e13e0d60269a4d4947884308cd175d5a9 (diff) | |
download | nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.tar nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.tar.gz nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.tar.bz2 nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.tar.lz nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.tar.xz nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.tar.zst nixlib-af2cfc076f8dd9c3583a8df1682a6d4602f7a9b6.zip |
haskellPackages.z3: fix #16357
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index fa5c9ba175e0..9683579af475 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, python2 }: +{ stdenv, fetchFromGitHub, python2, fixDarwinDylibNames }: let python = python2; @@ -13,7 +13,7 @@ in stdenv.mkDerivation rec { sha256 = "0ssp190ksak93hiz61z90x6hy9hcw1ywp8b2dzmbhn6fbd4bnxzp"; }; - buildInputs = [ python ]; + buildInputs = [ python fixDarwinDylibNames ]; enableParallelBuilding = true; configurePhase = '' |