b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

python310Packages.claripy: adjust inputs

Browse source
This commit is contained in:
Fabian Affolter 2023-01-10 22:30:39 +01:00
parent 56f6969654
commit 39a0eed453
1 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/python-modules/claripy/default.nix
View file

@ -5,11 +5,9 @@
, decorator , decorator
, fetchFromGitHub , fetchFromGitHub
, future , future
, nose
, pysmt , pysmt
, pythonOlder , pythonOlder
, pytestCheckHook , pytestCheckHook
, six
, z3 , z3
}: }:
@ -23,7 +21,7 @@ buildPythonPackage rec {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "angr"; owner = "angr";
repo = pname; repo = pname;
rev = "v${version}"; rev = "refs/tags/v${version}";
hash = "sha256-ItWL2DGoMkOMOMsTTfal8W9DZCmXMuZs0cZbYESlFU4="; hash = "sha256-ItWL2DGoMkOMOMsTTfal8W9DZCmXMuZs0cZbYESlFU4=";
}; };
@ -40,15 +38,13 @@ buildPythonPackage rec {
]; ];
checkInputs = [ checkInputs = [
nose
pytestCheckHook pytestCheckHook
six
]; ];
postPatch = '' postPatch = ''
# Use upstream z3 implementation # Use upstream z3 implementation
substituteInPlace setup.cfg \ substituteInPlace setup.cfg \
--replace "z3-solver == 4.10.2.0" "" --replace "z3-solver==4.10.2.0" ""
''; '';
pythonImportsCheck = [ pythonImportsCheck = [