echidna: 2.0.5 -> 2.2.1
* Changes - add slither-analyzer as a explicit executable system dependency. - use custom hevm dependency, instead of from haskellPackage.
This commit is contained in:
parent
3fcbabcc29
commit
d20ff6f764
|
@ -36,7 +36,7 @@ buildPythonPackage rec {
|
||||||
# PermissionError: [Errno 13] Permission denied: '/homeless-shelter'
|
# PermissionError: [Errno 13] Permission denied: '/homeless-shelter'
|
||||||
env.HOME = "/tmp";
|
env.HOME = "/tmp";
|
||||||
pythonImportsCheck = [
|
pythonImportsCheck = [
|
||||||
"crytic_compile"
|
"crytic_compile"
|
||||||
];
|
];
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
|
@ -44,6 +44,6 @@ buildPythonPackage rec {
|
||||||
homepage = "https://github.com/crytic/crytic-compile";
|
homepage = "https://github.com/crytic/crytic-compile";
|
||||||
changelog = "https://github.com/crytic/crytic-compile/releases/tag/${version}";
|
changelog = "https://github.com/crytic/crytic-compile/releases/tag/${version}";
|
||||||
license = licenses.agpl3Plus;
|
license = licenses.agpl3Plus;
|
||||||
maintainers = with maintainers; [ SuperSandro2000 arturcygan hellwolf ];
|
maintainers = with maintainers; [ arturcygan hellwolf ];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,38 +1,60 @@
|
||||||
{ lib
|
{ lib
|
||||||
|
, mkDerivation
|
||||||
, fetchFromGitHub
|
, fetchFromGitHub
|
||||||
# Haskell deps
|
, haskellPackages
|
||||||
, mkDerivation, aeson, base, base16-bytestring, binary, brick, bytestring
|
, haskell
|
||||||
, containers, data-dword, data-has, directory, exceptions, extra, filepath
|
, slither-analyzer
|
||||||
, 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 {
|
|
||||||
|
let haskellPackagesOverride = haskellPackages.override {
|
||||||
|
overrides = self: super: {
|
||||||
|
# following the revision specified in echidna/stack.yaml
|
||||||
|
# TODO: 0.51.3 is not in haskellPackages yet
|
||||||
|
hevm = haskell.lib.overrideCabal super.hevm (oa: {
|
||||||
|
version = "0.51.3";
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "ethereum";
|
||||||
|
repo = "hevm";
|
||||||
|
rev = "release/0.51.3";
|
||||||
|
hash = "sha256-H6oURBGoQWSOuPhBB+UKg2UarVzXgv1tmfDBLnOtdhU=";
|
||||||
|
};
|
||||||
|
libraryHaskellDepends = oa.libraryHaskellDepends
|
||||||
|
++ (with haskellPackages;[githash witch]);
|
||||||
|
});
|
||||||
|
};
|
||||||
|
};
|
||||||
|
in mkDerivation rec {
|
||||||
pname = "echidna";
|
pname = "echidna";
|
||||||
version = "2.0.5";
|
version = "2.2.1";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "crytic";
|
owner = "crytic";
|
||||||
repo = "echidna";
|
repo = "echidna";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "sha256-8bChe+qA4DowfuwsR5wLckb56fXi102g8vL2gAH/kYE=";
|
sha256 = "sha256-5d9ttPR3rRHywBeLM85EGCEZLNZNZzOAhIN6AJToJyI=";
|
||||||
};
|
};
|
||||||
|
|
||||||
isLibrary = true;
|
isLibrary = true;
|
||||||
isExecutable = true;
|
isExecutable = true;
|
||||||
libraryHaskellDepends = [
|
|
||||||
aeson base base16-bytestring binary brick bytestring containers data-dword
|
libraryToolDepends = with haskellPackagesOverride; [
|
||||||
data-has directory exceptions extra filepath hashable hevm html-entities
|
haskellPackages.hpack
|
||||||
lens ListLike MonadRandom mtl optparse-applicative process random semver
|
|
||||||
text transformers unix unliftio unordered-containers vector vector-instances
|
|
||||||
vty yaml
|
|
||||||
];
|
];
|
||||||
libraryToolDepends = [ hpack ];
|
|
||||||
executableHaskellDepends = libraryHaskellDepends;
|
# Note: This can be extracted from package.yaml of echidna, the list is shorter because some are transitive.
|
||||||
testHaskellDepends = [
|
executableHaskellDepends = with haskellPackagesOverride;
|
||||||
|
[aeson base base16-bytestring binary brick bytestring code-page containers data-dword data-has directory exceptions extra
|
||||||
|
filepath hashable hevm html-conduit html-entities http-conduit lens ListLike MonadRandom mtl optics optparse-applicative
|
||||||
|
process random semver text transformers unix unliftio unordered-containers vector vector-instances vty with-utf8
|
||||||
|
xml-conduit yaml];
|
||||||
|
|
||||||
|
# Note: there is also a runtime dependency of slither-analyzer, let's include it also.
|
||||||
|
executableSystemDepends = [ slither-analyzer ];
|
||||||
|
|
||||||
|
testHaskellDepends = with haskellPackagesOverride; [
|
||||||
tasty tasty-hunit tasty-quickcheck
|
tasty tasty-hunit tasty-quickcheck
|
||||||
];
|
];
|
||||||
|
|
||||||
preConfigure = ''
|
preConfigure = ''
|
||||||
hpack
|
hpack
|
||||||
# re-enable dynamic build for Linux
|
# re-enable dynamic build for Linux
|
||||||
|
|
Loading…
Reference in a new issue