From 1132921ea6a978941e27cdbbf69cd0108fa77af9 Mon Sep 17 00:00:00 2001 From: raingloom Date: Wed, 15 Feb 2023 23:00:01 +0100 Subject: [PATCH] gnu: Add ocaml-mirage-unix. * gnu/packages/ocaml.scm (ocaml-mirage-unix): New variable. Signed-off-by: Christopher Baines --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0093ef0032..ca53dd67ee 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3800,6 +3800,27 @@ (define-public ocaml-duration provided check the input and raise on negative or out of bound input.") (license license:isc))) +(define-public ocaml-mirage-unix + (package + (name "ocaml-mirage-unix") + (version "5.0.1") + (source (origin + (method url-fetch) + (uri (string-append + "https://github.com/mirage/mirage-unix/releases/download/v" + version "/mirage-unix-5.0.1.tbz")) + (sha256 + (base32 + "1y44hvsd5lxqbazwkv9n6cn936lpn8l7v82wf55w4183fp70nnjk")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-lwt ocaml-duration ocaml-mirage-runtime)) + (home-page "https://github.com/mirage/mirage-unix") + (synopsis "Unix core platform libraries for MirageOS") + (description + "This package provides the MirageOS `OS` library for Unix targets, which +handles the main loop and timers.") + (license license:isc))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl")