home: add isabat via flake input instead of direct path

(also this means that my home config can now be built without --impure)

3 files changed, 20 insertions, 1 deletions

diff --git a/flake.lock b/flake.lock
index 4f5caa6..08a7ad2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -189,6 +189,22 @@
         "type": "github"
       }
     },
+    "isabelle-utils": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1635264830,
+        "narHash": "sha256-AsubIRh3QsuPzp/vs12BHuZ1FCIW3zTfp+f17f2PN4k=",
+        "ref": "refs/heads/master",
+        "rev": "e7427d5c67c0a90c369adecb4b0c65c043cb2e34",
+        "revCount": 17,
+        "type": "git",
+        "url": "https://stuebinm.eu/git/isabelle-utils"
+      },
+      "original": {
+        "type": "git",
+        "url": "https://stuebinm.eu/git/isabelle-utils"
+      }
+    },
     "naersk": {
       "inputs": {
         "nixpkgs": [
@@ -310,6 +326,7 @@
         "freiraum": "freiraum",
         "gtfsBooks": "gtfsBooks",
         "home-manager": "home-manager",
+        "isabelle-utils": "isabelle-utils",
         "naersk": "naersk",
         "nixpkgs": "nixpkgs_2",
         "nixpkgs-unstable": "nixpkgs-unstable",
diff --git a/flake.nix b/flake.nix
index e24a033..1814c76 100644
--- a/flake.nix
+++ b/flake.nix
@@ -33,6 +33,8 @@
     almanac.flake = false;
     feeds.url = "path:/home/stuebinm/nonpublic.nix";
     feeds.flake = false;
+    isabelle-utils.url = "git+https://stuebinm.eu/git/isabelle-utils";
+    isabelle-utils.flake = false;
 
     gtfsBooks.url = "git+https://stuebinm.eu/git/gtfs-books?ref=main";
     gtfsBooks.flake = false;
diff --git a/home/packages.nix b/home/packages.nix
index ab4b84d..569474d 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -58,7 +58,7 @@ in
     mercurial
     # isabelle
     isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish")
-    (import /home/stuebinm/projects/isabelle-utils {}).isabat
+    (import inputs.isabelle-utils {inherit pkgs naersk; }).isabat
 
     (import inputs.traveltext { inherit pkgs; })
   ];