python3Packages.deal-solver: fix issue with pyton-runtime-deps-check

Signed-off-by: Florian Brandes <florian.brandes@posteo.de>
2024-01-17 16:50:06 +01:00
parent 970334455b
commit d005dacb1a
1 changed files with 5 additions and 0 deletions
@@ -7,6 +7,7 @@
 , astroid
 , pytestCheckHook
 , hypothesis
+, pythonRelaxDepsHook
 }:

 buildPythonPackage rec {
@@ -25,8 +26,12 @@ buildPythonPackage rec {

  nativeBuildInputs = [
    flit-core
+    pythonRelaxDepsHook
  ];

+  # z3 does not provide a dist-info, so python-runtime-deps-check will fail
+  pythonRemoveDeps = [ "z3-solver" ];
+
  postPatch = ''
    substituteInPlace pyproject.toml \
      --replace "\"--cov=deal_solver\"," "" \