z3, python310Packages.deal-solver: pass python dependencies
Z3 Python bindings import pkg_resources, which comes from setuptools. deal-solver used to pick this up from astroid, but the latest version of astroid removed this. Instead, let's pass this dependency explicitly from the Z3 derivation.
This commit is contained in:
parent
8952726696
commit
cb56c35264
|
@ -41,7 +41,7 @@ buildPythonPackage rec {
|
|||
propagatedBuildInputs = [
|
||||
z3
|
||||
astroid
|
||||
];
|
||||
] ++ z3.requiredPythonModules;
|
||||
|
||||
checkInputs = [
|
||||
pytestCheckHook
|
||||
|
|
Loading…
Reference in a new issue