diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/wodan/irmin.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/wodan/irmin.nix | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/wodan/irmin.nix b/nixpkgs/pkgs/development/ocaml-modules/wodan/irmin.nix new file mode 100644 index 000000000000..a42259af9e6b --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/wodan/irmin.nix @@ -0,0 +1,20 @@ +{ lib, buildDunePackage, io-page-unix, irmin-chunk, irmin-git, irmin-unix +, mirage-block-ramdisk, mirage-block-unix, wodan }: + +buildDunePackage rec { + pname = "wodan-irmin"; + inherit (wodan) version src useDune2; + + propagatedBuildInputs = [ + io-page-unix + irmin-chunk + irmin-git + irmin-unix + mirage-block-ramdisk + mirage-block-unix + wodan + ]; + + meta = wodan.meta // { description = "Wodan as an Irmin store"; }; + +} |