1 files changed, 8 insertions, 0 deletions
diff --git a/default.nix b/default.nix
new file mode 100644
index 0000000..1cc38bb
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,8 @@
+let
+    pkgs = import <nixpkgs> {};
+    sources = import ./nix/sources.nix;
+    naersk = pkgs.callPackage sources.naersk {};
+in naersk.buildPackage {
+  name = "isabelle-dump";
+  src = ./.;
+}