From 715001ba92799839afc97d92c9f0a79924085a69 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Wed, 23 Jun 2021 20:37:59 +0200
Subject: add nix derivation

(using naersk)
---
 default.nix | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 default.nix

(limited to 'default.nix')

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 = ./.;
+}
-- 
cgit v1.2.3