ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-31 16:42:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add ocaml-mirage-xen.

Browse source 
* gnu/packages/ocaml.scm (ocaml-mirage-xen): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
This commit is contained in:
raingloom 2023-02-15 23:00:26 +01:00 committed by Christopher Baines
parent 991a289a02
commit 9658d29ab8
No known key found for this signature in database
GPG key ID: 5E28A33B0B84F577
1 changed files with 34 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
gnu/packages/ocaml.scm
View file

@ -3084,6 +3084,40 @@ (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")