diff options
author | stuebinm | 2021-06-23 20:37:59 +0200 |
---|---|---|
committer | stuebinm | 2021-06-23 20:37:59 +0200 |
commit | 715001ba92799839afc97d92c9f0a79924085a69 (patch) | |
tree | 9273d67c20a9ed977c86de745fffa6605ecff8dc /default.nix | |
parent | 4513c6626a34f737482c102825be7c2ca1b43eff (diff) |
add nix derivation
(using naersk)
Diffstat (limited to 'default.nix')
-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 = ./.; +} |