diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/io-page/default.nix')
| -rw-r--r-- | pkgs/development/ocaml-modules/io-page/default.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/io-page/default.nix b/pkgs/development/ocaml-modules/io-page/default.nix new file mode 100644 index 00000000000..9685e27d0b8 --- /dev/null +++ b/pkgs/development/ocaml-modules/io-page/default.nix @@ -0,0 +1,25 @@ +{ lib, fetchurl, buildDunePackage, cstruct, bigarray-compat, ounit }: + +buildDunePackage rec { + pname = "io-page"; + version = "2.3.0"; + + useDune2 = true; + minimumOCamlVersion = "4.02.3"; + + src = fetchurl { + url = "https://github.com/mirage/${pname}/releases/download/v${version}/${pname}-v${version}.tbz"; + sha256 = "1hx27pwf419hrhwaw9cphbnl8akz8yy73hqj49l15g2k7shah1cn"; + }; + + propagatedBuildInputs = [ cstruct bigarray-compat ]; + checkInputs = [ ounit ]; + doCheck = true; + + meta = { + homepage = "https://github.com/mirage/io-page"; + license = lib.licenses.isc; + description = "IO memory page library for Mirage backends"; + maintainers = with lib.maintainers; [ vbgl ]; + }; +} |