From fd044175314798d06d142089cd98c6d32e5d35d2 Mon Sep 17 00:00:00 2001 From: Fabian Affolter Date: Mon, 23 May 2022 18:24:16 +0200 Subject: [PATCH 1/2] python39Packages.manticore: relax crytic-compile constraint --- pkgs/development/python-modules/manticore/default.nix | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/development/python-modules/manticore/default.nix b/pkgs/development/python-modules/manticore/default.nix index 2e1bff7e21ef..e41edb488d27 100644 --- a/pkgs/development/python-modules/manticore/default.nix +++ b/pkgs/development/python-modules/manticore/default.nix @@ -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 = [ From 36ea50ffe5e9882185874823405882157c45b5e8 Mon Sep 17 00:00:00 2001 From: Fabian Affolter Date: Mon, 23 May 2022 22:52:03 +0200 Subject: [PATCH 2/2] python39Packages.manticore: mark as broken on darwin --- pkgs/development/python-modules/manticore/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/python-modules/manticore/default.nix b/pkgs/development/python-modules/manticore/default.nix index e41edb488d27..8b2be2626601 100644 --- a/pkgs/development/python-modules/manticore/default.nix +++ b/pkgs/development/python-modules/manticore/default.nix @@ -130,5 +130,7 @@ buildPythonPackage rec { license = licenses.agpl3Only; platforms = platforms.unix; maintainers = with maintainers; [ arturcygan ]; + # m.c.manticore:WARNING: Manticore is only supported on Linux. Proceed at your own risk! + broken = stdenv.isDarwin; }; }