1 files changed, 15 insertions, 6 deletions
diff --git a/default.nix b/default.nix
index 964a95a..f807fa6 100644
--- a/default.nix
+++ b/default.nix
@@ -1,8 +1,17 @@
 let
-    sources = import ./nix/sources.nix;
-    pkgs = import sources.nixpkgs {};
-    naersk = pkgs.callPackage sources.naersk {};
-in naersk.buildPackage {
-  name = "isabelle-unicode";
-  src = ./.;
+  sources = import ./nix/sources.nix;
+in
+
+{ pkgs ? import sources.nixpkgs {}
+, naersk ? pkgs.callPackage sources.naersk {}
+, ... }:
+
+rec {
+  isabelle-rust-utils = import ./crates.nix {
+    inherit pkgs naersk;
+  };
+
+  isabat = import ./isabat.nix {
+    inherit pkgs isabelle-rust-utils;
+  };
 }