2020-05-21 00:45:07 +02:00
|
|
|
{ lib, buildDunePackage, io-page, cstruct, ounit }:
|
|
|
|
|
|
|
|
|
|
buildDunePackage {
|
|
|
|
|
pname = "io-page-unix";
|
|
|
|
|
|
2020-11-19 07:36:27 +01:00
|
|
|
inherit (io-page) version src useDune2 minimumOCamlVersion;
|
2020-05-21 00:45:07 +02:00
|
|
|
|
|
|
|
|
propagatedBuildInputs = [ cstruct io-page ];
|
|
|
|
|
checkInputs = [ ounit ];
|
|
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
|
inherit (io-page.meta) homepage license;
|
|
|
|
|
description = "Support for efficient handling of I/O memory pages on Unix";
|
|
|
|
|
maintainers = [ maintainers.sternenseemann ];
|
|
|
|
|
};
|
|
|
|
|
}
|
