diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2018-07-22 09:17:36 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2018-07-22 09:18:06 +0200 |
commit | b21994d4ac9c2c8d372bf011668401ee31972c0b (patch) | |
tree | fdc0e5682000ca62f8ec72953e73a597fb5db296 /pkgs/top-level/python-packages.nix | |
parent | 6467cd4336e49b8023181253e96658acd5499992 (diff) | |
download | nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.tar nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.tar.gz nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.tar.bz2 nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.tar.lz nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.tar.xz nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.tar.zst nixlib-b21994d4ac9c2c8d372bf011668401ee31972c0b.zip |
python.pkgs.z3: provide bindings for z3 package, fixes #42603
Diffstat (limited to 'pkgs/top-level/python-packages.nix')
-rw-r--r-- | pkgs/top-level/python-packages.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index d1c0ac374896..efa6c20be706 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -17943,6 +17943,10 @@ EOF qasm2image = callPackage ../development/python-modules/qasm2image { }; simpy = callPackage ../development/python-modules/simpy { }; + + z3 = (toPythonModule (pkgs.z3.override { + inherit python; + })).python; }); in fix' (extends overrides packages) |