diff options
Diffstat (limited to 'script/jepsen.garage/shell.nix')
-rw-r--r-- | script/jepsen.garage/shell.nix | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/script/jepsen.garage/shell.nix b/script/jepsen.garage/shell.nix index 1f2514c6..01e4c845 100644 --- a/script/jepsen.garage/shell.nix +++ b/script/jepsen.garage/shell.nix @@ -1,8 +1,18 @@ -{ pkgs ? import <nixpkgs> { } }: +{ pkgs ? import <nixpkgs> { + overlays = [ + (self: super: { + jdk = super.jdk11; + jre = super.jre11; + }) + ]; +} }: pkgs.mkShell { nativeBuildInputs = with pkgs; [ leiningen + jdk + jna vagrant gnuplot + graphviz ]; } |