From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id uPc2KFLO1mYUPAEA62LTzQ:P1 (envelope-from ) for ; Tue, 03 Sep 2024 08:52:34 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id uPc2KFLO1mYUPAEA62LTzQ (envelope-from ) for ; Tue, 03 Sep 2024 10:52:34 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=AS9B5R+J; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b=tA0jVh1o; 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"; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=foundation.xyz (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1725353554; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=ECNFjHdRCCrTdgU8VCTADFBaQKtOLzG/lwoFpXtFd7E=; b=UcWn+P86w6w2CDyu9pHZp6OrG/XWSCqDsgap4ZjQvOQKUQT4lb9AqdSlG3X097uvLb28Xc 1yhISHnsuMdDPckKay1veSrVCic2ukgzPI8Rz7HYk42rzT8NSCayEjhDky1s5jx8c7H/0i IcrHVXYVfCfiXcmLih5uZP//hEOk2eh7QW7DEK2PivmeBsAxNqEeB2FiKYxgrbbCDL6QT9 59CcTINRBUwj4iZdlYUTxCUSOHNpac4EJqEwxbBaSO/shgBShaoaCvsiiVQ1dKV5rYOUa4 I7NApeFDAqAWU8s4mGfFxgH1mqfmyCdVd9ztITsGSNjHlDwq3vh0sygtK1RSbw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=AS9B5R+J; dkim=fail ("headers rsa verify failed") header.d=foundation.xyz header.s=google header.b=tA0jVh1o; 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"; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=foundation.xyz (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1725353554; a=rsa-sha256; cv=none; b=DL7O3ZAtZnb7Zez+0FaaY53wvuBmD4BHKSLVk3obQ4WBdh3JOILSg7nviR+d2yDhxxOKuM A731L07DndEdh/CugySB1Bh5kCfhva2aLdwCqaSdEBtG5xT4TBhUlzjtwB3TY9UxZMEBSO e8T0aHqfgvp7zkTjOZAnRFme92P8zPB4XS+BRcxkedDOKxt0YMilN+/rtGWSRVMZ8CV0pe nWrlJSXApK3sjPcI9A3eCu+isKVDNGWEu09lsqYLH/ssLeMDqj/SfYAyiMw9kxQozPFz1K 8Ym8/sznfKMQDj90T801YhG0VW984xXgGdoRawXPsqBzGo9t0mtjW3yXsGOp9g== 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 E43216659F for ; Tue, 3 Sep 2024 10:52:09 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1slPGf-0006WP-A4; Tue, 03 Sep 2024 04:52:06 -0400 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 1slPGa-0006Gh-PF for guix-patches@gnu.org; Tue, 03 Sep 2024 04:52:02 -0400 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 1slPGa-0001C0-Fk for guix-patches@gnu.org; Tue, 03 Sep 2024 04:52:00 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=Date:From:MIME-Version:To:Subject; bh=ECNFjHdRCCrTdgU8VCTADFBaQKtOLzG/lwoFpXtFd7E=; b=AS9B5R+JGKOuWTlWsruehaiqMtm6wtLy6kpc/s4w0tc3kvtdErmCPNZenm86KKQiYeC0eIOxLzpaDqVg8F0fCZ4IYcg1KgwuKilHFueoNyrif4mPuXAKYDy5DdUdJS66DH+3Z7+sFPSWzgQAzGIGnjH0I38reB/swytFVkYt+pb3NfF7zqpvzzox66fYvivowxMRng44O+R+CT5wlcUbpmlTHxVw1q61XlrTPLRWEwe3CmAM/s778ogM9ylqZYxtyaVbi1Is2597UKizh6V/0/QvApQXKhqMFpMAmYUXFDmUCL2KED+L1RwSz3WXQaP2511/2Y4LDmQCeoI9ygiTlw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1slPHa-0004XG-Dl for guix-patches@gnu.org; Tue, 03 Sep 2024 04:53:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72998] [PATCH] gnu: ocaml-cairo2: Fix compilation. Resent-From: Jean-Pierre De Jesus Diaz Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 03 Sep 2024 08:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 72998 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 72998@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172535354517376 (code B ref -1); Tue, 03 Sep 2024 08:53:02 +0000 Received: (at submit) by debbugs.gnu.org; 3 Sep 2024 08:52:25 +0000 Received: from localhost ([127.0.0.1]:58772 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1slPGz-0004WC-5w for submit@debbugs.gnu.org; Tue, 03 Sep 2024 04:52:25 -0400 Received: from lists.gnu.org ([209.51.188.17]:41118) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1slPGx-0004W2-GX for submit@debbugs.gnu.org; Tue, 03 Sep 2024 04:52:24 -0400 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 1slPFw-0003fz-Hg for guix-patches@gnu.org; Tue, 03 Sep 2024 04:51:20 -0400 Received: from mail-vs1-xe36.google.com ([2607:f8b0:4864:20::e36]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1slPFt-0001BJ-7J for guix-patches@gnu.org; Tue, 03 Sep 2024 04:51:19 -0400 Received: by mail-vs1-xe36.google.com with SMTP id ada2fe7eead31-498c64c6833so1443854137.2 for ; Tue, 03 Sep 2024 01:51:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundation.xyz; s=google; t=1725353474; x=1725958274; darn=gnu.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=ECNFjHdRCCrTdgU8VCTADFBaQKtOLzG/lwoFpXtFd7E=; b=tA0jVh1oN35Seh+UsQkqdrXx6yKYaw+44nymyagzvikjy5wy10A7shBJhDlLXc2AYl IPkOl7KCaxmXFCq3sL5LJQlOd+DVlSzOhsNI4E8QxODpUUUFFxRUc5IiHyUtAhseVHKW c+Qo+HWtfAeC5hQ6nM8JUHYoShsWX9hQ2NptreS/cauFl8jWQwW5BmtLMXV8rHT7RP3R y1cuvLdHaGMWk446kLI/6guO0589+zV3WgF34qg6WzgK6edj7gVLr/MOqJUYEODIMERM vn3enum8xBbou6TiF8dMJdW2qkComeZktV6pJhQjwhAkH8vRmVo0zwl32K4xTXTyop4j J5tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725353474; x=1725958274; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=ECNFjHdRCCrTdgU8VCTADFBaQKtOLzG/lwoFpXtFd7E=; b=LspmvLCczVVSpd2Imgw84XC27EQca9m4HOgUQuwUdTWzJINXoftJXfn4JWvnZAqKn0 GHvMr9ibhlQ/WZO4/CiFDzKHPRDR/NEkLzDQLGwpdXIlUFnOj3oqlbUqJRxC/GdsoWHq VknopQxBKStCzOtCmwkB0fyhRFSn2dVDJtEw6KxlBeS3lyGWeqMBfXfT+AWLFPajNMO0 2u73rwf03A2TUqvRkavvdHjP9lMKSFF2FaJXtlQvTUqEnYdeCMMECerKs7dfhoRAibFv fKny7JXGM8J2v7IS6uiSD/ZiTupxC63zRf+xvvDf+cQB+GOU2Kqy1Nna0FACV8AjQAU2 U+gQ== X-Gm-Message-State: AOJu0YyffZ5cz6xoWpqn9Fe3ayd9Dn8AmC8dibow4zbyyCslxdnbCQHK f3cLIfyUevEYL7FyE8n/3fpDyRcIFuWBP0hoILvDYSXHMRezEjYtDjev01a6Jv3SqbYk90SsRMa Aax9x3W+A8PX1YU8tSlwVfrZM8NaGOJfN9j2h97/RwY9BVhNN X-Google-Smtp-Source: AGHT+IHjL1FGQMzW68RhPGN1UHFr7bD/mPDlgOqAN3fgmyrvNjhNvqQ/n5uETwckbHZWW1UA+AnRa8oAXX6eBoZe5w0= X-Received: by 2002:a05:6102:5109:b0:493:bedd:1da4 with SMTP id ada2fe7eead31-49a778b312cmr12218233137.7.1725353473994; Tue, 03 Sep 2024 01:51:13 -0700 (PDT) MIME-Version: 1.0 From: Jean-Pierre De Jesus Diaz Date: Tue, 3 Sep 2024 08:51:01 +0000 Message-ID: Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::e36; envelope-from=jean@foundation.xyz; helo=mail-vs1-xe36.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: , 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-Queue-Id: E43216659F X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -6.82 X-Spam-Score: -6.82 X-TUID: lr+DXy9foGRK 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