ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-20 08:59:32 +03:00
Code Issues Projects Releases Wiki Activity

ocamlPackages.mirage-flow-unix/-combinators: init at 2.0.1

Browse Source
This commit is contained in:
sternenseemann 2020-04-13 15:51:58 +02:00 committed by Vincent Laporte
parent 7538b79607
commit f234b2bce7
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
3 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/ocaml-modules/mirage-flow/combinators.nix Normal file
View File

@ -0,0 +1,13 @@
{ buildDunePackage, mirage-flow, fmt, ocaml_lwt, logs, cstruct, mirage-clock }:
buildDunePackage {
pname = "mirage-flow-combinators";
inherit (mirage-flow) version src;
propagatedBuildInputs = [ ocaml_lwt logs cstruct mirage-clock mirage-flow ];
meta = mirage-flow.meta // {
description = "Flow implementations and combinators for MirageOS specialized to lwt";
};
}

17
pkgs/development/ocaml-modules/mirage-flow/unix.nix Normal file
View File

@ -0,0 +1,17 @@
{ buildDunePackage, fmt, logs, mirage-flow, ocaml_lwt, cstruct
, alcotest, mirage-flow-combinators }:
buildDunePackage {
pname = "mirage-flow-unix";
inherit (mirage-flow) version src;
propagatedBuildInputs = [ fmt logs mirage-flow ocaml_lwt cstruct ];
doCheck = true;
checkInputs = [ alcotest mirage-flow-combinators ];
meta = mirage-flow.meta // {
description = "Flow implementations and combinators for MirageOS on Unix";
};
}

4
pkgs/top-level/ocaml-packages.nix
View File

@ -550,6 +550,10 @@ let
mirage-flow = callPackage ../development/ocaml-modules/mirage-flow { };
mirage-flow-combinators = callPackage ../development/ocaml-modules/mirage-flow/combinators.nix { };
mirage-flow-unix = callPackage ../development/ocaml-modules/mirage-flow/unix.nix { };
mirage-protocols = callPackage ../development/ocaml-modules/mirage-protocols { };
mirage-random = callPackage ../development/ocaml-modules/mirage-random { };