1 files changed, 33 insertions, 0 deletions
diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix
new file mode 100644
index 0000000..d4e3b9e
--- /dev/null
+++ b/isabelle-nix-fhsenv/default.nix
@@ -0,0 +1,33 @@
+with import <nixpkgs> { };
+
+let
+  isabelle = stdenv.mkDerivation {
+    pname = "isabelle-unpatched";
+    version = "2021";
+
+    src = fetchzip {
+      url = "https://isabelle.in.tum.de/dist/Isabelle2021_linux.tar.gz";
+      sha256 = "00dnpvj8iy5kdfbx3wlwjwh95lwjyp13r8m4l0bkazw2mk2xdcvr";
+    };
+
+    phases = [ "buildPhase" ];
+
+    buildPhase = ''
+      mkdir -p $out
+      echo $src
+      cp -r $src/* $out
+    '';
+  };
+in
+buildFHSUserEnv {
+  name = "isabelle";
+  targetPkgs = pkgs: with pkgs; [
+    dbus expat file fontconfig freetype gdb glib 
+    gmp
+    nspr nss udev xorg.libX11
+    xorg.libXScrnSaver xorg.libXcomposite xorg.libXcursor xorg.libXdamage
+    xorg.libXext xorg.libXfixes xorg.libXi xorg.libXrandr xorg.libXrender
+    xorg.libXtst xorg.libxcb xorg.xcbutilkeysyms zlib
+  ];
+  runScript = "${isabelle.outPath}/bin/isabelle";
+}