echidna: fix build due to brick-1.9

- use fetchpatch
This commit is contained in:
Miao, ZhiCheng 2023-08-28 09:55:21 +03:00
parent c82284279d
commit e6f657ba87
No known key found for this signature in database
GPG Key ID: 1080B4863AD0F5D1

View File

@ -1,6 +1,7 @@
{ lib
, mkDerivation
, fetchFromGitHub
, fetchpatch
, haskellPackages
, haskell
, slither-analyzer
@ -34,6 +35,15 @@ in mkDerivation rec {
sha256 = "sha256-5d9ttPR3rRHywBeLM85EGCEZLNZNZzOAhIN6AJToJyI=";
};
# Note: pending PR https://github.com/crytic/echidna/pull/1096
patches = [
(fetchpatch {
name = "brick-1.9-update";
url = "https://github.com/crytic/echidna/pull/1096/commits/36657d54943727e569691a6b3d85b83130480a2e.patch";
sha256 = "sha256-AOmB/fAZCF7ruXW1HusRe7wWWsLyMCWw+j3qIPARIAc=";
})
];
isLibrary = true;
isExecutable = true;