[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60673] [PATCH v2 10/39] gnu: Add ocaml-mirage.
From: |
Csepp |
Subject: |
[bug#60673] [PATCH v2 10/39] gnu: Add ocaml-mirage. |
Date: |
Wed, 15 Feb 2023 22:59:59 +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 bf57dc153a..d89b538d31 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3754,6 +3754,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.39.1
- [bug#60673] [PATCH v2 19/39] gnu: Add ocaml-ptime., (continued)
- [bug#60673] [PATCH v2 19/39] gnu: Add ocaml-ptime., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 20/39] gnu: Add ocaml-mirage-logs., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 31/39] gnu: Add ocaml-async., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 23/39] gnu: Add ocaml-intrinsics., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 33/39] gnu: Add ocaml-shared-memory-ring-lwt., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 32/39] gnu: Add ocaml-shared-memory-ring., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 35/39] gnu: Add ocaml-io-page., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 26/39] gnu: Add ocaml-async-unix., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 25/39] gnu: Add ocaml-async-kernel., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 27/39] gnu: Add ocaml-textutils-kernel., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 10/39] gnu: Add ocaml-mirage.,
Csepp <=
- [bug#60673] [PATCH v2 28/39] gnu: Add ocaml-textutils., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 29/39] gnu: Add ocaml-protocol-version-header., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 39/39] gnu: Add ocaml-mirage-bootvar-unix., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 34/39] gnu: Add ocaml-xenstore., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 36/39] gnu: Add ocaml-bheap., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 22/39] gnu: Add ocaml-expect-test-helpers-core., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 24/39] gnu: Add ocaml-core-unix., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 30/39] gnu: Add ocaml-async-rpc-kernel., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 38/39] gnu: Add ocaml-parse-argv., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 37/39] gnu: Add ocaml-mirage-xen., Csepp, 2023/02/15