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

ocamlPackages.mirage-unix: init at 4.0.0

Browse Source
This commit is contained in:
sternenseemann 2020-05-21 00:56:00 +02:00 committed by Vincent Laporte
parent 3ca20e824f
commit 0684381e27
2 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/ocaml-modules/mirage-unix/default.nix Normal file
View File

@ -0,0 +1,21 @@
{ lib, buildDunePackage, fetchurl, ocaml_lwt, duration, mirage-runtime, io-page-unix }:
buildDunePackage rec {
pname = "mirage-unix";
version = "4.0.0";
src = fetchurl {
url = "https://github.com/mirage/${pname}/releases/download/v${version}/${pname}-v${version}.tbz";
sha256 = "0kyd83bkpjhn382b4mw3a4325xr8vms78znxqvifpcyfvfnlx7hj";
};
propagatedBuildInputs = [ ocaml_lwt duration mirage-runtime io-page-unix ];
doCheck = true;
meta = with lib; {
homepage = "https://github.com/mirage/mirage-unix";
description = "Unix core platform libraries for MirageOS";
license = licenses.isc;
maintainers = with maintainers; [ sternenseemann ];
};
}

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

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