[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60680] [PATCH 10/39] gnu: Add ocaml-mirage.
From: |
Csepp |
Subject: |
[bug#60680] [PATCH 10/39] gnu: Add ocaml-mirage. |
Date: |
Mon, 9 Jan 2023 01:35:00 +0100 |
From: raingloom <raingloom@riseup.net>
* gnu/packages/ocaml.scm (ocaml-mirage): New variable.
---
gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 945ed87701..d33b5ba5f0 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3761,6 +3761,30 @@ (define-public ocaml-functoria
case is mirage.")
(license license:isc)))
+(define-public ocaml-mirage
+ (package
+ (inherit ocaml-functoria-runtime)
+ (name "ocaml-mirage")
+ (build-system dune-build-system)
+ (arguments
+ '(#:package "mirage"
+ ;; TODO again, wants opam, other tests seem to pass
+ ;; look for a way to disable tests that want 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
+ "The 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)))
+
(define-public ocaml-ocurl
(package
(name "ocaml-ocurl")
--
2.38.1
- [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name., Csepp, 2023/01/08
- [bug#60671] [PATCH 02/39] gnu: Add ocaml-macaddr., Csepp, 2023/01/08
- [bug#60674] [PATCH 04/39] gnu: Add ocaml-opam-monorepo., Csepp, 2023/01/08
- [bug#60675] [PATCH 05/39] gnu: Add ocaml-pecu., Csepp, 2023/01/08
- [bug#60672] [PATCH 03/39] gnu: Add ocaml-ipaddr., Csepp, 2023/01/08
- [bug#60676] [PATCH 06/39] gnu: Add ocaml-emile., Csepp, 2023/01/08
- [bug#60678] [PATCH 08/39] gnu: Add ocaml-mirage-runtime., Csepp, 2023/01/08
- [bug#60681] [PATCH 11/39] gnu: Add ocaml-duration., Csepp, 2023/01/08
- [bug#60677] [PATCH 07/39] gnu: Add ocaml-functoria-runtime, Csepp, 2023/01/08
- [bug#60679] [PATCH 09/39] gnu: Add ocaml-functoria., Csepp, 2023/01/08
- [bug#60680] [PATCH 10/39] gnu: Add ocaml-mirage.,
Csepp <=
- [bug#60682] [PATCH 12/39] gnu: Add ocaml-mirage-unix., Csepp, 2023/01/08
- [bug#60683] [PATCH 13/39] gnu: Add ocaml-mirage-time., Csepp, 2023/01/08
- [bug#60673] [PATCH 14/39] gnu: Add aliases for ocaml-cstruct and ocaml-lwt subpackages., Csepp, 2023/01/08
- [bug#60673] [PATCH 17/39] gnu: Add ocaml-mirage-profile., Csepp, 2023/01/08
- [bug#60673] [PATCH 21/39] gnu: Add ocaml-sexp-pretty., Csepp, 2023/01/08
- [bug#60673] [PATCH 28/39] gnu: Add ocaml-textutils., Csepp, 2023/01/08
- [bug#60673] [PATCH 25/39] gnu: Add ocaml-async-kernel., Csepp, 2023/01/08
- [bug#60673] [PATCH 39/39] gnu: Add ocaml-mirage-bootvar-unix., Csepp, 2023/01/08
- [bug#60673] [PATCH 23/39] gnu: Add ocaml-intrinsics., Csepp, 2023/01/08
- [bug#60673] [PATCH 19/39] gnu: Add ocaml-ptime., Csepp, 2023/01/08