[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
37/45: gnu: Add ocaml-mirage-xen.
From: |
guix-commits |
Subject: |
37/45: gnu: Add ocaml-mirage-xen. |
Date: |
Fri, 17 Feb 2023 10:49:39 -0500 (EST) |
cbaines pushed a commit to branch master
in repository guix.
commit 9658d29ab875e4c0ab60ba8399b5d237e5a2ff9f
Author: raingloom <raingloom@riseup.net>
AuthorDate: Wed Feb 15 23:00:26 2023 +0100
gnu: Add ocaml-mirage-xen.
* gnu/packages/ocaml.scm (ocaml-mirage-xen): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
---
gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index a1f691c655..2219ec72c0 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3084,6 +3084,40 @@ The client and the server libraries have sets of
unit-tests.")
;; 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")
- 33/45: gnu: Add ocaml-shared-memory-ring-lwt., (continued)
- 33/45: gnu: Add ocaml-shared-memory-ring-lwt., guix-commits, 2023/02/17
- 38/45: gnu: Add ocaml-parse-argv., guix-commits, 2023/02/17
- 43/45: gnu: Add python-virtualenv-clone., guix-commits, 2023/02/17
- 06/45: gnu: Add ocaml-emile., guix-commits, 2023/02/17
- 09/45: gnu: Add ocaml-functoria., guix-commits, 2023/02/17
- 42/45: gnu: Add chathistorysync., guix-commits, 2023/02/17
- 45/45: gnu: Add clipman., guix-commits, 2023/02/17
- 01/45: gnu: Add ocaml-domain-name., guix-commits, 2023/02/17
- 25/45: gnu: Add ocaml-async-kernel., guix-commits, 2023/02/17
- 36/45: gnu: Add ocaml-bheap., guix-commits, 2023/02/17
- 37/45: gnu: Add ocaml-mirage-xen.,
guix-commits <=
- 40/45: gnu: p11-kit-next: Switch to meson-build-system., guix-commits, 2023/02/17
- 13/45: gnu: Add ocaml-mirage-time., guix-commits, 2023/02/17
- 19/45: gnu: Add ocaml-ptime., guix-commits, 2023/02/17
- 20/45: gnu: Add ocaml-mirage-logs., guix-commits, 2023/02/17
- 12/45: gnu: Add ocaml-mirage-unix., guix-commits, 2023/02/17
- 30/45: gnu: Add ocaml-async-rpc-kernel., guix-commits, 2023/02/17
- 29/45: gnu: Add ocaml-protocol-version-header., guix-commits, 2023/02/17
- 35/45: gnu: Add ocaml-io-page., guix-commits, 2023/02/17
- 41/45: gnu: Add go-gopkg-in-irc-v3., guix-commits, 2023/02/17
- 44/45: gnu: Add docker-registry., guix-commits, 2023/02/17