You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
27 lines
498 B
27 lines
498 B
{ buildDunePackage
|
|
, irmin, irmin-unix, irmin-git, ppx_irmin, lwt, mtime
|
|
, alcotest, alcotest-lwt, cacert
|
|
}:
|
|
|
|
buildDunePackage {
|
|
pname = "irmin-containers";
|
|
|
|
inherit (ppx_irmin) src version useDune2;
|
|
|
|
nativeBuildInputs = [
|
|
ppx_irmin
|
|
];
|
|
|
|
propagatedBuildInputs = [
|
|
irmin irmin-unix irmin-git ppx_irmin lwt mtime
|
|
];
|
|
|
|
doCheck = true;
|
|
checkInputs = [
|
|
alcotest alcotest-lwt cacert
|
|
];
|
|
|
|
meta = ppx_irmin.meta // {
|
|
description = "Mergeable Irmin data structures";
|
|
};
|
|
}
|
|
|