diff options
| author | Fabian Affolter <mail@fabian-affolter.ch> | 2024-03-28 23:05:10 +0100 |
|---|---|---|
| committer | Fabian Affolter <mail@fabian-affolter.ch> | 2024-03-28 23:05:10 +0100 |
| commit | e27adc4072288593b20f1c520494ca2d694fd47c (patch) | |
| tree | ecd91d86926a6451417f0f007926a3671f8b46ce | |
| parent | 64c81edb4b97a51c5bbc54c191763ac71a6517ee (diff) | |
| download | nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.tar nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.tar.gz nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.tar.bz2 nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.tar.lz nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.tar.xz nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.tar.zst nixlib-e27adc4072288593b20f1c520494ca2d694fd47c.zip | |
python312Packages.claripy: fix z3-solver issue
| -rw-r--r-- | pkgs/development/python-modules/claripy/default.nix | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix index b5c0dcd06150..44c5ef27d603 100644 --- a/pkgs/development/python-modules/claripy/default.nix +++ b/pkgs/development/python-modules/claripy/default.nix @@ -1,13 +1,13 @@ { lib , buildPythonPackage -, setuptools , cachetools , decorator , fetchFromGitHub -, future , pysmt -, pythonOlder , pytestCheckHook +, pythonOlder +, pythonRelaxDepsHook +, setuptools , z3-solver }: @@ -25,17 +25,22 @@ buildPythonPackage rec { hash = "sha256-wgCWMngda0gB+AEDFpRxQ2ots5YXE4bkBSxMtYJqLEo="; }; - nativeBuildInputs = [ + # z3 does not provide a dist-info, so python-runtime-deps-check will fail + pythonRemoveDeps = [ + "z3-solver" + ]; + + build-system = [ + pythonRelaxDepsHook setuptools ]; - propagatedBuildInputs = [ + dependencies = [ cachetools decorator - future pysmt z3-solver - ]; + ] ++ z3-solver.requiredPythonModules; nativeCheckInputs = [ pytestCheckHook |