guix_mirror_bot pushed a commit to branch ocaml-team
in repository guix.
commit 30463fa724c888ea550dd1345d9ab0f141b5f0bc
Author: Jason Conroy <[email protected]>
AuthorDate: Mon Feb 16 09:02:15 2026 -0500
gnu: ocaml5: Add ocaml-mirage.
* gnu/packages/ocaml5.scm (ocaml-mirage): New variable.
Change-Id: I60ffac66d9f73550c9aa1d27212039f902ed263b
Signed-off-by: Julien Lepiller <[email protected]>
---
gnu/packages/ocaml5.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/ocaml5.scm b/gnu/packages/ocaml5.scm
index 1c3e4c819b..c7ef889f41 100644
--- a/gnu/packages/ocaml5.scm
+++ b/gnu/packages/ocaml5.scm
@@ -3854,6 +3854,31 @@ how to apply them in order to produce a complete
application. The main use
case is Mirage.")
(license license:isc)))
+(define-public ocaml-mirage
+ (package
+ (inherit %ocaml-mirage-base)
+ (name "ocaml5-mirage")
+ (arguments
+ '(#:package "mirage"
+ ;; some tests require opam, which needs network access.
+ #:tests? #f))
+ (propagated-inputs (list ocaml-astring
+ ocaml-bos
+ ocaml-functoria
+ ocaml-ipaddr
+ ocaml-logs
+ ocaml-mirage-runtime
+ ocaml-opam-monorepo))
+ (native-inputs (list ocaml-alcotest ocaml-fmt))
+ (home-page "https://github.com/mirage/mirage";)
+ (synopsis "MirageOS library operating system")
+ (description
+ "Library operating system that constructs unikernels for secure,
+high-performance network applications across a variety of cloud computing and
+mobile platforms. Code can be developed on a normal OS and then compiled into
+a fully-standalone, specialised unikernel.")
+ (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
