diff options
Diffstat (limited to 'pkgs/development/python-modules/deal-solver/default.nix')
-rw-r--r-- | pkgs/development/python-modules/deal-solver/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/python-modules/deal-solver/default.nix b/pkgs/development/python-modules/deal-solver/default.nix index 5c91d6d92559..28eee72a99d2 100644 --- a/pkgs/development/python-modules/deal-solver/default.nix +++ b/pkgs/development/python-modules/deal-solver/default.nix @@ -3,7 +3,7 @@ , fetchFromGitHub , pythonOlder , flit-core -, z3 +, z3-solver , astroid , pytestCheckHook , hypothesis @@ -28,9 +28,7 @@ buildPythonPackage rec { ]; postPatch = '' - # Use upstream z3 implementation substituteInPlace pyproject.toml \ - --replace "\"z3-solver\"," "" \ --replace "\"--cov=deal_solver\"," "" \ --replace "\"--cov-report=html\"," "" \ --replace "\"--cov-report=xml\"," "" \ @@ -39,9 +37,9 @@ buildPythonPackage rec { ''; propagatedBuildInputs = [ - z3 + z3-solver astroid - ] ++ z3.requiredPythonModules; + ] ++ z3-solver.requiredPythonModules; nativeCheckInputs = [ pytestCheckHook |