first

2025-03-03 00:08:57 +01:00 · 2025-03-03 00:08:57 +01:00 · 2203a06c02
commit 2203a06c02
12 changed files with 315 additions and 0 deletions
--- a/apps/isabelle.nix
+++ b/apps/isabelle.nix
@ -0,0 +1,17 @@
+{ pkgs    ? import <nixpkgs> {},
+  version ? "2024",
+}:
+let
+  isabelle = pkgs.fetchzip {
+    url = "https://isabelle.in.tum.de/dist/Isabelle${version}_linux.tar.gz";
+    sha256 = "08d0zg4j12rya0qphdjfvxmy02mhrbzc6i1wy0hjfklpk2x1ml2s";
+  };
+in
+pkgs.buildFHSEnv {
+  pname = "isabelle";
+  inherit version;
+  targetPkgs = pkgs:
+    (with pkgs;      [ zlib fontconfig ]) ++
+    (with pkgs.xorg; [ libX11 libXt libXext libXrender libXtst libXi ]);
+  runScript = "${isabelle}/Isabelle${version}";
+}