bug#60680: closed ([PATCH 10/39] gnu: Add ocaml-mirage.)

[GNU bug Tracking System]

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 10/39] gnu: Add ocaml-mirage.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
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 10/39] gnu: Add ocaml-mirage.
>
>
>
>
> Date: 
>
> Mon,  9 Jan 2023 01:35:00 +0100
>
>
>
>
> From: raingloom <raingloom@riseup.net>
>
> * gnu/packages/ocaml.scm (ocaml-mirage): New variable.
> ---
>  gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
>  1 file changed, 24 insertions(+)
>
> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
> index 945ed87701..d33b5ba5f0 100644
> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -3761,6 +3761,30 @@ (define-public ocaml-functoria
>  case is mirage.")
>      (license license:isc)))
>  
> +(define-public ocaml-mirage
> +  (package
> +    (inherit ocaml-functoria-runtime)
> +    (name "ocaml-mirage")
> +    (build-system dune-build-system)
> +    (arguments
> +     '(#:package "mirage"
> +       ;; 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-astring ocaml-bos ocaml-functoria ocaml-ipaddr ocaml-logs
> +           ocaml-mirage-runtime ocaml-opam-monorepo))
> +    (native-inputs (list ocaml-alcotest ocaml-fmt))
> +    (home-page "https://github.com/mirage/mirage";)
> +    (synopsis
> +     "The MirageOS library operating system")
> +    (description
> +     "Library operating system that constructs unikernels for secure,
> +high-performance network applications across a variety of cloud computing and
> +mobile platforms.  Code can be developed on a normal OS and then compiled into
> +a fully-standalone, specialised unikernel.")
> +    (license license:isc)))
> +
>  (define-public ocaml-ocurl
>    (package
>      (name "ocaml-ocurl")
> -- 
> 2.38.1
>
>
>
>
> --- 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.

Thanks,

Chris

signature.asc
Description: PGP signature

--- End Message ---