2019-12-09 10:29:18 +00:00
|
|
|
{ lib, buildDunePackage, cohttp-lwt, irmin, webmachine
|
2021-02-16 07:39:46 +00:00
|
|
|
, checkseum, git-unix, irmin-git, irmin-test, digestif, git-cohttp-unix
|
2019-12-09 10:29:18 +00:00
|
|
|
}:
|
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
|
|
|
|
pname = "irmin-http";
|
|
|
|
|
|
|
|
inherit (irmin) version src;
|
|
|
|
|
2020-06-25 22:22:21 +01:00
|
|
|
useDune2 = true;
|
|
|
|
|
2019-12-09 10:29:18 +00:00
|
|
|
propagatedBuildInputs = [ cohttp-lwt irmin webmachine ];
|
|
|
|
|
2021-02-16 07:39:46 +00:00
|
|
|
checkInputs = [ digestif checkseum git-cohttp-unix git-unix irmin-git irmin-test ];
|
2019-12-09 10:29:18 +00:00
|
|
|
|
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
meta = irmin.meta // {
|
|
|
|
description = "HTTP client and server for Irmin";
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|