diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..b2be92b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+result
diff --git a/default.nix b/default.nix
new file mode 100644
index 0000000..d66d2c8
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,33 @@
+{pkgs ? import <nixpkgs> {} }:
+with pkgs;
+
+stdenv.mkDerivation rec {
+  name = "TLAToolBox-${version}";
+  version = "1.5.2";
+
+  src = fetchurl {
+    url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip";
+    sha256 = "1xsqw34qy341mgfg57fcp0skm8rv4sqzi7qb442vn21nhhwmmxdk";
+  };
+
+  buildInputs = [ patchelf unzip makeWrapper jre ];
+
+  unpackPhase = ''
+    unzip $src
+  '';
+
+  buildPhase = ''
+    patchelf  --set-interpreter "$(cat $NIX_CC/nix-support/dynamic-linker)" ./toolbox/toolbox
+  '';
+
+  installPhase = ''
+    mkdir -p $out
+    cp -r toolbox/* $out
+
+    wrapProgram $out/toolbox \
+      --set JAVA_HOME "${jre}" \
+      --prefix PATH : "${jre}/bin" \
+      --prefix LD_LIBRARY_PATH : ${stdenv.lib.makeLibraryPath [ gtk2 xorg.libXtst ]}
+  '';
+
+}