shell.nix
author Tomas Zeman <tomas@functionals.cz>
Wed, 22 Mar 2023 15:06:51 +0100
changeset 20 a76dd144bca4
parent 16 e01a46f45b02
permissions -rw-r--r--
GraphEdge: color, width, dashes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     1
{ pkgs ? import <nixpkgs> {} }:
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     2
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     3
pkgs.mkShell {
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     4
  buildInputs = with pkgs; [
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     5
    openjdk11
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     6
  ];
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     7
}