bug#72998: closed ([PATCH] gnu: ocaml-cairo2: Fix compilation.)

[GNU bug Tracking System]

Your message dated Tue, 03 Sep 2024 11:11:54 +0000
with message-id <87cyllrnyd.fsf@kitej>
and subject line Re: [bug#72998] [PATCH] gnu: ocaml-cairo2: Fix compilation.
has caused the debbugs.gnu.org bug report #72998,
regarding [PATCH] gnu: ocaml-cairo2: Fix compilation.
to be marked as done.

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


-- 
72998: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72998
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: ocaml-cairo2: Fix compilation.
>
>
>
>
> Date: 
>
> Tue, 3 Sep 2024 08:51:01 +0000
>
>
>
>
> This fixes the compilation of coq-ide, frama-c and why3.
>
> * gnu/packages/ocaml.scm (ocaml-cairo2): Build only cairo2 dune package,
> and remove lablgtk and gtk-2 from inputs.
>
> Change-Id: I8ba1b6bc0bfd8a9dcddf43f34d767e7574ace49a
> ---
>  gnu/packages/ocaml.scm | 9 ++++++---
>  1 file changed, 6 insertions(+), 3 deletions(-)
>
> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
> index 0e357bc891..d8f5eedb9e 100644
> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -8401,10 +8401,13 @@ (define-public ocaml-cairo2
>                 (base32
>                  "06ag9b88ihhr7yd3s9l0ac7ysig02fmlmsswybbsvz71ni0mb105"))))
>      (build-system dune-build-system)
> +    (arguments
> +     (list ;; FIXME: lablgtk@2 package does not build, so skip building the
> +           ;; cairo-pango and cairo-gtk packages.  Once fixed, add lablgtk
> +           ;; back to inputs and remove this.
> +           #:package "cairo2"))
>      (inputs
> -     `(("cairo" ,cairo)
> -       ("gtk+-2" ,gtk+-2)
> -       ("lablgtk" ,lablgtk)))
> +     (list cairo))
>      (native-inputs
>       (list pkg-config))
>      (home-page "https://github.com/Chris00/ocaml-cairo";)
>
> base-commit: 3c21d0da62b3d6832dd1ab450d8ab50ab8d38f27
> -- 
> 2.45.2
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#72998] [PATCH] gnu: ocaml-cairo2: Fix compilation. Date: Tue, 03 Sep 2024 11:11:54 +0000

Jean-Pierre De Jesus Diaz <jean@foundation.xyz> skribis:

> Hello,
>
> Sorry for the noise then, didn't notice a fix was already there.
>
> I'm still a bit of a noob with Debbugs, so is there a way to close the
> issue from my side?

No problem. To close an issue, you can just send an email to
<nnnnnn-done@debbugs.gnu.org> or <nnnnnn-close@debbugs.gnu.org> (where
nnnnnn is the issue number), like I did with this email.

signature.asc
Description: PGP signature

--- End Message ---