BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

python39Packages.manticore: relax crytic-compile constraint

Browse source
This commit is contained in:
Fabian Affolter 2022-05-23 18:24:16 +02:00
parent d91c644006
commit fd04417531
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -32,7 +32,7 @@ buildPythonPackage rec {
owner = "trailofbits";
repo = "manticore";
rev = version;
sha256 = "sha256-+17VBfAtkZZIi3SF5Num1Uqg3WjIpgbz3Jx65rD5zkM=";
hash = "sha256-+17VBfAtkZZIi3SF5Num1Uqg3WjIpgbz3Jx65rD5zkM=";
};
propagatedBuildInputs = [
@ -52,9 +52,11 @@ buildPythonPackage rec {
unicorn
];
# Python API is not used in the code, only z3 from PATH
postPatch = ''
sed -ie s/z3-solver// setup.py
# Python API is not used in the code, only z3 from PATH
substituteInPlace setup.py \
--replace "z3-solver" "" \
--replace "crytic-compile==0.2.2" "crytic-compile>=0.2.2"
'';
checkInputs = [