[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#60678: closed ([PATCH 08/39] gnu: Add ocaml-mirage-runtime.)

From: GNU bug Tracking System
Subject: bug#60678: closed ([PATCH 08/39] gnu: Add ocaml-mirage-runtime.)
Date: Fri, 17 Feb 2023 15:53:04 +0000

Your message dated Fri, 17 Feb 2023 15:50:00 +0000
with message-id <873574mgrg.fsf@cbaines.net>
and subject line Re: [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name.
has caused the debbugs.gnu.org bug report #60673,
regarding [PATCH 08/39] gnu: Add ocaml-mirage-runtime.
to be marked as done.

(If you believe you have received this mail in error, please contact

60673: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60673
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH 08/39] gnu: Add ocaml-mirage-runtime. Date: Mon, 9 Jan 2023 01:34:58 +0100
From: raingloom <raingloom@riseup.net>

* gnu/packages/ocaml.scm (ocaml-mirage-runtime): New variable.
 gnu/packages/ocaml.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1cc930292c..e0e6a7e1cb 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3717,6 +3717,27 @@ (define-public ocaml-functoria-runtime
      "This is the runtime support library for code generated by functoria.")
     (license license:isc)))
+(define-public ocaml-mirage-runtime
+  (package
+    (inherit ocaml-functoria-runtime)
+    (name "ocaml-mirage-runtime")
+    (build-system dune-build-system)
+    (arguments
+     '(#:package "mirage-runtime"
+       ;; 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-ipaddr ocaml-functoria-runtime ocaml-fmt
+                             ocaml-logs ocaml-lwt))
+    (native-inputs (list ocaml-alcotest))
+    (home-page "https://github.com/mirage/mirage";)
+    (synopsis
+     "The base MirageOS runtime library, part of every MirageOS unikernel")
+    (description
+     "This package provides a bundle of useful runtime functions for
+applications built with MirageOS")
+    (license license:isc)))
 (define-public ocaml-ocurl
     (name "ocaml-ocurl")

--- End Message ---
--- Begin Message --- Subject: Re: [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name. Date: Fri, 17 Feb 2023 15:50:00 +0000 User-agent: mu4e 1.8.11; emacs 28.2
Julien Lepiller <julien@lepiller.eu> writes:

> https://qa.guix.gnu.org/issue/60673 has picked it up at least :). We
> still need to wait for a few builds.

Everything looks to have built on x86_64-linux and aarch64-linux, plus
there are no introduced lint warnings now (for the checkers the data
service runs at least), so I've gone ahead and pushed these patches to
master as 48724a66422e02995e62e2f707dcd9087d43bee5.



Attachment: signature.asc
Description: PGP signature

--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]