Skip to content

Commit 0b737e2

Browse files
committed
[DO NOT MERGE] bump crytic-compile with autolink-capable version
1 parent d78c321 commit 0b737e2

File tree

2 files changed

+33
-1
lines changed

2 files changed

+33
-1
lines changed

flake.lock

Lines changed: 18 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,13 @@
1414
url = "github:hellwolf/solc.nix";
1515
inputs.nixpkgs.follows = "nixpkgs";
1616
};
17+
crytic-compile = {
18+
url = "github:crytic/crytic-compile/dev-autolink";
19+
flake = false;
20+
};
1721
};
1822

19-
outputs = { self, nixpkgs, flake-utils, nix-bundle-exe, solc-pkgs, ... }:
23+
outputs = { self, nixpkgs, flake-utils, nix-bundle-exe, solc-pkgs, crytic-compile, ... }:
2024
flake-utils.lib.eachDefaultSystem (system:
2125
let
2226
pkgs = import nixpkgs {
@@ -59,6 +63,16 @@
5963
pkgs.haskell.lib.compose.dontCheck
6064
]);
6165

66+
slither-analyzer = let
67+
python3 = pkgs.python3.override {
68+
packageOverrides = final: prev: {
69+
crytic-compile = prev.crytic-compile.overrideAttrs {
70+
src = crytic-compile;
71+
};
72+
};
73+
};
74+
in python3.pkgs.slither-analyzer;
75+
6276
echidna = pkgs: with pkgs; lib.pipe
6377
((hsPkgs pkgs).callCabal2nix "echidna" ./. { hevm = hevm pkgs; })
6478
([

0 commit comments

Comments
 (0)