GNU bug report logs - #60673
[PATCH 01/39] gnu: Add ocaml-domain-name.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Christopher Baines <mail <at> cbaines.net>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#60678: closed ([PATCH 08/39] gnu: Add ocaml-mirage-runtime.)
Date: Fri, 17 Feb 2023 15:53:04 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 17 Feb 2023 15:50:00 +0000
with message-id <873574mgrg.fsf <at> 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
help-debbugs <at> gnu.org.)


-- 
60673: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60673
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Csepp <raingloom <at> riseup.net>
To: guix-patches <at> gnu.org
Cc: raingloom <raingloom <at> riseup.net>
Subject: [PATCH 08/39] gnu: Add ocaml-mirage-runtime.
Date: Mon,  9 Jan 2023 01:34:58 +0100

From: raingloom <raingloom <at> 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
   (package
     (name "ocaml-ocurl")
-- 
2.38.1

[Message part 3 (message/rfc822, inline)]

From: Christopher Baines <mail <at> cbaines.net>
To: raingloom <at> riseup.net
Cc: Julien Lepiller <julien <at> lepiller.eu>, 60673-done <at> debbugs.gnu.org,
 guix-patches <at> gnu.org
Subject: Re: [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name.
Date: Fri, 17 Feb 2023 15:50:00 +0000

[Message part 4 (text/plain, inline)]

Julien Lepiller <julien <at> 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.

Thanks,

Chris

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.