52 lines
1.7 KiB
Nix
52 lines
1.7 KiB
Nix
{ lib
|
|
, fetchFromGitHub
|
|
# Haskell deps
|
|
, mkDerivation, aeson, base, base16-bytestring, binary, brick, bytestring
|
|
, containers, data-dword, data-has, directory, exceptions, extra, filepath
|
|
, hashable, hevm, hpack, html-entities, lens, ListLike, MonadRandom, mtl
|
|
, optparse-applicative, process, random, semver, tasty, tasty-hunit
|
|
, tasty-quickcheck, text, transformers, unix, unliftio, unordered-containers
|
|
, vector, vector-instances, vty, yaml
|
|
}:
|
|
mkDerivation rec {
|
|
pname = "echidna";
|
|
version = "2.0.5";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "crytic";
|
|
repo = "echidna";
|
|
rev = "v${version}";
|
|
sha256 = "sha256-8bChe+qA4DowfuwsR5wLckb56fXi102g8vL2gAH/kYE=";
|
|
};
|
|
|
|
isLibrary = true;
|
|
isExecutable = true;
|
|
libraryHaskellDepends = [
|
|
aeson base base16-bytestring binary brick bytestring containers data-dword
|
|
data-has directory exceptions extra filepath hashable hevm html-entities
|
|
lens ListLike MonadRandom mtl optparse-applicative process random semver
|
|
text transformers unix unliftio unordered-containers vector vector-instances
|
|
vty yaml
|
|
];
|
|
libraryToolDepends = [ hpack ];
|
|
executableHaskellDepends = libraryHaskellDepends;
|
|
testHaskellDepends = [
|
|
tasty tasty-hunit tasty-quickcheck
|
|
];
|
|
preConfigure = ''
|
|
hpack
|
|
# re-enable dynamic build for Linux
|
|
sed -i -e 's/os(linux)/false/' echidna.cabal
|
|
'';
|
|
shellHook = "hpack";
|
|
doHaddock = false;
|
|
# tests depend on a specific version of solc
|
|
doCheck = false;
|
|
|
|
description = "Ethereum smart contract fuzzer";
|
|
homepage = "https://github.com/crytic/echidna";
|
|
license = lib.licenses.agpl3Plus;
|
|
maintainers = with lib.maintainers; [ arturcygan ];
|
|
platforms = lib.platforms.unix;
|
|
mainProgram = "echidna-test";
|
|
}
|