guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

12/45: gnu: Add ocaml-mirage-unix.


From: guix-commits
Subject: 12/45: gnu: Add ocaml-mirage-unix.
Date: Fri, 17 Feb 2023 10:49:32 -0500 (EST)

cbaines pushed a commit to branch master
in repository guix.

commit 1132921ea6a978941e27cdbbf69cd0108fa77af9
Author: raingloom <raingloom@riseup.net>
AuthorDate: Wed Feb 15 23:00:01 2023 +0100

    gnu: Add ocaml-mirage-unix.
    
    * gnu/packages/ocaml.scm (ocaml-mirage-unix): New variable.
    
    Signed-off-by: Christopher Baines <mail@cbaines.net>
---
 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 @@ unsigned 64 bit integer.  This has a range of up to 584 
years.  Functions
 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")



reply via email to

[Prev in Thread] Current Thread [Next in Thread]