Skip to content

Commit

Permalink
Use hevm from nixpkgs as it's fixed now
Browse files Browse the repository at this point in the history
  • Loading branch information
arcz committed Nov 14, 2022
1 parent 4282a53 commit 8a1a814
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 35 deletions.
15 changes: 5 additions & 10 deletions default.nix
Original file line number Diff line number Diff line change
@@ -1,12 +1,7 @@
{ pkgs ? import (builtins.fetchTarball {
name = "nixpkgs-unstable-2022-02-10";
url = "https://github.com/nixos/nixpkgs/archive/1882c6b7368fd284ad01b0a5b5601ef136321292.tar.gz";
sha256 = "sha256:0zg7ak2mcmwzi2kg29g4v9fvbvs0viykjsg2pwaphm1fi13s7s0i";
}) {},
newerPkgs ? import (builtins.fetchTarball {
name = "nixpkgs-22.05-darwin-2022-06-27";
url = "https://github.com/nixos/nixpkgs/archive/ce6aa13369b667ac2542593170993504932eb836.tar.gz";
sha256 = "sha256:0d643wp3l77hv2pmg2fi7vyxn4rwy0iyr8djcw1h5x72315ck9ik";
name = "nixpkgs-unstable-2022-11-14";
url = "https://github.com/nixos/nixpkgs/archive/dad4de1694cd92d9a0e123bfdf134d0047b836a5.tar.gz";
sha256 = "sha256:0zg7ak2mcmwzi2kg29g4v9fvbvs0viykjsg2pwaphm1fi13s7x0i";
}) {},
profiling ? false,
tests ? false
Expand Down Expand Up @@ -36,7 +31,7 @@ let

v = "2.0.3";

testInputs = [ newerPkgs.slither-analyzer solc ];
testInputs = [ pkgs.slither-analyzer solc ];

f = { mkDerivation, aeson, ansi-terminal, base, base16-bytestring, binary
, brick, bytestring, containers, data-dword, data-has, deepseq
Expand Down Expand Up @@ -64,7 +59,7 @@ let
testHaskellDepends = [ tasty tasty-hunit tasty-quickcheck ];
testToolDepends = testInputs;
configureFlags = if profiling then [ "--enable-profiling" "--enable-library-profiling" ] else [];
libraryToolDepends = [ hpack newerPkgs.slither-analyzer solc ];
libraryToolDepends = [ hpack pkgs.slither-analyzer solc ];
preConfigure = ''
hpack
# re-enable dynamic build for Linux
Expand Down
22 changes: 3 additions & 19 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

7 changes: 1 addition & 6 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -6,25 +6,20 @@

inputs = {
nixpkgs.url = github:NixOS/nixpkgs;
newerNixpkgs.url = github:NixOS/nixpkgs;
};

outputs = { self, nixpkgs, newerNixpkgs }: {
outputs = { self, nixpkgs }: {
defaultPackage.x86_64-linux = import ./. {
pkgs = nixpkgs.legacyPackages.x86_64-linux;
newerPkgs = newerNixpkgs.legacyPackages.x86_64-linux;
};
defaultPackage.aarch64-linux = import ./. {
pkgs = nixpkgs.legacyPackages.aarch64-linux;
newerPkgs = newerNixpkgs.legacyPackages.aarch64-linux;
};
defaultPackage.x86_64-darwin = import ./. {
pkgs = nixpkgs.legacyPackages.x86_64-darwin;
newerPkgs = newerNixpkgs.legacyPackages.x86_64-darwin;
};
defaultPackage.aarch64-darwin = import ./. {
pkgs = nixpkgs.legacyPackages.aarch64-darwin;
newerPkgs = newerNixpkgs.legacyPackages.aarch64-darwin;
};
};
}

0 comments on commit 8a1a814

Please sign in to comment.