GNU bug report logs - #67623
[PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.

Previous Next

To reply to this bug, email your comments to 67623 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
To: guix-patches <at> gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Subject: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Mon,  4 Dec 2023 14:36:56 +0100

This fixes the gtk+ package to correctly depend on zlib on the
pkg-config file as right now it specifies it as -lz but pkg-config is
not able to find the library directory of zlib because it is not listed.

This changes it so that zlib appears in the requires field.

This in turns fixes the coq-ide package build which wasn't able to find
zlib for that reason, and also simplifies the frama-c package which
worked around this by just adding zlib as an input.

I think it's best to use pkg-config way of doing things which simplifies
packages IMO instead of adding zlib to packages that require gtk+ and
don't have zlib listed in inputs.

Additionally moves gtksourceview-3 from native inputs to inputs as it is
a runtime dependency.

Jean-Pierre De Jesus DIAZ (3):
  gnu: gtk+: Require zlib in gdk-3.0.pc.
  gnu: ocaml-lablgtk3-sourceview3: Fix inputs.
  gnu: frama-c: Remove zlib from inputs.

 gnu/packages/gtk.scm   | 13 ++++++++++++-
 gnu/packages/maths.scm |  3 +--
 gnu/packages/ocaml.scm |  2 +-
 3 files changed, 14 insertions(+), 4 deletions(-)

-- 
2.41.0

Message #8 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
To: 67623 <at> debbugs.gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Subject: [PATCH 1/3] gnu: gtk+: Require zlib in gdk-3.0.pc.
Date: Mon,  4 Dec 2023 14:39:31 +0100

* gnu/packages/gtk.scm (gtk+) <inputs>: Add zlib.

* gnu/packages/gtk.scm (gtk+) <arguments>: Add 'add-zlib-to-gdk-3.0.pc
  phase.

Change-Id: I5efadebded159e0bd495ec07020b431413bd6e10
---
 gnu/packages/gtk.scm | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/gtk.scm b/gnu/packages/gtk.scm
index 47d4c1808f..752c9f456d 100644
--- a/gnu/packages/gtk.scm
+++ b/gnu/packages/gtk.scm
@@ -1032,7 +1032,9 @@ (define-public gtk+
            mesa
            pango
            wayland
-           wayland-protocols))
+           wayland-protocols
+           ;; When broadway backend is enabled gdk-3.0 requires zlib.
+           zlib))
     (inputs
      (list colord-minimal               ;to prevent a cycle with inkscape
            cups
@@ -1087,6 +1089,15 @@ (define-public gtk+
           (add-after 'unpack 'generate-gdk-pixbuf-loaders-cache-file
             (assoc-ref glib-or-gtk:%standard-phases
                        'generate-gdk-pixbuf-loaders-cache-file))
+          (add-after 'unpack 'add-zlib-to-gdk-3.0.pc
+            (lambda _
+              ;; When -Dbroadway_backend=true zlib is added as a dependency to
+              ;; gdk-3.0 but isn't done correctly and can cause pkg-config to
+              ;; not add the correct -L...-zlib/lib flag.
+              (substitute* "meson.build"
+                (("pc_gdk_extra_libs += \\['-lz'\\]") "")
+                (("^gdk_packages \\+= cairo_packages" all)
+                 (string-append all "\ngdk_packages += ' zlib'\n")))))
           (add-before 'check 'pre-check
             (lambda _
               ;; Tests require a running X server.
-- 
2.41.0

Message #11 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
To: 67623 <at> debbugs.gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Subject: [PATCH 2/3] gnu: ocaml-lablgtk3-sourceview3: Fix inputs.
Date: Mon,  4 Dec 2023 14:39:32 +0100

* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): Move
  gtksourceview-3 from native-inputs to inputs.

Change-Id: I9ea843ddf4cbb38cd69a93e3c125149417d8fa3d
---
 gnu/packages/ocaml.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 7993dbaa73..47ea323b7d 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -9467,7 +9467,7 @@ (define-public ocaml-lablgtk3-sourceview3
     (inherit lablgtk3)
     (name "ocaml-lablgtk3-sourceview3")
     (propagated-inputs (list lablgtk3))
-    (native-inputs (list gtksourceview-3 pkg-config))
+    (inputs (list gtksourceview-3))
     (arguments
      `(#:package "lablgtk3-sourceview3"))
     (synopsis "OCaml interface to GTK+ gtksourceview library")
-- 
2.41.0

Message #14 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
To: 67623 <at> debbugs.gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Subject: [PATCH 3/3] gnu: frama-c: Remove zlib from inputs.
Date: Mon,  4 Dec 2023 14:39:33 +0100

* gnu/packages/maths.scm (frama-c) <inputs>: Remove zlib.

Change-Id: I338ba303ee59468ef7538cc2b87bc90fd597d6fb
---
 gnu/packages/maths.scm | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 246f189115..39f620c8af 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9284,8 +9284,7 @@ (define-public frama-c
            (lambda* (#:key inputs #:allow-other-keys)
              (setenv "CONFIG_SHELL"
                      (search-input-file inputs "/bin/sh")))))))
-    (inputs
-     (list gmp zlib))
+    (inputs (list gmp))
     (propagated-inputs
      (list ocaml-biniou
            ocaml-easy-format
-- 
2.41.0

Message #17 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>, 
 67623 <at> debbugs.gnu.org
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>,
 Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Subject: Re: [bug#67623] [PATCH 1/3] gnu: gtk+: Require zlib in gdk-3.0.pc.
Date: Mon, 04 Dec 2023 20:32:46 +0100

Am Montag, dem 04.12.2023 um 14:39 +0100 schrieb Jean-Pierre De Jesus
DIAZ:
> * gnu/packages/gtk.scm (gtk+) <inputs>: Add zlib.
> 
> * gnu/packages/gtk.scm (gtk+) <arguments>: Add 'add-zlib-to-gdk-
> 3.0.pc
>   phase.
> 
> Change-Id: I5efadebded159e0bd495ec07020b431413bd6e10
> ---
>  gnu/packages/gtk.scm | 13 ++++++++++++-
>  1 file changed, 12 insertions(+), 1 deletion(-)
> 
> diff --git a/gnu/packages/gtk.scm b/gnu/packages/gtk.scm
> index 47d4c1808f..752c9f456d 100644
> --- a/gnu/packages/gtk.scm
> +++ b/gnu/packages/gtk.scm
> @@ -1032,7 +1032,9 @@ (define-public gtk+
>             mesa
>             pango
>             wayland
> -           wayland-protocols))
> +           wayland-protocols
> +           ;; When broadway backend is enabled gdk-3.0 requires
> zlib.
> +           zlib))
>      (inputs
>       (list colord-minimal               ;to prevent a cycle with
> inkscape
>             cups
> @@ -1087,6 +1089,15 @@ (define-public gtk+
>            (add-after 'unpack 'generate-gdk-pixbuf-loaders-cache-file
>              (assoc-ref glib-or-gtk:%standard-phases
>                         'generate-gdk-pixbuf-loaders-cache-file))
> +          (add-after 'unpack 'add-zlib-to-gdk-3.0.pc
> +            (lambda _
> +              ;; When -Dbroadway_backend=true zlib is added as a
> dependency to
> +              ;; gdk-3.0 but isn't done correctly and can cause pkg-
> config to
> +              ;; not add the correct -L...-zlib/lib flag.
> +              (substitute* "meson.build"
> +                (("pc_gdk_extra_libs += \\['-lz'\\]") "")
> +                (("^gdk_packages \\+= cairo_packages" all)
> +                 (string-append all "\ngdk_packages += '
> zlib'\n")))))
Is there a good reason to do it this way?  I would hope that
downstreams are already aware of this pkg-config variable.

Cheers

Message #20 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>,
 Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>, 67623 <at> debbugs.gnu.org
Subject: Re: bug#67623: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Wed, 03 Jan 2024 14:50:26 -0500

Hello,

Liliana Marie Prikler <liliana.prikler <at> gmail.com> writes:

> Am Montag, dem 04.12.2023 um 14:39 +0100 schrieb Jean-Pierre De Jesus
> DIAZ:
>> * gnu/packages/gtk.scm (gtk+) <inputs>: Add zlib.
>> 
>> * gnu/packages/gtk.scm (gtk+) <arguments>: Add 'add-zlib-to-gdk-
>> 3.0.pc
>>   phase.
>> 
>> Change-Id: I5efadebded159e0bd495ec07020b431413bd6e10
>> ---
>>  gnu/packages/gtk.scm | 13 ++++++++++++-
>>  1 file changed, 12 insertions(+), 1 deletion(-)
>> 
>> diff --git a/gnu/packages/gtk.scm b/gnu/packages/gtk.scm
>> index 47d4c1808f..752c9f456d 100644
>> --- a/gnu/packages/gtk.scm
>> +++ b/gnu/packages/gtk.scm
>> @@ -1032,7 +1032,9 @@ (define-public gtk+
>>             mesa
>>             pango
>>             wayland
>> -           wayland-protocols))
>> +           wayland-protocols
>> +           ;; When broadway backend is enabled gdk-3.0 requires
>> zlib.
>> +           zlib))
>>      (inputs
>>       (list colord-minimal               ;to prevent a cycle with
>> inkscape
>>             cups
>> @@ -1087,6 +1089,15 @@ (define-public gtk+
>>            (add-after 'unpack 'generate-gdk-pixbuf-loaders-cache-file
>>              (assoc-ref glib-or-gtk:%standard-phases
>>                         'generate-gdk-pixbuf-loaders-cache-file))
>> +          (add-after 'unpack 'add-zlib-to-gdk-3.0.pc
>> +            (lambda _
>> +              ;; When -Dbroadway_backend=true zlib is added as a
>> dependency to
>> +              ;; gdk-3.0 but isn't done correctly and can cause pkg-
>> config to
>> +              ;; not add the correct -L...-zlib/lib flag.
>> +              (substitute* "meson.build"
>> +                (("pc_gdk_extra_libs += \\['-lz'\\]") "")
>> +                (("^gdk_packages \\+= cairo_packages" all)
>> +                 (string-append all "\ngdk_packages += '
>> zlib'\n")))))
> Is there a good reason to do it this way?  I would hope that
> downstreams are already aware of this pkg-config variable.

It seems a problem that should be taken to upstream.  Then while
waiting, we could carry that patch, with a reference to the upstream
issue.

Jean-Pierre, could you please check if this issue is known with the GTK
project, else file it on there tracker and reference it as a comment
with your patch?

-- 
Thanks,
Maxim

Message #25 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Jean-Pierre De Jesus Diaz <jean <at> foundationdevices.com>
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>,
 Liliana Marie Prikler <liliana.prikler <at> gmail.com>, 67623 <at> debbugs.gnu.org
Subject: Re: bug#67623: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Wed, 3 Jan 2024 22:34:25 +0000

Hello

On Wed, Jan 3, 2024 at 7:50 PM Maxim Cournoyer
<maxim.cournoyer <at> gmail.com> wrote:
>
> Hello,
>
> Liliana Marie Prikler <liliana.prikler <at> gmail.com> writes:
>
> > Am Montag, dem 04.12.2023 um 14:39 +0100 schrieb Jean-Pierre De Jesus
> > DIAZ:
> >> * gnu/packages/gtk.scm (gtk+) <inputs>: Add zlib.
> >>
> >> * gnu/packages/gtk.scm (gtk+) <arguments>: Add 'add-zlib-to-gdk-
> >> 3.0.pc
> >>   phase.
> >>
> >> Change-Id: I5efadebded159e0bd495ec07020b431413bd6e10
> >> ---
> >>  gnu/packages/gtk.scm | 13 ++++++++++++-
> >>  1 file changed, 12 insertions(+), 1 deletion(-)
> >>
> >> diff --git a/gnu/packages/gtk.scm b/gnu/packages/gtk.scm
> >> index 47d4c1808f..752c9f456d 100644
> >> --- a/gnu/packages/gtk.scm
> >> +++ b/gnu/packages/gtk.scm
> >> @@ -1032,7 +1032,9 @@ (define-public gtk+
> >>             mesa
> >>             pango
> >>             wayland
> >> -           wayland-protocols))
> >> +           wayland-protocols
> >> +           ;; When broadway backend is enabled gdk-3.0 requires
> >> zlib.
> >> +           zlib))
> >>      (inputs
> >>       (list colord-minimal               ;to prevent a cycle with
> >> inkscape
> >>             cups
> >> @@ -1087,6 +1089,15 @@ (define-public gtk+
> >>            (add-after 'unpack 'generate-gdk-pixbuf-loaders-cache-file
> >>              (assoc-ref glib-or-gtk:%standard-phases
> >>                         'generate-gdk-pixbuf-loaders-cache-file))
> >> +          (add-after 'unpack 'add-zlib-to-gdk-3.0.pc
> >> +            (lambda _
> >> +              ;; When -Dbroadway_backend=true zlib is added as a
> >> dependency to
> >> +              ;; gdk-3.0 but isn't done correctly and can cause pkg-
> >> config to
> >> +              ;; not add the correct -L...-zlib/lib flag.
> >> +              (substitute* "meson.build"
> >> +                (("pc_gdk_extra_libs += \\['-lz'\\]") "")
> >> +                (("^gdk_packages \\+= cairo_packages" all)
> >> +                 (string-append all "\ngdk_packages += '
> >> zlib'\n")))))
> > Is there a good reason to do it this way?  I would hope that
> > downstreams are already aware of this pkg-config variable.
>
> It seems a problem that should be taken to upstream.  Then while
> waiting, we could carry that patch, with a reference to the upstream
> issue.
>
> Jean-Pierre, could you please check if this issue is known with the GTK
> project, else file it on there tracker and reference it as a comment
> with your patch?
>
> --
> Thanks,
> Maxim

I've searched on the GNOME's GitLab instance for related issues but
found none so
instead filed this one:

https://gitlab.gnome.org/GNOME/gtk/-/issues/6306

Thanks,

-- 
Jean-Pierre De Jesus DIAZ
Foundation Devices, Inc.

Message #28 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Jean-Pierre De Jesus Diaz <jean <at> foundationdevices.com>, Maxim Cournoyer
 <maxim.cournoyer <at> gmail.com>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>, 67623 <at> debbugs.gnu.org
Subject: Re: bug#67623: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Thu, 04 Jan 2024 21:12:02 +0100

Am Mittwoch, dem 03.01.2024 um 22:34 +0000 schrieb Jean-Pierre De Jesus
Diaz:
> I've searched on the GNOME's GitLab instance for related issues but
> found none so instead filed this one:
> 
> https://gitlab.gnome.org/GNOME/gtk/-/issues/6306
> 
> Thanks,
As reported upstream, this doesn't look like an abuse of the pkg-config
though, more like only zlib missing as propagated input.  Do you have
an instance where the pkg-config variable is not resolved correctly?

Cheers

Message #31 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Jean-Pierre De Jesus Diaz <jean <at> foundationdevices.com>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>,
 Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, 67623 <at> debbugs.gnu.org
Subject: Re: bug#67623: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Fri, 5 Jan 2024 16:43:47 +0000

Hello,

On Thu, Jan 4, 2024 at 8:12 PM Liliana Marie Prikler
<liliana.prikler <at> gmail.com> wrote:
>
> Am Mittwoch, dem 03.01.2024 um 22:34 +0000 schrieb Jean-Pierre De Jesus
> Diaz:
> > I've searched on the GNOME's GitLab instance for related issues but
> > found none so instead filed this one:
> >
> > https://gitlab.gnome.org/GNOME/gtk/-/issues/6306
> >
> > Thanks,
> As reported upstream, this doesn't look like an abuse of the pkg-config
> though, more like only zlib missing as propagated input.  Do you have
> an instance where the pkg-config variable is not resolved correctly?
>
> Cheers
>

The coq-ide package fails to build because ocaml-lablgtk3-sourceview3 isn't
able to find zlib correctly, I guess adding it to propagated-inputs would also
solve the problems though as libz.so should then be in the search paths.

-- 
Jean-Pierre De Jesus DIAZ
Foundation Devices, Inc.

Message #34 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: Jean-Pierre De Jesus Diaz <jean <at> foundationdevices.com>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>,
 Liliana Marie Prikler <liliana.prikler <at> gmail.com>,
 Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, 67623 <at> debbugs.gnu.org
Subject: Re: bug#67623: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Tue, 1 Apr 2025 18:55:35 +0200

Hello all,

I came upon this as marked "tag:team-science"; as I understand it, the
removal of the zlib input in frama-c from the science team is
conditional to changes made in gtk+.

The upstream bug is still open after more than a year since they ask for
a merge request.

Could someone from the gnome team please have a look and decide what to
do with this bug on the Guix side?

Thanks!

Andreas

Message #37 received at 67623 <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Andreas Enge <andreas <at> enge.fr>
Cc: Raghav Gururajan <rg <at> raghavgururajan.name>, 67623 <at> debbugs.gnu.org,
 Jean-Pierre De Jesus Diaz <jean <at> foundationdevices.com>,
 Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Subject: Re: bug#67623: [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
Date: Wed, 02 Apr 2025 14:24:37 +0900

Hi,

Andreas Enge <andreas <at> enge.fr> writes:

> Hello all,
>
> I came upon this as marked "tag:team-science"; as I understand it, the
> removal of the zlib input in frama-c from the science team is
> conditional to changes made in gtk+.
>
> The upstream bug is still open after more than a year since they ask for
> a merge request.
>
> Could someone from the gnome team please have a look and decide what to
> do with this bug on the Guix side?

Reading https://gitlab.gnome.org/GNOME/gtk/-/issues/6306, it seems we
should just adjust the GTK+ gdk pkg-config file to 'Requires' zlib
instead of adding a '-lz' ?  As zlib provides pkg-config file that'd be
the proper fix.

Could someone contribute such a patch upstream (and carry it in Guix in
the meantime?)

-- 
Thanks,
Maxim

Previous Next

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