From patchwork Mon Dec 4 13:36:56 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jean-Pierre De Jesus DIAZ X-Patchwork-Id: 2023 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 97DEA27BBE2; Mon, 4 Dec 2023 13:38:07 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 5E8AC27BBE9 for ; Mon, 4 Dec 2023 13:38:06 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rA994-0002x6-0b; Mon, 04 Dec 2023 08:37:58 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rA991-0002we-9F for guix-patches@gnu.org; Mon, 04 Dec 2023 08:37:55 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rA991-0005ER-0m for guix-patches@gnu.org; Mon, 04 Dec 2023 08:37:55 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rA997-0006Xr-Vp; Mon, 04 Dec 2023 08:38:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67623] [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, efraim@flashner.co.il, bavier@posteo.net, guix-patches@gnu.org Resent-Date: Mon, 04 Dec 2023 13:38:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 67623 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67623@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ , Andreas Enge , Efraim Flashner , Eric Bavier X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Andreas Enge , Efraim Flashner , Eric Bavier Received: via spool by submit@debbugs.gnu.org id=B.170169705425092 (code B ref -1); Mon, 04 Dec 2023 13:38:01 +0000 Received: (at submit) by debbugs.gnu.org; 4 Dec 2023 13:37:34 +0000 Received: from localhost ([127.0.0.1]:33691 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rA98g-0006Wd-4a for submit@debbugs.gnu.org; Mon, 04 Dec 2023 08:37:34 -0500 Received: from lists.gnu.org ([2001:470:142::17]:41342) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rA98f-0006WL-2v for submit@debbugs.gnu.org; Mon, 04 Dec 2023 08:37:33 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rA98N-0002gG-E8 for guix-patches@gnu.org; Mon, 04 Dec 2023 08:37:16 -0500 Received: from mail-wm1-x32c.google.com ([2a00:1450:4864:20::32c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rA98G-0004lI-IC for guix-patches@gnu.org; Mon, 04 Dec 2023 08:37:13 -0500 Received: by mail-wm1-x32c.google.com with SMTP id 5b1f17b1804b1-40c0e37cfafso4566385e9.0 for ; Mon, 04 Dec 2023 05:37:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1701697026; x=1702301826; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=QGCCFuKiGlBrXferagg7nZ1JNJ807M5z7e5eVX6gRG4=; b=Zh628LolgfjCqJyGYSmuvCal6YmMzRdfx1tVDKiA9twQhAWPp5pnz3nE36W6CP71yD /9Mb+vCl7q69bevCk/htbhSYHfeztv/9XTTR89qh8YS7ENSlzw8OdlUM5nZbUK2A2r1v /W3Fb5chlpsdsYc+qaO3viHBK2kEnLUH8HeWydbLukVpj7UPottI2knEYMqwnR8yTF87 YrjERKm3GQT5QzlOatjXk4XtUghxWK7ojPydsHl6euiso6DlI0ZjFMvtJjtd+DZJbX/h qD+k7Qm/UEDW1n5nqQxZ04TX3z30O/ozvAWxGmg5wuJnPwt1YQkv/a3MFfnFI+1B0OyS 8Ldw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701697026; x=1702301826; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=QGCCFuKiGlBrXferagg7nZ1JNJ807M5z7e5eVX6gRG4=; b=sZzZl27RjPihGHTTG+HkcGgC9AqVXDu9PtamhPpNSr/nC0B9zJAhkog6/Xgn/2rIC/ jb+Oq3c13PCe/Lp/WgozoZKyd51iccVGGfCgBl9WXDAu5+2gzc0h8UKkYLK+cJwfDDW1 fjFKOau0YLmDxKR7uszTUDuz1yc27ovbxGqRcDt8BDfwDI6LADdViMSMGrNrqneR1nMi KDZdvyUBrUoig+KTi3PFUwKGFzFZUQLpJgaLq/HU/if0J5Zrx/EW+/g/J33KROWcdEIk 7LIacFkRATKiY5gyYrtERiYiPiRrVwtTXMpRDlSeQ+8C6LKU+Bfz+bzKKnM4Z7+ncaZ/ gQJA== X-Gm-Message-State: AOJu0YwJMNbJI4zbP082sWwMIYLsn+q8Q33EwcYXixOeXGelXF3suwd7 f8YYGpRKI8gqJJj/VkIXw1HsIQkIwzXfIQ1s6N8= X-Google-Smtp-Source: AGHT+IFL5CsL8ff0+xg2iOKLrSftRhChH8QzJxJDaoIZpjbOUTI3hBBrjsFtnHYlZOjJytFt+SBLrw== X-Received: by 2002:a05:600c:754:b0:40b:5e59:c57c with SMTP id j20-20020a05600c075400b0040b5e59c57cmr2540852wmn.166.1701697025677; Mon, 04 Dec 2023 05:37:05 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id bh12-20020a05600c3d0c00b0040b2976eb02sm15119308wmb.10.2023.12.04.05.37.05 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 04 Dec 2023 05:37:05 -0800 (PST) Date: Mon, 4 Dec 2023 14:36:56 +0100 Message-ID: <20231204133657.3448-1-jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::32c; envelope-from=jean@foundationdevices.com; helo=mail-wm1-x32c.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches X-Patchwork-Original-From: Jean-Pierre De Jesus DIAZ via Guix-patches via From: Jean-Pierre De Jesus DIAZ Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches 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(-)