diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-03-02 11:05:13 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-03-02 11:26:03 +0100 |
| commit | 7365907de5a4e2667fb15629471494e736d07a84 (patch) | |
| tree | f9d3c5010fcadfc369fcf33501abd5d55e257587 /pkgs/development/ocaml-modules | |
| parent | 2ee6e81896dccd1abfc9beaf021f59cd02a9316a (diff) | |
| download | nixlib-7365907de5a4e2667fb15629471494e736d07a84.tar nixlib-7365907de5a4e2667fb15629471494e736d07a84.tar.gz nixlib-7365907de5a4e2667fb15629471494e736d07a84.tar.bz2 nixlib-7365907de5a4e2667fb15629471494e736d07a84.tar.lz nixlib-7365907de5a4e2667fb15629471494e736d07a84.tar.xz nixlib-7365907de5a4e2667fb15629471494e736d07a84.tar.zst nixlib-7365907de5a4e2667fb15629471494e736d07a84.zip | |
Adds ocaml-io-page
This OCaml library implements support for efficient handling of I/O memory pages on Unix and Xen. Homepage: https://github.com/mirage/io-page
Diffstat (limited to 'pkgs/development/ocaml-modules')
| -rw-r--r-- | pkgs/development/ocaml-modules/io-page/default.nix | 24 |
1 files changed, 24 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 000000000000..25fa60139d6e --- /dev/null +++ b/pkgs/development/ocaml-modules/io-page/default.nix @@ -0,0 +1,24 @@ +{ stdenv, fetchzip, ocaml, findlib, cstruct }: + +let version = "1.4.0"; in + +stdenv.mkDerivation { + name = "ocaml-io-page-${version}"; + + src = fetchzip { + url = "https://github.com/mirage/io-page/archive/v${version}.tar.gz"; + sha256 = "05m1gbcy72i6gikdijbkpw8pfygc86a3l4k8ayyl58019l6qa2fq"; + }; + + buildInputs = [ ocaml findlib ]; + propagatedBuildInputs = [ cstruct ]; + + createFindlibDestdir = true; + + meta = { + homepage = https://github.com/mirage/io-page; + platforms = ocaml.meta.platforms; + description = "IO memory page library for Mirage backends"; + maintainers = with stdenv.lib.maintainers; [ vbgl ]; + }; +} |