From 740795d854d6c1b502f088da53fbc005bea3f7d5 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Wed, 14 Dec 2022 14:51:52 +0100
Subject: add isabelle 2022

---
 isabelle-nix-fhsenv/default.nix | 44 ++++++++++++++++++++++++++++-------------
 1 file changed, 30 insertions(+), 14 deletions(-)

(limited to 'isabelle-nix-fhsenv')

diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix
index 85b04f3..dd4c7f8 100644
--- a/isabelle-nix-fhsenv/default.nix
+++ b/isabelle-nix-fhsenv/default.nix
@@ -2,7 +2,7 @@
 
 with pkgs;
 let
-  isabelle = stdenv.mkDerivation {
+  isabelle2021_1 = stdenv.mkDerivation {
     pname = "isabelle-unpatched";
     version = "2021";
 
@@ -12,23 +12,39 @@ let
     };
 
     phases = [ "buildPhase" ];
+    buildPhase = ''
+      mkdir -p $out
+      cp -r $src/* $out
+    '';
+  };
+  isabelle2022 = stdenv.mkDerivation {
+    pname = "isabelle-unpatched";
+    version = "2021";
+
+    src = fetchzip {
+      url = "https://isabelle.in.tum.de/dist/Isabelle2022_linux.tar.gz";
+      sha256 = "sha256-qwcCRAa8fuGMXbI8og+kbZ0HCel1YKb34EJsc7GUz3s=";
+    };
 
+    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";
+  mkEnv = isabelle: 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";
+  };
+in {
+  isabelle2021_1 = mkEnv isabelle2021_1;
+  isabelle2022 = mkEnv isabelle2022;
 }
-- 
cgit v1.2.3