public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.mirage-types: init at 3.9.0

Browse Source
This commit is contained in:
Vincent Laporte 2020-11-28 10:01:27 +01:00 committed by Vincent Laporte
parent 0f593fcac7
commit 19f9b87e51
2 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/development/ocaml-modules/mirage/types.nix Normal file
View File

@ -0,0 +1,19 @@
{ lib, buildDunePackage, mirage
, mirage-block, mirage-channel, mirage-clock, mirage-console, mirage-device
, mirage-flow, mirage-fs, mirage-kv, mirage-net, mirage-protocols, mirage-random
, mirage-stack, mirage-time
}:
buildDunePackage {
pname = "mirage-types";
inherit (mirage) src version useDune2;
propagatedBuildInputs = [ mirage-block mirage-channel mirage-clock
mirage-console mirage-device mirage-flow mirage-fs mirage-kv mirage-net
mirage-protocols mirage-random mirage-stack mirage-time
];
meta = mirage.meta // {
description = "Module type definitions for MirageOS applications";
};
}

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

@ -599,6 +599,8 @@ let
mirage-time-unix = callPackage ../development/ocaml-modules/mirage-time/unix.nix { }; mirage-time-unix = callPackage ../development/ocaml-modules/mirage-time/unix.nix { };
mirage-types = callPackage ../development/ocaml-modules/mirage/types.nix { };
mirage-unix = callPackage ../development/ocaml-modules/mirage-unix { }; mirage-unix = callPackage ../development/ocaml-modules/mirage-unix { };
mlgmp = callPackage ../development/ocaml-modules/mlgmp { }; mlgmp = callPackage ../development/ocaml-modules/mlgmp { };