philipp
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

ocamlPackages.mirage-time(-unix): init at 2.0.1

gstqt5
sternenseemann 2020-04-23 18:23:25 +02:00 committed by Vincent Laporte
parent bc675971da
commit b5f9eb06b5
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
3 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/development/ocaml-modules/mirage-time/default.nix Normal file
View File

@ -0,0 +1,22 @@
{ lib, buildDunePackage, fetchurl, ocaml_lwt }:
buildDunePackage rec {
minimumOCamlVersion = "4.06";
pname = "mirage-time";
version = "2.0.1";
src = fetchurl {
url = "https://github.com/mirage/mirage-time/releases/download/v${version}/mirage-time-v${version}.tbz";
sha256 = "1w6mm4g7fc19cs0ncs0s9fsnb1k1s04qqzs9bsqvq8ngsb90cbh0";
};
propagatedBuildInputs = [ ocaml_lwt ];
meta = with lib; {
homepage = "https://github.com/mirage/mirage-time";
description = "Time operations for MirageOS";
license = licenses.isc;
maintainers = with maintainers; [ sternenseemann ];
};
}

13
pkgs/development/ocaml-modules/mirage-time/unix.nix Normal file
View File

@ -0,0 +1,13 @@
{ buildDunePackage, fetchurl, mirage-time, ocaml_lwt, duration }:
buildDunePackage {
pname = "mirage-time-unix";
inherit (mirage-time) src version minimumOCamlVersion;
propagatedBuildInputs = [ mirage-time ocaml_lwt duration ];
meta = mirage-time.meta // {
description = "Time operations for MirageOS on Unix";
};
}

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

@ -562,6 +562,10 @@ let
mirage-stack = callPackage ../development/ocaml-modules/mirage-stack { };
mirage-time = callPackage ../development/ocaml-modules/mirage-time { };
mirage-time-unix = callPackage ../development/ocaml-modules/mirage-time/unix.nix { };
mlgmp = callPackage ../development/ocaml-modules/mlgmp { };
mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { };