[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60673] [PATCH 37/39] gnu: Add ocaml-mirage-xen.
From: |
Csepp |
Subject: |
[bug#60673] [PATCH 37/39] gnu: Add ocaml-mirage-xen. |
Date: |
Mon, 9 Jan 2023 01:35:27 +0100 |
From: raingloom <raingloom@riseup.net>
* gnu/packages/ocaml.scm (ocaml-mirage-xen): New variable.
---
gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index b3a4e5e01d..d6279d6d7d 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3088,6 +3088,39 @@ (define-public ocaml-xenstore
;; Has a linking exception, see LICENSE.md.
(license license:lgpl2.1)))
+(define-public ocaml-mirage-xen
+ (package
+ (name "ocaml-mirage-xen")
+ (version "8.0.1")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/mirage/mirage-xen")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1qydg92dbw8hj4b809apj0f51cjgmamq3zdf34a4wyn5jv85yzyx"))))
+ (build-system dune-build-system)
+ (propagated-inputs (list ocaml-cstruct
+ ocaml-lwt
+ ocaml-shared-memory-ring-lwt
+ ocaml-xenstore
+ ocaml-lwt-dllist
+ ;;ocaml-mirage-profile dependency cycle
+ ocaml-io-page
+ ocaml-mirage-runtime
+ ocaml-logs
+ ocaml-fmt
+ ocaml-bheap
+ ocaml-duration))
+ (home-page "https://github.com/mirage/mirage-xen")
+ (synopsis "Xen core platform libraries for MirageOS")
+ (description "MirageOS OS library for Xen targets, which handles the main
+loop and timers. It also provides the low level C startup code and C stubs
+required by the OCaml code.")
+ (license license:isc)))
+
(define-public ocaml-io-page
(package
(name "ocaml-io-page")
--
2.38.1
- [bug#60673] [PATCH 22/39] gnu: Add ocaml-expect-test-helpers-core., (continued)
- [bug#60673] [PATCH 22/39] gnu: Add ocaml-expect-test-helpers-core., Csepp, 2023/01/08
- [bug#60673] [PATCH 32/39] gnu: Add ocaml-shared-memory-ring., Csepp, 2023/01/08
- [bug#60673] [PATCH 34/39] gnu: Add ocaml-xenstore., Csepp, 2023/01/08
- [bug#60673] [PATCH 36/39] gnu: Add ocaml-bheap., Csepp, 2023/01/08
- [bug#60673] [PATCH 29/39] gnu: Add ocaml-protocol-version-header., Csepp, 2023/01/08
- [bug#60673] [PATCH 18/39] gnu: Add ocaml-mirage-clock., Csepp, 2023/01/08
- [bug#60673] [PATCH 26/39] gnu: Add ocaml-async-unix., Csepp, 2023/01/08
- [bug#60673] [PATCH 30/39] gnu: Add ocaml-async-rpc-kernel., Csepp, 2023/01/08
- [bug#60673] [PATCH 27/39] gnu: Add ocaml-textutils-kernel., Csepp, 2023/01/08
- [bug#60673] [PATCH 33/39] gnu: Alias ocaml-shared-memory-ring-lwt to ocaml-shared-memory-ring., Csepp, 2023/01/08
- [bug#60673] [PATCH 37/39] gnu: Add ocaml-mirage-xen.,
Csepp <=
- [bug#60673] [PATCH 38/39] gnu: Add ocaml-parse-argv., Csepp, 2023/01/08