Unverified Commit 28475ccd authored by a-n-n-a-l-e-e's avatar a-n-n-a-l-e-e Committed by GitHub
Browse files

Merge pull request #281578 from gador/deal-solver-fix

python3Packages.deal-solver: fix issue with pyton-runtime-deps-check
parents b5680f5e d005dacb
Loading
Loading
Loading
Loading
+5 −0
Original line number Diff line number Diff line
@@ -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\"," "" \