colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

python312Packages.claripy: fix z3-solver issue

Browse Source
This commit is contained in:
Fabian Affolter 2024-03-28 23:05:10 +01:00
parent 64c81edb4b
commit e27adc4072
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/development/python-modules/claripy/default.nix
View File

@ -1,13 +1,13 @@
{ lib { lib
, buildPythonPackage , buildPythonPackage
, setuptools
, cachetools , cachetools
, decorator , decorator
, fetchFromGitHub , fetchFromGitHub
, future
, pysmt , pysmt
, pythonOlder
, pytestCheckHook , pytestCheckHook
, pythonOlder
, pythonRelaxDepsHook
, setuptools
, z3-solver , z3-solver
}: }:
@ -25,17 +25,22 @@ buildPythonPackage rec {
hash = "sha256-wgCWMngda0gB+AEDFpRxQ2ots5YXE4bkBSxMtYJqLEo="; 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 setuptools
]; ];
propagatedBuildInputs = [ dependencies = [
cachetools cachetools
decorator decorator
future
pysmt pysmt
z3-solver z3-solver
]; ] ++ z3-solver.requiredPythonModules;
nativeCheckInputs = [ nativeCheckInputs = [
pytestCheckHook pytestCheckHook