2020-05-21 00:44:42 +02:00
|
|
|
{ stdenv, fetchurl, buildDunePackage, configurator, cstruct, bigarray-compat, ounit }:
|
2015-03-02 11:05:13 +01:00
|
|
|
|
2018-11-05 11:21:46 +01:00
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "io-page";
|
2020-05-21 00:44:42 +02:00
|
|
|
version = "2.3.0";
|
2015-03-02 11:05:13 +01:00
|
|
|
|
2020-05-21 00:44:42 +02:00
|
|
|
minimumOCamlVersion = "4.02.3";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://github.com/mirage/${pname}/releases/download/v${version}/${pname}-v${version}.tbz";
|
|
|
|
sha256 = "1hx27pwf419hrhwaw9cphbnl8akz8yy73hqj49l15g2k7shah1cn";
|
2015-03-02 11:05:13 +01:00
|
|
|
};
|
|
|
|
|
2020-05-21 00:44:42 +02:00
|
|
|
propagatedBuildInputs = [ cstruct bigarray-compat ];
|
|
|
|
checkInputs = [ ounit ];
|
|
|
|
doCheck = true;
|
2015-03-02 11:05:13 +01:00
|
|
|
|
|
|
|
meta = {
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://github.com/mirage/io-page";
|
2018-08-22 00:07:35 +02:00
|
|
|
license = stdenv.lib.licenses.isc;
|
2015-03-02 11:05:13 +01:00
|
|
|
description = "IO memory page library for Mirage backends";
|
|
|
|
maintainers = with stdenv.lib.maintainers; [ vbgl ];
|
|
|
|
};
|
|
|
|
}
|