# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1619682658 -7200
# Node ID d671d57178fcacc2304a17c2610a130534d8f7f0
# Parent  be844ade31503b8d3cf7aad734992c764ac782d2
direnv(1)/nix setup

diff -r be844ade3150 -r d671d57178fc .envrc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.envrc	Thu Apr 29 09:50:58 2021 +0200
@@ -0,0 +1,1 @@
+use nix
diff -r be844ade3150 -r d671d57178fc .hgignore
--- a/.hgignore	Sat Dec 26 14:24:11 2020 +0100
+++ b/.hgignore	Thu Apr 29 09:50:58 2021 +0200
@@ -8,3 +8,4 @@
 .idea
 out
 .idea_modules
+.direnv
diff -r be844ade3150 -r d671d57178fc shell.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shell.nix	Thu Apr 29 09:50:58 2021 +0200
@@ -0,0 +1,7 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  buildInputs = with pkgs; [
+    openjdk8
+  ];
+}