guix_mirror_bot pushed a commit to branch ocaml-team
in repository guix.
commit 9b5db46235ca06f0c571fede780479ec1a40199b
Author: Jason Conroy <[email protected]>
AuthorDate: Mon Feb 16 08:53:03 2026 -0500
gnu: ocaml5: Add ocaml-mirage-runtime.
* gnu/packages/ocaml5.scm (ocaml-mirage-runtime): New variable.
Change-Id: I4c4a3b5b608618e46f9edabf7cfffe97304a54d4
Signed-off-by: Julien Lepiller <[email protected]>
---
gnu/packages/ocaml5.scm | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/gnu/packages/ocaml5.scm b/gnu/packages/ocaml5.scm
index a960718e55..2248983e85 100644
--- a/gnu/packages/ocaml5.scm
+++ b/gnu/packages/ocaml5.scm
@@ -3808,6 +3808,25 @@ a fully-standalone, specialised unikernel.")
"This is a runtime support library for MirageOS, a library operating
system
that constructs unikernels.")))
+(define-public ocaml-mirage-runtime
+ (package
+ (inherit %ocaml-mirage-base)
+ (name "ocaml5-mirage-runtime")
+ (build-system dune-build-system)
+ (arguments
+ '(#:package "mirage-runtime"
+ ;; some tests require opam, which needs network access.
+ #:tests? #f))
+ (propagated-inputs (list ocaml-ipaddr ocaml-functoria-runtime ocaml-fmt
+ ocaml-logs ocaml-lwt))
+ (native-inputs (list ocaml-alcotest))
+ (home-page "https://github.com/mirage/mirage";)
+ (synopsis "Core runtime library used by all MirageOS unikernels")
+ (description
+ "This package provides a bundle of useful runtime functions for
+applications built with MirageOS.")
+ (license license:isc)))
+
;;;
;;; Avoid adding new packages to the end of this file. To reduce the chances
;;; of a merge conflict, place them above by existing packages with similar
