From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id QJ1zEz7WbWVBKgAA9RJhRA:P1 (envelope-from ) for ; Mon, 04 Dec 2023 14:38:06 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id QJ1zEz7WbWVBKgAA9RJhRA (envelope-from ) for ; Mon, 04 Dec 2023 14:38:06 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 0C9F9442E6 for ; Mon, 4 Dec 2023 14:38:05 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundationdevices.com header.s=google header.b=Zh628Lol; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1701697086; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=QGCCFuKiGlBrXferagg7nZ1JNJ807M5z7e5eVX6gRG4=; b=fIyElUfgYA5bLZmjgnRFYuP/3YthtybMCkB1eE9QhB/mI6mC4vdUXQxCEDZGQARDQkzXBY pgNWN3Heaz6+9i0Fo8+3P1VgU8CMVMzvVJ2DXLhdgHVXGrV/DYV802Mjzk5NAGZ1srKt4l X55n3qQGIbP5H3PTlLp5j4TiiWHbMPKieHXXDXptWUZ3en/T/qggn5ezYIxbnoK7aBE8I2 AX5mG38p8frW9Cib7GTJd/H5/S5cJ/9+0LQCx4m/S6VxyFvTeAMH5kotEYIU+xchpGIMUD d+a4FnVqb1z7M0zwX7Z1uaaMRTQogp/FXW2shyDn9q8Zi99VfHBfWBNaPtW+cg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1701697086; a=rsa-sha256; cv=none; b=ZPpZBmbtxINJwRcODkgFK4g3P7VIcnBVg3s/Aq7n6OGVkVTlO0cIrzMXlKf3Uo92L/LPwn ZjKcVwq2GucvlA3hO5/GKMOEj3W4bG/bVJWSZNNAKNmN/aBlJlVT8u4hdKrThyqyq7WOGY Wui/26CA41GTrBepDsS1znCxpAWEA19OXifE9fctNOzYaTOshKndnIWrmb5R2HnjZZoS1o bA6eWsJubclwqgMlMBkwTBawUq2NzevYZ8+12FjHcGFA08B7ioIo5+omELTQtUaeB0fHyh 4815ph+MShyVmIl7+EdWisu5y8X/lr32QY/oo47sXCWEicoHaCxpvYgw1WT2qg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=foundationdevices.com header.s=google header.b=Zh628Lol; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" 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 Content-Transfer-Encoding: 8bit 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 From: Jean-Pierre De Jesus DIAZ via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx11.migadu.com X-Migadu-Spam-Score: -6.14 X-Spam-Score: -6.14 X-Migadu-Queue-Id: 0C9F9442E6 X-TUID: 0CN8xzADwiIK 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