Skip to content

Commit da80b32

Browse files
committed
[DO NOT MERGE] bump crytic-compile with autolink-capable version
1 parent 7e80fe2 commit da80b32

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
@@ -11,9 +11,13 @@
1111
url = "github:hellwolf/solc.nix";
1212
inputs.nixpkgs.follows = "nixpkgs";
1313
};
14+
crytic-compile = {
15+
url = "github:crytic/crytic-compile/dev-autolink";
16+
flake = false;
17+
};
1418
};
1519

16-
outputs = { self, nixpkgs, flake-utils, solc-pkgs, foundry, ... }:
20+
outputs = { self, nixpkgs, flake-utils, solc-pkgs, foundry, crytic-compile, ... }:
1721
flake-utils.lib.eachDefaultSystem (system:
1822
let
1923
pkgs = import nixpkgs {
@@ -58,6 +62,16 @@
5862
pkgs.haskell.lib.compose.dontCheck
5963
]);
6064

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

0 commit comments

Comments
 (0)