diff --git a/pkgs/development/python-modules/crytic-compile/default.nix b/pkgs/development/python-modules/crytic-compile/default.nix index 65abcedd835..07e5c19f8d2 100644 --- a/pkgs/development/python-modules/crytic-compile/default.nix +++ b/pkgs/development/python-modules/crytic-compile/default.nix @@ -36,7 +36,7 @@ buildPythonPackage rec { # PermissionError: [Errno 13] Permission denied: '/homeless-shelter' env.HOME = "/tmp"; pythonImportsCheck = [ - "crytic_compile" + "crytic_compile" ]; meta = with lib; { @@ -44,6 +44,6 @@ buildPythonPackage rec { homepage = "https://github.com/crytic/crytic-compile"; changelog = "https://github.com/crytic/crytic-compile/releases/tag/${version}"; license = licenses.agpl3Plus; - maintainers = with maintainers; [ SuperSandro2000 arturcygan hellwolf ]; + maintainers = with maintainers; [ arturcygan hellwolf ]; }; } diff --git a/pkgs/tools/security/echidna/default.nix b/pkgs/tools/security/echidna/default.nix index 5653348210c..bf28f893616 100644 --- a/pkgs/tools/security/echidna/default.nix +++ b/pkgs/tools/security/echidna/default.nix @@ -1,38 +1,60 @@ { lib +, mkDerivation , 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 +, haskellPackages +, haskell +, slither-analyzer }: -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"; - version = "2.0.5"; + version = "2.2.1"; src = fetchFromGitHub { owner = "crytic"; repo = "echidna"; rev = "v${version}"; - sha256 = "sha256-8bChe+qA4DowfuwsR5wLckb56fXi102g8vL2gAH/kYE="; + sha256 = "sha256-5d9ttPR3rRHywBeLM85EGCEZLNZNZzOAhIN6AJToJyI="; }; 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 = with haskellPackagesOverride; [ + haskellPackages.hpack ]; - libraryToolDepends = [ hpack ]; - executableHaskellDepends = libraryHaskellDepends; - testHaskellDepends = [ + + # Note: This can be extracted from package.yaml of echidna, the list is shorter because some are transitive. + 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 ]; + preConfigure = '' hpack # re-enable dynamic build for Linux