diff options
Diffstat (limited to 'pkgs/development/python-modules/claripy/default.nix')
-rw-r--r-- | pkgs/development/python-modules/claripy/default.nix | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix index c343f7f3e872..fb0c8dbdf297 100644 --- a/pkgs/development/python-modules/claripy/default.nix +++ b/pkgs/development/python-modules/claripy/default.nix @@ -8,7 +8,7 @@ , pysmt , pythonOlder , pytestCheckHook -, z3 +, z3-solver }: buildPythonPackage rec { @@ -34,19 +34,13 @@ buildPythonPackage rec { decorator future pysmt - z3 + z3-solver ]; nativeCheckInputs = [ pytestCheckHook ]; - postPatch = '' - # Use upstream z3 implementation - substituteInPlace setup.cfg \ - --replace "z3-solver==4.10.2.0" "" - ''; - pythonImportsCheck = [ "claripy" ]; |