dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #251919 from hellwolf/echidna-brick-1.9-fix

Browse Source 
echidna: fix build due to brick-1.9
This commit is contained in:
Dennis Gosnell 2023-09-04 01:08:31 +09:00 committed by GitHub
commit 8b2b01fe3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/tools/security/echidna/default.nix
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;