[PATCH] gnu: ocaml-cairo2: Fix compilation.

  • Done
  • quality assurance status badge
Details
2 participants
  • Guillaume Le Vaillant
  • Jean-Pierre De Jesus Diaz
Owner
unassigned
Submitted by
Jean-Pierre De Jesus Diaz
Severity
normal

Debbugs page

J
J
Jean-Pierre De Jesus Diaz wrote on 3 Sep 01:51 -0700
(address . guix-patches@gnu.org)
CAG1gdUqqMvFv-jcJZe2gw8SpoKg=CGeqAtDznYqnqohq0uanPA@mail.gmail.com
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(-)

Toggle diff (25 lines)
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
G
G
Guillaume Le Vaillant wrote on 3 Sep 03:06 -0700
(name . Jean-Pierre De Jesus Diaz)(address . jean@foundation.xyz)(address . 72998@debbugs.gnu.org)
87h6axrr07.fsf@kitej
Jean-Pierre De Jesus Diaz <jean@foundation.xyz> skribis:

Toggle quote (11 lines)
> 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.
>
> [...]
> + (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"))

A fix for lablgtk was pushed yesterday in
0aa66ec0b0bef39591ddae3d8d06ac0fa71f03bb, so ocaml-cairo2 should build
now.
-----BEGIN PGP SIGNATURE-----

iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCZtbfiA8cZ2x2QHBvc3Rl
by5uZXQACgkQa+ggit8h/j8lZAD+JOWGSBVMQ7loSIc1ANV+8zMo/TljyzzscKKt
eauMpH8A/2Jtr24zJvWu0SdYOPjaBH6ek/8nNBc5y6J6RghdvGhu
=LdhZ
-----END PGP SIGNATURE-----

J
J
Jean-Pierre De Jesus Diaz wrote on 3 Sep 03:23 -0700
(name . Guillaume Le Vaillant)(address . glv@posteo.net)(address . 72998@debbugs.gnu.org)
CAG1gdUoSQ68dahcsXcX4MK=Sx4ctAYbVYexunEY10CMxfQSB5g@mail.gmail.com
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?

On Tue, Sep 3, 2024 at 10:06 AM Guillaume Le Vaillant <glv@posteo.net> wrote:
Toggle quote (17 lines)
>
> Jean-Pierre De Jesus Diaz <jean@foundation.xyz> skribis:
>
> > 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.
> >
> > [...]
> > + (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"))
>
> A fix for lablgtk was pushed yesterday in
> 0aa66ec0b0bef39591ddae3d8d06ac0fa71f03bb, so ocaml-cairo2 should build
> now.
G
G
Guillaume Le Vaillant wrote on 3 Sep 04:11 -0700
(name . Jean-Pierre De Jesus Diaz)(address . jean@foundation.xyz)(address . 72998-close@debbugs.gnu.org)
87cyllrnyd.fsf@kitej
Jean-Pierre De Jesus Diaz <jean@foundation.xyz> skribis:

Toggle quote (7 lines)
> 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.
-----BEGIN PGP SIGNATURE-----

iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCZtbu+g8cZ2x2QHBvc3Rl
by5uZXQACgkQa+ggit8h/j9gCQEAnzeN+VnVTj+aDbFiymUGPx4t099an4MVBFuF
lx7QA9cBAI8gngTzaE204OaVIBaeKwq2r6iVFRH3GturEizPYN2r
=Clgo
-----END PGP SIGNATURE-----

?
Your comment

This issue is archived.

To comment on this conversation send an email to 72998@patchwise.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 72998
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch