Merge pull request #203338 from tjni/angrop

python310Packages.angrop: patch to work with newer angr version
2022-11-30 21:23:08 +01:00
parent 7f20fe1ab1 7c51c518c9
commit ba4527af3d
1 changed files with 9 additions and 0 deletions
@@ -2,6 +2,7 @@
 , angr
 , buildPythonPackage
 , fetchFromGitHub
+, fetchpatch
 , progressbar
 , pythonOlder
 , pythonRelaxDepsHook
@@ -22,6 +23,14 @@ buildPythonPackage rec {
    hash = "sha256-wIPk7Cz7FSPviPFBSLrBjLr9M0o3pyoJM7wiAhHrg9Q=";
  };

+  patches = [
+    (fetchpatch {
+      name = "compatibility-with-newer-angr.patch";
+      url = "https://github.com/angr/angrop/commit/23194ee4ecdcb7a7390ec04eb133786ec3f807b1.patch";
+      hash = "sha256-n9/oPUblUHSk81qwU129rnNOjsNViaegp6454CaDo+8=";
+    })
+  ];
+
  nativeBuildInputs = [
    pythonRelaxDepsHook
  ];