diff options
Diffstat (limited to '')
-rw-r--r-- | default.nix | 8 |
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 = ./.; +} |