From patchwork Sat Feb 24 06:56:54 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60987 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 D598B27BBE2; Sat, 24 Feb 2024 12:48:18 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 A2A0227BBF1 for ; Sat, 24 Feb 2024 12:48:13 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRO-0001M5-7H; Sat, 24 Feb 2024 07:47:42 -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 1rdrRM-0001Kq-DS for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -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 1rdrRK-0007YH-IK for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:39 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRi-0005D3-Dt for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 01/13] gnu: Add wide-integer. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877882719744 (code B ref 69352); Sat, 24 Feb 2024 12:48:02 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:07 +0000 Received: from localhost ([127.0.0.1]:53678 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQp-00058H-Dj for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:07 -0500 Received: from mail-lj1-f171.google.com ([209.85.208.171]:57391) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQo-00057S-5c for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:06 -0500 Received: by mail-lj1-f171.google.com with SMTP id 38308e7fff4ca-2d22b8c6e0dso13852511fa.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778736; x=1709383536; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=JZ07TGoVrrnTbTLnDE8gGqn2f+1mm8rRlNwSwxagKJ0=; b=Q0t9EEO5pAoVH2ffUcIc48pI6OjvPaC12/fmXKns10psSUwHMARQSnTDwImMwuS35z 70l+IfuNbe9BvB8jjJeUCGXy3HTkvDFT+s1ZkH1sBYUuGh5U1a0J6gyXtJ5vHCikB+3t GaMUZKLQt8C/9iixD5IlECG2Sw1lO63cflC/xlr22KBaHo60F5pMqnzXbGRW+yjFUvvj 3cvwFS9boF40kTGVKpHxsQJK2lXhqTekLON1m7M+woMT5cMcTmABaM/pb8PAFoGTaI7s CZzXRivGd3YEDQcykCmz6G2n2m8XB1oTWQEKoG4zIP5eEHCB52whURDXeNP0NJVSFmPO aaUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778736; x=1709383536; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=JZ07TGoVrrnTbTLnDE8gGqn2f+1mm8rRlNwSwxagKJ0=; b=qoSQa6EPkec21F59rzirYPcfBwStnxll8CavgI/ZEVyow9WHyjcI00JJI2uAKzrXeI N5/EhqGZZkQxYRgK+Pjy0O7xsT/taYeZjUb2RqXriwtdLKASuT2zVzr/nTTUzMj4m46k OFxoBcNtHhIZPb9GxjkenB1tAIyAcS00881GLHC1gCbKTs1qY8jj/Fm1eMxDXOjBRVgS gqV1eH4vRzvYjZU4mTzVHhQEbtBJPuNTw5HIhujczpTSZwd03nJNsI2P4t5wbyLik5pU ibu7OoP9GkTuPiWkAdXQvTfdW3xqPQwIgmReSFGqhGxA5r4MqL1O/ia+ld9CGV1dbgyB eiaw== X-Gm-Message-State: AOJu0Yy/gXEnQ/jarF7Lf9ZaqAJOs88cpJbUZzTepTxvv36nyJKXuXtL YZoEm+9nPeKf2f7KUC3uqDt0ZKtlzsgHah+Nbbr6+qWu+vJPUyqkt8DOhmlZ X-Google-Smtp-Source: AGHT+IHgkgSAbNqJGhmbx7DPiyf+4dbK9k3r9TkKc0kdJv2M9G2sihDbCNSNhscf5xWHhrzCQ0q49A== X-Received: by 2002:a2e:914b:0:b0:2d2:3030:bfa5 with SMTP id q11-20020a2e914b000000b002d23030bfa5mr968889ljg.45.1708778735894; Sat, 24 Feb 2024 04:45:35 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.35 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:35 -0800 (PST) Message-ID: <0bd819c52f78fcc59848438a6fd743a6805e9c5d.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 07:56:54 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/cpp.scm (wide-integer): New variable. --- gnu/packages/cpp.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index e530d1d2a8..64816b7400 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -2703,6 +2703,37 @@ (define-public safeint 64-bit integers.") (license license:expat))) +(define-public wide-integer + (let ((commit "22b8428746248e682d5276f8e8b7fb52af73ea47") + (revision "1314")) ; commit count + (package + (name "wide-integer") + (version (git-version "0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ckormanyos/wide-integer") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0bhjnbdcphv5kddddh8kpwjpjix23m12vmfsz0r6wjc5d27md33z")) + (modules '((guix build utils))) + (snippet #~(substitute* "CMakeLists.txt" + (("WideIntegerTargets") "wide-integer-targets") + (("WideIntegerConfig") "wide-integer-config") + (("WideInteger") "wide-integer"))))) + (build-system cmake-build-system) + (native-inputs (list boost)) + (home-page "https://github.com/ckormanyos/wide-integer") + (synopsis "C++ template for arbitrary-precision integers") + (description "This package implements a generic template for extended +width signed and unsigned integral types. Up to 63 limbs of any built-in +integer type are supported, and can be used to build powers of two like +int128_t, uint256_t, but also somewhat esoteric types such as int24_t, +uint80_t, or uint1536_t. The provided types can be used in much the same +way as basic integer types.") + (license license:boost1.0)))) + (define-public wdl ;; No tag is available. (let ((commit "da86a62d11e46e4ecd8b16f9775cb5188340a0e2") From patchwork Sat Feb 24 06:57:07 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60981 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 D84D127BBE2; Sat, 24 Feb 2024 12:47:57 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS 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 68CC327BBE9 for ; Sat, 24 Feb 2024 12:47:50 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRN-0001Lv-Vk; Sat, 24 Feb 2024 07:47:42 -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 1rdrRM-0001Kp-8v for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -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 1rdrRK-0007YI-Q0 for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:39 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRi-0005DA-RM for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 02/13] gnu: python-scikit-build: Install cmake modules. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877882919766 (code B ref 69352); Sat, 24 Feb 2024 12:48:02 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:09 +0000 Received: from localhost ([127.0.0.1]:53683 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQq-00058c-Tt for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:09 -0500 Received: from mail-lj1-f195.google.com ([209.85.208.195]:45462) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQo-00057W-HE for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:07 -0500 Received: by mail-lj1-f195.google.com with SMTP id 38308e7fff4ca-2d23114b19dso23060881fa.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778736; x=1709383536; darn=debbugs.gnu.org; h=to:content-transfer-encoding:mime-version:subject:date:from :references:in-reply-to:message-id:from:to:cc:subject:date :message-id:reply-to; bh=kutT4b+sn0851Snt38A6FgqZPUTyugBwb+jsM2sle8w=; b=aBtD/0riutmfCsx3R+bfll1IrZiC8cM9XANKhWQzV+ibGoQd0Y4BorbsONVhZQU7Pb JMB3qA2CU8dXE7PoxHPc6jXl4Kd9FOBMe3up8toM9SfjHDgPZ9DBTIe+m0vaolnVTXUH Se9VywlBoez42oIQMLNoynnOVw4HSoE7Lx39F1BJuwUxKMGG4FvwjBXkviujK6GZV7d4 JfPXVa5EP+V43HipPe0pCYMxkyRDLM3k3WcR+P4PCYCfJr+D3HYmMIS4QxSaDjrS1xbP MtPxajN+ZrcsARsM9w413u4aJNibluqRWZ9VbnabE49on3Ql2SBbhxJ2Yi+6XdTKD0qM Ezdg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778736; x=1709383536; h=to:content-transfer-encoding:mime-version:subject:date:from :references:in-reply-to:message-id:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=kutT4b+sn0851Snt38A6FgqZPUTyugBwb+jsM2sle8w=; b=oJzkecm6OayCFiT11FY8O9RmqJ03dOqRGnnXypPyyZ4snOW5Ms74dY7kJXjWw7/WNv kybtfDGSmogdWvj7MRrZrdTgpn44mdFXtlrPIoS4olnhdT6m6whkgjbYXFzx8sNzggA6 U4cJpBvmRbwfHFsbsVkITDE/If+bzdQ2HDDH89RTqCwECe7yETCH/FdOA0FSIwKl8jmf phms/lzp0jxketvOLKmcEm4FIA2nmhtdn3QMYcV8e8XkJEr8jd84N1KbJ/OedoLlEvYA Zl1D0QgbCPFTfXBFxQKBmoaRXHwZrQAPwVteioilq/PWGmUK9qb6gkz6M9RYFU4oalqD AliQ== X-Gm-Message-State: AOJu0YzlLHsRHZ5oFRmdyr4WkDD68oBs2Jorvhw4dx1nRlSliLHwnawI v8UaDkvDZimGKOUIDncABLEYUiTCsEcL0fkVtaReTt4XM4NXoQRDsX7Bl9RFwYQ= X-Google-Smtp-Source: AGHT+IERkK3PRnLIz9v8XNSfsBPIdgDbRZwWpfFCN/w4OAKBO9YmlfFHeZHj6GBb+oaOGjoPcqAvoA== X-Received: by 2002:a05:6512:2029:b0:511:5ca2:2a3f with SMTP id s9-20020a056512202900b005115ca22a3fmr1473047lfs.9.1708778736536; Sat, 24 Feb 2024 04:45:36 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.36 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:36 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 07:57:07 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Add ‘install-cmake’. --- gnu/packages/python-xyz.scm | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index a051f5a8db..88dadb9f4a 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -31930,7 +31930,15 @@ (define-public python-scikit-build ;; nondeterministically (see: ;; https://github.com/scikit-build/scikit-build/issues/711). "and not test_generator_cleanup " - "and not test_generator_selection ")))))))) + "and not test_generator_selection "))))) + (add-after 'install 'install-cmake + (lambda* (#:key outputs #:allow-other-keys) + (let ((lib (string-append (assoc-ref outputs "out") + "/lib/cmake/modules"))) + (mkdir-p lib) + (with-directory-excursion "skbuild/resources/cmake" + (for-each (lambda (file) (install-file file lib)) + (find-files "." "\\.cmake"))))))))) (native-inputs (list cmake-minimal gfortran From patchwork Sat Feb 24 07:51:00 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60983 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 B9BDD27BBE9; Sat, 24 Feb 2024 12:48: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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS 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 28AD127BBE2 for ; Sat, 24 Feb 2024 12:48:00 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRN-0001Lt-Sg; Sat, 24 Feb 2024 07:47:41 -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 1rdrRM-0001Ko-8u for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -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 1rdrRL-0007YN-RF for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:39 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRj-0005DH-D9 for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877883019779 (code B ref 69352); Sat, 24 Feb 2024 12:48:03 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:10 +0000 Received: from localhost ([127.0.0.1]:53686 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQr-00058l-IH for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:10 -0500 Received: from mail-ed1-f65.google.com ([209.85.208.65]:51663) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQp-00057b-2m for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:07 -0500 Received: by mail-ed1-f65.google.com with SMTP id 4fb4d7f45d1cf-5643ae47cd3so2123099a12.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778737; x=1709383537; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=CCZHTVc43XIid8Fp1RO4SoorRb0R5CYQo4038ungFEU=; b=d0SXFcrVrMVDu2DrKjtayP9mXye0RefB7RFvYiJflbfSYEMA63PKUVnoT8gYumus13 9cro4ZzhB/DDY4WjBpTWoazCjlBr6zraggbvD65Y/m24jONfWkzNEF7sCxBHBFC+fouN acRR+cyKcvaSM7gKx+0gDNa6vU2XMspYcVHQ0NwTdv22plLQFCIChdvjK+eAy5+ijaHs 2JFFC1cSEuTNjz1kmNgxa8JiAJs+LpQoaQUfW5EI3wOUenY4HqVUWX9ipqL02FCjuwwj DlZfNG8p4MQzdHtYwqyXntPww96cA8UG7fs1nEL5oclLp15mSD5SCfdqTmmGr/BwTUAm 0lVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778737; x=1709383537; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=CCZHTVc43XIid8Fp1RO4SoorRb0R5CYQo4038ungFEU=; b=rO2u4EGRU0fAW0FfVF4spVBaPMcNtNDM8SrfsKcf4Y8oqIyoDeKWBbyfWf9hj1C/D6 p6ao8RwaD8CIYbzhXKH4M6unB+kBMaAy0wvBgppERkAvdSy1uE7iJ1jOtO3c/aX37mMV EVSnXpv+LgVtyv4E3BnAl8G8QFDrk54vHqVdskRyxkr/zW0+TWAkVgHuoYtB3EF6Jfkt FfvxQ6P8rLiy3wBS0t6PxkOZVOgzQ6PEBMgHnZ/TlUpHsQaM6OTnUvx2jqU9pbeHKvVJ lZhkTqnadhaLEb5XV6TcD+M732Br/Oo8P+JcWS+CwsBPKa0msiLa2ySabJeDSjVq2LXk Rr1w== X-Gm-Message-State: AOJu0YwKQxg0zSSU4sBAjWXIONT5SvI3bsSwySvvMM/GMJxtD8HgiMWB 2FdEp2AwRXwNiAw7p6E2hK6mXaCqtMpXzk3YGxlQm/ZXsHvoeYva1NfmeMrdDWc= X-Google-Smtp-Source: AGHT+IHilsyGfIYMaHudtyW3UWpLf8wv1SHsjVuEl/x8fCp3VUbUeICB/5z4GBfBx29+QCGdiJLELw== X-Received: by 2002:a17:906:f15a:b0:a3f:ce31:64d6 with SMTP id gw26-20020a170906f15a00b00a3fce3164d6mr1494931ejb.10.1708778737177; Sat, 24 Feb 2024 04:45:37 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.36 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:36 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:51:00 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f. --- gnu/packages/potassco.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 39edb3096b..01cada7b77 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -46,8 +46,8 @@ (define-module (gnu packages potassco) (define-public libpotassco ;; No public release, update together with clasp - (let ((revision "1") - (commit "2f9fb7ca2c202f1b47643aa414054f2f4f9c1821")) + (let ((revision "2") + (commit "69b677f026c53d5a0a794db17691a1eb8bce8c6b")) (package (name "libpotassco") (version (git-version "0.0" revision commit)) @@ -65,7 +65,7 @@ (define-public libpotassco (("\"catch.hpp\"") "")))) (sha256 (base32 - "1c32f9gqclf7qx07lpx8wd720vfhkjqhzc6nyy8mjmgwpmb3iyyn")))) + "1c69njg30dha1zy6j17gghjg3lgambz0pipxkgxadmrkvsb20z2k")))) (arguments `(#:configure-flags '("-DLIB_POTASSCO_BUILD_TESTS=on" "-DLIB_POTASSCO_INSTALL_LIB=on" From patchwork Sat Feb 24 07:52:40 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60992 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 CB85B27BBE2; Sat, 24 Feb 2024 12:48:33 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 8E91A27BBEA for ; Sat, 24 Feb 2024 12:48:27 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRO-0001Lw-0D; Sat, 24 Feb 2024 07:47:42 -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 1rdrRM-0001LA-MZ for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -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 1rdrRL-0007YO-SX for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:39 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRj-0005DQ-SE for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884119841 (code B ref 69352); Sat, 24 Feb 2024 12:48:03 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:21 +0000 Received: from localhost ([127.0.0.1]:53704 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR3-00059x-42 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:21 -0500 Received: from mail-lf1-f43.google.com ([209.85.167.43]:50658) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQp-00057s-Oe for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:08 -0500 Received: by mail-lf1-f43.google.com with SMTP id 2adb3069b0e04-51197ca63f5so2591509e87.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778738; x=1709383538; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=copDrYZLvyoBmZHpsX9tMGZBdHut6obLrmUIVn+fJ08=; b=jfaBrGBWC8aoj2GzQBVClZcQEIHSO4bugNOFwHr+qakaO+LLNMUHvo73L2IZOQ9+2Q 0SiQ+LI0VAk+vk8iX8RFFMW6npP8J8pDWFSfvSE34xHUvPANLSFdeMXYTMQg8ohyg5uU zG2pTewbpgBryFoYgmGAQXaTngX7SY6Z/btFJumqGGzM4uaLpLCjkAXcCrwA25yXvHoF SBG/YkTIHFvNlpkU4PH+LwyDQetAHFyBkZB7W9MzbLFjUoPtuh2VbbLezT+XIma3u4vN IRHagfzXpK0GnoV62QhCZoWrZt2i4y6bLr0Cv3iWHsNyehrepuvIw+1GAwKlKCndCLbB QyPg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778738; x=1709383538; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=copDrYZLvyoBmZHpsX9tMGZBdHut6obLrmUIVn+fJ08=; b=kOVYZQzGwCH8Gx9Rc7LD0hwFC2qJOPIwwvbPwFy0h3Q1DmTLVdlb8kn235X1TRQFt6 rXp0vBS4sLDsWWk5ekcL664GCduqGJPsjwSpHi8c6cY9rr4eXaHlXlJ6qSU6Cv+Gd28a 1s6Jh1D8yu9xV9pTw7vaLZGY3uWPSvVao4eclli/WNQsP0SIekl4VPU191JwkxPUIoZR MEME3Nn2bdXDFwl0I9rviHA3o/l/+K3RTzlWkomhV3MSbqxisoL9muMhws/ycPIVSWOT IH1M6l//GR688iCfkLLyvTUz12vbNqY9P84evPYGlEW1CNcGc6UOUK6AKqQp/IMJCUdz EaRQ== X-Gm-Message-State: AOJu0Yw49JEQgk8Cyq3jV0nSdrgY28ZxlskEQmk/c3MRnTqOyx8TdOTI mUFvJ7CYKKdJ1vumOBU5ueQpY2QquFIY3Mw38c0bK9Unl5zdg1bWrmD4N3CK X-Google-Smtp-Source: AGHT+IEXUsjffDC6PoXW2PTb9SJKTyqIz3b1EEPN72BJP0zb6vGeCFM596xRatUHxuEmXhGRfW1QQg== X-Received: by 2002:a05:6512:282c:b0:512:e1e3:792f with SMTP id cf44-20020a056512282c00b00512e1e3792fmr2033151lfb.3.1708778737778; Sat, 24 Feb 2024 04:45:37 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.37 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:37 -0800 (PST) Message-ID: <5c91d8eee45bb5a51f6fdad13e1e27a03d471fa9.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:52:40 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (clasp): Update to 3.3.10. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 01cada7b77..05d5a3b754 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,7 +103,7 @@ (define-public libpotassco (define-public clasp (package (name "clasp") - (version "3.3.9") + (version "3.3.10") (source (origin (method git-fetch) (uri (git-reference @@ -112,7 +112,7 @@ (define-public clasp (file-name (git-file-name name version)) (sha256 (base32 - "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw")))) + "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" From patchwork Sat Feb 24 07:54:10 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60991 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 3622B27BBE2; Sat, 24 Feb 2024 12:48:32 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,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 8D00827BBEC for ; Sat, 24 Feb 2024 12:48:28 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRO-0001MA-H8; Sat, 24 Feb 2024 07:47:42 -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 1rdrRM-0001LC-Pz for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -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 1rdrRM-0007Yh-HN for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:40 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRk-0005Dd-HK for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:04 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 05/13] gnu: clingo: Update to 5.7.1. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884219850 (code B ref 69352); Sat, 24 Feb 2024 12:48:04 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:22 +0000 Received: from localhost ([127.0.0.1]:53706 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR3-0005A2-GD for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:22 -0500 Received: from mail-ej1-f66.google.com ([209.85.218.66]:59520) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQq-00057v-82 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:09 -0500 Received: by mail-ej1-f66.google.com with SMTP id a640c23a62f3a-a3e6f79e83dso159066566b.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778738; x=1709383538; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=732FoeDVWe1Hi88BsxmZEQS8OIhC6BBRGeM4lghf6Mg=; b=jv661Lm5YmZ8sFKmYs2yowbbAhN9JWoKp8A3Ib7MDE4m2GqVzJgatWXsjgEF1W6SI2 ZRyGGrZP8L9h467+rIeTec+P0TxXwvf0UlVS9XCEjJMQX2Kuhy3Mm3cxVJymsCfYNPkm 8PskQDxogNYMEBwG/BUdV9GzAi6GbjgRFBbHH/ZyS7LPN+uzNfCP2no2nc5Fuk2U4tcI nS+NTc1bT0AvKI464tL0VJk2FpGqD+djlK3+AjCBQt2eUpX4amNIjle+FYVTkspjaz8H p5SAnOLdrCXzqWde/x6RJcoN39s/OHmPwpTe02H7PLK3Df3QI/OAaqsCpQ1b9DHJF0R6 y34Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778738; x=1709383538; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=732FoeDVWe1Hi88BsxmZEQS8OIhC6BBRGeM4lghf6Mg=; b=paeyAKiGP2sK5AP+ybZYTt6sajgCNaJvqC5xT/tGxVRnc7IXgXoBbbkzmN+NCj+ilu HwalSgsbEruyGX7kCOgVlCNeNLfxuu95jXAY+4tA7DArVaZ56uz+TvUvtmxnCJp9PgH6 Q1gYtNwxJWzBQFMuD3ImepFmbgGynSkJLjVDyGtV8v5QE0k6GSCvCGAeA8EInCU1amo/ V//svBn70R7zjl1aofr/hkvSBrOP9InNJFXduLn7F5EZIvhPs/bxi/v5qHPXWmzoq0fN ig/j0HDlXVnIrnk5d7OzUDoN3MYlX5rSr3M5fiSpOHvYJPhq9aydBcOpgCp+u/1cr7vf L63g== X-Gm-Message-State: AOJu0YwcCOzNl8rK4G9pr0r+G8JeA7gOX+iXoiZfgrXcBGgRhksZ50nC Y+xY3tQxszScTYXMuxqBJTsglHKbtGNsrNO/f2s33EGnwkcokwJ9nS5W5UMd5Mc= X-Google-Smtp-Source: AGHT+IENiZvpnr9BWigA0HNFT5zRTnFDvGEUxtDJ9h8ddPogXtpPlpXkC/Is68DYWlJ+Vn78bwT3jg== X-Received: by 2002:a17:906:b7ce:b0:a3e:5ffa:d564 with SMTP id fy14-20020a170906b7ce00b00a3e5ffad564mr1495597ejb.8.1708778738473; Sat, 24 Feb 2024 04:45:38 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.37 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:38 -0800 (PST) Message-ID: <76170fd2a156a68883eac81d527f0f1a7f8e3685.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:54:10 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (clingo): Update to 5.7.1. --- gnu/packages/potassco.scm | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 05d5a3b754..602d0455d2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -146,7 +146,7 @@ (define-public clasp (define-public clingo (package (name "clingo") - (version "5.6.2") + (version "5.7.1") (source (origin (method git-fetch) (uri (git-reference @@ -160,7 +160,7 @@ (define-public clingo (delete-file-recursively "third_party"))) (sha256 (base32 - "19s59ndcm2yj0kxlikfxnx2bmp6b7n31wq1zvwc7hyk37rqarwys")))) + "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) (build-system cmake-build-system) (arguments (list @@ -184,6 +184,7 @@ (define-public clingo "find_package(mpark_variant)\n" "find_package(tsl-sparse-map)\n" "find_package(tsl-ordered-map)\n" + "find_package(wide-integer)\n" "find_package(Catch2 3 REQUIRED)"))) (substitute* "libclingo/CMakeLists.txt" (("\"cmake/Clingo\"") "\"cmake/clingo\"") @@ -191,7 +192,8 @@ (define-public clingo (("ClingoConfigVersion\\.cmake") "clingo-config-version.cmake")) (substitute* "libgringo/CMakeLists.txt" - (("mpark::variant") "mpark_variant")) + (("mpark::variant") "mpark_variant") + (("math::wide_integer") "wide-integer::wide-integer")) (substitute* "cmake/ClingoConfig.cmake.in" (("find_package\\(Clasp") "find_package(clasp")) (rename-file "cmake/ClingoConfig.cmake.in" @@ -217,7 +219,8 @@ (define-public clingo tl-optional tsl-hopscotch-map tsl-ordered-map - tsl-sparse-map)) + tsl-sparse-map + wide-integer)) (home-page "https://potassco.org/") (synopsis "Grounder and solver for logic programs") (description "Clingo computes answer sets for a given logic program.") From patchwork Sat Feb 24 07:54:18 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60988 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 0609E27BBEA; Sat, 24 Feb 2024 12:48:21 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 99B1C27BBE2 for ; Sat, 24 Feb 2024 12:48:20 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRP-0001Mo-BI; Sat, 24 Feb 2024 07:47:43 -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 1rdrRN-0001LW-A9 for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:41 -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 1rdrRN-0007Yq-0x for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:41 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRl-0005Do-3A for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:05 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884319860 (code B ref 69352); Sat, 24 Feb 2024 12:48:05 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:23 +0000 Received: from localhost ([127.0.0.1]:53709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR4-0005A7-4T for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:22 -0500 Received: from mail-ej1-f68.google.com ([209.85.218.68]:61838) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQr-00057y-16 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:09 -0500 Received: by mail-ej1-f68.google.com with SMTP id a640c23a62f3a-a3122b70439so173136566b.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778739; x=1709383539; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=L+m8hdbOYWsPHq3u6FyXGYtEK+VTkTLPPy47LQhlVm0=; b=GY/MD+1uQ4pfjTEPQ+m2o8162b/9fLXMl/fHyaDAvTgoOO4B7jeUtkDJjy+0Un6NIg JReyMCPyqa0xXPJeDtj4w4vgYdEZ0eRoD9iKaSSgJ9xYfqeu4+E1MNF2wSRKBygjndM3 7b+6yDXg9twvqRIAJcNsHzE7uZpneFWDG842vfP6j32TNOdppN9pTIM1bvdH9Po/L7Ie kojTD4AMF/lV89onro9gcHvcFcd40zs+XXkTq2fbfAh+Skc1+OfddjxvJPo6qbntZyWm lAz1NOjBrczj6XZBUwCYZwEJy/oDWVqIy1fPTzFsfmSLzAe27y4t+6kg5H5RiS6QKCl5 8acw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778739; x=1709383539; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=L+m8hdbOYWsPHq3u6FyXGYtEK+VTkTLPPy47LQhlVm0=; b=wG1dG9KrORY36eKSB1i2gNlJ4gZ55OQ0qaw34e5ZeVxjm1+R1NzAkqFD6chwY4Hexi phDJ7E3fq2Ywf93AMs58+KX7XLiMWNgnoaAJi3P5J9dZ4RZz35sbQ6YVzVwHjV3TDedF gomB0PZikjVmbug7us7dS8thTHsie3KcRmKZatfF1j9oJTA12Ix9fyjfuRRq9HQzxJal JJz/5nTNkDnSIJDYf8/hVPHn6LXNWUjNBnqTkxMCBGr3ArRROp6L9HQcQylS+US+WI/b EHFUSWzUIF13pmOCuP1vwcZpnAzKR+Fn2s/tR6pg6n0CdQvuzkiI47kNdMrJXpJySrPW InBA== X-Gm-Message-State: AOJu0YxZt54v7OV4amJr6Ejf5C2fDTTI5SDDomYkOY5W0hhHx6B1AvcA X9BpFcZc6g+tV1pTSvMPiCvgC1TgRipx7QKOj+wjnKBNMNzLYboVAzCeUFiq9q8= X-Google-Smtp-Source: AGHT+IH3PMElMEr8Q/LJH0ZispEzKXJACaE/7P/P/zb+KsKhBP5IVq+R3hj/to8Pwa40/UDO8F9TUA== X-Received: by 2002:a17:906:19cd:b0:a3f:cf5b:c2b2 with SMTP id h13-20020a17090619cd00b00a3fcf5bc2b2mr1558651ejd.21.1708778739121; Sat, 24 Feb 2024 04:45:39 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.38 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:38 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:54:18 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove generated sources. [native-inputs]: Add bison and re2c. --- gnu/packages/potassco.scm | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 602d0455d2..fd049e2e73 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module (gnu packages potassco) #:use-module (guix build-system emacs) #:use-module (guix build-system python) #:use-module (guix build-system pyproject) + #:use-module (gnu packages bison) #:use-module (gnu packages check) #:use-module (gnu packages cpp) #:use-module (gnu packages graphviz) @@ -42,6 +43,7 @@ (define-module (gnu packages potassco) #:use-module (gnu packages python-build) #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) + #:use-module (gnu packages re2c) #:use-module (gnu packages sphinx)) (define-public libpotassco @@ -157,6 +159,7 @@ (define-public clingo (snippet #~(begin (delete-file-recursively "clasp") + (delete-file-recursively "libgringo/gen") (delete-file-recursively "third_party"))) (sha256 (base32 @@ -214,7 +217,8 @@ (define-public clingo "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) (inputs (list catch2-3 clasp libpotassco)) - (native-inputs (list mpark-variant + (native-inputs (list bison re2c + mpark-variant pkg-config tl-optional tsl-hopscotch-map From patchwork Sat Feb 24 07:55:41 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60994 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 35CC827BBEA; Sat, 24 Feb 2024 13:11:06 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 B29E627BBE2 for ; Sat, 24 Feb 2024 13:10:58 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrnj-0004ar-4Z; Sat, 24 Feb 2024 08:10:47 -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 1rdrne-0004aG-Ih for guix-patches@gnu.org; Sat, 24 Feb 2024 08:10:43 -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 1rdrnb-0002jn-7O for guix-patches@gnu.org; Sat, 24 Feb 2024 08:10:41 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrny-0006Pd-Sn for guix-patches@gnu.org; Sat, 24 Feb 2024 08:11:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 13:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170878021724505 (code B ref 69352); Sat, 24 Feb 2024 13:11:02 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 13:10:17 +0000 Received: from localhost ([127.0.0.1]:55269 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrnE-0006N6-Db for submit@debbugs.gnu.org; Sat, 24 Feb 2024 08:10:17 -0500 Received: from mail-lj1-f169.google.com ([209.85.208.169]:50544) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrYu-0005gl-Kv for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:55:29 -0500 Received: by mail-lj1-f169.google.com with SMTP id 38308e7fff4ca-2d21a68dd3bso22132411fa.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:55:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708779239; x=1709384039; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=+5pjgZX/CuHr6z90Gqb7g/3VAu9NkCMwkcPIJvAVVsc=; b=ZykGOkfjUJSD/CFRQHoUK5sJgRsP8lGyLXDZFXE2VmEVdwr69sqSZLcMK7Iiro5uZD zI85O5GutH8vif9QtDJ89H+MLkOrYa0RQ5tOA7+3g13C8vbLMpHGrZqYfizcYBzEhE6U FnNxkLL6rR2+DfmrAnaa0x5z4sdJPn069RCP+14rViNM2I/yZyZxDKABLkJ9f9jeHmF8 0Md4TtHRSwYwwLhYouY0MXaimY6fRJHXtIguIi6MlvQmt6i9cVdcLlwg/J9CHEt2uc6U up5ciGiKOhG28Lhr5iGhTOglvgbF4N0qlOpjXgP1A4Bk+PgpB9T4hCSyQN1jH9cXP4pr 2z/w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708779239; x=1709384039; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=+5pjgZX/CuHr6z90Gqb7g/3VAu9NkCMwkcPIJvAVVsc=; b=HeU+7LzKR1a1mwq0g9GqI/9WzmeqQjfrZfpXxChXFHxoKFmWl+D9TKWkdejZTTvcjl +qz39+VPuH3SP0imzFV2VcUtPvrhW/QinGopMEG2cVHoABy9vV/kOVGmy4L+87oHGQrR aC5bfHDF4KJhRNdQeYalU599QUnaJ/axbIKPjrTcFqYM+2lRoIUVBQ3Xf23S7MikALZI piCcafgNPJ1+lCfPDlp0rgqr9vhc1Fnsi+fKKE1EgYNWglxrQbqg8dg2J67T8NBkSFrm GIqE+pNOM+gMfh95b+OM7NvvbbV0EfPrlV6CNlqiTN0fTJDjZFQplGsZ5VVfpdL5x0zx NHgw== X-Gm-Message-State: AOJu0YxQwxmrQq+BbiOBqSUkGkmlqmZr/pS+bVBwHIULn/NtWRVtgZDm ktsK9rTviLH9o3Y2z5xUkA6praXaxWuxlRAOkPxsTyPC5s2xRLSAxAO1VRCU X-Google-Smtp-Source: AGHT+IFO/UxztM2Ohls0MvzmuOP3F6s+l2AT+Jfi91j0b1xciW277GNegUZhKlsMq/fA+OcFRGFh+w== X-Received: by 2002:a17:907:37b:b0:a40:6e1:7f98 with SMTP id rs27-20020a170907037b00b00a4006e17f98mr1433521ejb.29.1708778739714; Sat, 24 Feb 2024 04:45:39 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.39 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:39 -0800 (PST) Message-ID: <427405ac7778213cd77ed4c2e547b159c109518b.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:55:41 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index fd049e2e73..5a59eeffef 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -233,7 +233,7 @@ (define-public clingo (define-public clingo-dl (package (name "clingo-dl") - (version "1.4.0") + (version "1.5.0") (source (origin (method git-fetch) (uri (git-reference @@ -241,7 +241,7 @@ (define-public clingo-dl (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw")))) + (base32 "0vf51pgwgiac801gr6w5pnxb6wa0kacz09ncrcn25w5siz17g4si")))) (build-system cmake-build-system) (arguments (list #:tests? #f ; no tests #:configure-flags #~`("-DPYCLINGODL_ENABLE=off"))) From patchwork Sat Feb 24 07:56:15 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60985 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 94B0427BBEA; Sat, 24 Feb 2024 12:48:16 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 48FF827BBEE for ; Sat, 24 Feb 2024 12:48:07 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRP-0001Mp-Ax; Sat, 24 Feb 2024 07:47:43 -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 1rdrRN-0001Lu-TB for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:41 -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 1rdrRN-0007Yw-Km for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:41 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRl-0005Dw-M4 for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:05 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884419870 (code B ref 69352); Sat, 24 Feb 2024 12:48:05 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:24 +0000 Received: from localhost ([127.0.0.1]:53713 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR4-0005AH-PN for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:23 -0500 Received: from mail-lj1-f169.google.com ([209.85.208.169]:60774) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQs-000580-EV for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:10 -0500 Received: by mail-lj1-f169.google.com with SMTP id 38308e7fff4ca-2d094bc2244so15675011fa.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778740; x=1709383540; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=k+t99BvqegEuE8iYqc24ty9S5P5lXbGqjQ6HwojaN0s=; b=jgYPVZoRuiX+SLVdeNng8z3LjDS+nX1Y3tOLzND4monVGW+8w/v1KL01kM8UyK3jpf Cb3cMSrnyJKm/gvwmpj37bIXt7NAZADAWg6uUxIzaRFtkA07tqEfb91xig8YROxx4Z0A jtz70kNkPaM/uCIxR3HcW3jfOIhmw0IM4U5IJU1DZXlnvntvvpfiMS52F1aC/L/T1CaX p8tuWAX8QkKdsFuYyOCBfd6h04p+2Kx4Kul+DCF7FdM1UcqL43Lsuryl6gmGAJR/gXtp LCtHVQoCNudxTTR7pBQeC1mFpVMIGKcwpjVsONGOrhW8C9arfx5L2aSeQ5nvLXo2Tv4S 3TfA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778740; x=1709383540; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=k+t99BvqegEuE8iYqc24ty9S5P5lXbGqjQ6HwojaN0s=; b=SOC3VghDlhXbNcEaTabjDz1OAt4bYm8ixnjxNM9tDIuwmhEzw49W97ZVNQ2kgLUU0q K8VYxF4xK7mXUtub+a2J5R0Halmcbx99ajt1tm7i3dMficm0+yY+CnGHFL0wkbcihZ9J 0KR6SuMlCXzb5MWlbz5wxnmuDMGz2awhTel32de/Yfhi0i4Z8Lqk2omIpdR4s9oMT4Dk 5SFv06/UtK4siIIvzDsdQS7DUx3GJmSX5eOiZWPpS1MNvkylk4DBKtWXqg23POztQeGa R2dQmFycKZKaDXq9Lbnz+0YvSnz1RksvNGhkebV4Y7O7XU6rsCZJwmpUyIsoBbbPLgZF 4Xnw== X-Gm-Message-State: AOJu0Yxo0+ijdsWsCytASyRqf2YqEviExjR13xpjXEY950SHOZ7Q3Xl3 zP2dZsR6xVcHavqoJiE0DQett1AD7qv82deu9eAih/ACNdF98BCQEeo7s6W/ X-Google-Smtp-Source: AGHT+IGIjr6YWMgYrhKrTJsMVgXB/QTQT1qP9A8qAf31LX33JiDFbdYimnUjzETo5wdyVeNFjhcCEw== X-Received: by 2002:a19:8c1b:0:b0:512:ea8d:f2f9 with SMTP id o27-20020a198c1b000000b00512ea8df2f9mr1354574lfd.14.1708778740352; Sat, 24 Feb 2024 04:45:40 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.39 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:40 -0800 (PST) Message-ID: <1eb47332f63b70c8c3242ce9e39029ef747af621.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:56:15 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. --- gnu/packages/potassco.scm | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 5a59eeffef..16cff245e7 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -364,6 +364,9 @@ (define-public python-clingo (substitute-keyword-arguments (package-arguments clingo) ((#:configure-flags flags #~'()) #~(cons* "-DCLINGO_BUILD_WITH_PYTHON=pip" + (string-append "-DCMAKE_MODULE_PATH=" + #$(this-package-native-input "python-scikit-build") + "/lib/cmake/modules") "-DCLINGO_USE_LIB=yes" #$flags)) ((#:imported-modules _ '()) From patchwork Sat Feb 24 07:57:41 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60993 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 24B7B27BBEA; Sat, 24 Feb 2024 12:54:52 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 1998B27BBE2 for ; Sat, 24 Feb 2024 12:54:48 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrY9-0007Ae-4U; Sat, 24 Feb 2024 07:54:41 -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 1rdrY6-00079t-Qd for guix-patches@gnu.org; Sat, 24 Feb 2024 07:54:38 -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 1rdrY6-0008UW-H9 for guix-patches@gnu.org; Sat, 24 Feb 2024 07:54:38 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrYU-0005fY-4P for guix-patches@gnu.org; Sat, 24 Feb 2024 07:55:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 09/13] gnu: python-clingo-dl: Fix build. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877926521690 (code B ref 69352); Sat, 24 Feb 2024 12:55:02 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:54:25 +0000 Received: from localhost ([127.0.0.1]:54295 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrXs-0005dl-Vz for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:54:25 -0500 Received: from mail-lj1-f172.google.com ([209.85.208.172]:42164) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrXq-0005dK-G6 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:54:22 -0500 Received: by mail-lj1-f172.google.com with SMTP id 38308e7fff4ca-2d281d953e0so1180041fa.0 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:53:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708779172; x=1709383972; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=lLFp7XLhku9HEpFRMmQCX+uINqYHuic9amRRJw+0bmc=; b=VaLTKyv8K/FTV5Rs17yE75kZQK/7eSpuxG4+dnGD4ysLCAlnWlMKY2PI1WWMOOpHMm L+vXrSgIrUJfalbkDm3jemst0YqrNnfYPv4n2r1/y6e9he5/fP8r24MaECxBAT5KcBls bO3bDmgGZyUUDmtA+qyXWLz3j+LIYy/fFc5C78vm5oekFGTcRHwGSWqOwSNa1F3GYXau IxGsycbZvGBrLUJ+bEFW4EYQHqWgx5Y1GdWGvl7qqNgIJd6NEg+45V51y5Hn7Ix0PC28 CkMfs6+lH+H/mqDntDKIgYKxusuLTpVszdywEvKWRKcrAipnl+Ksvq9Z//8IBS+vfShI be3A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708779172; x=1709383972; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=lLFp7XLhku9HEpFRMmQCX+uINqYHuic9amRRJw+0bmc=; b=CEtEsKaf5kYxvSvl8G3YVlPqLiPOpaJNVVhdwxtbhMaYpfCzw0s+S4PwN9bkjTQQhS r+0eRmbRmy44qHdnAXHoTkgylqopJF8xCbLgW60Px9TsKrrTaxnTdH/ZpDwn/n9//uvA p6Jf7gHERf3ARNmScp2rOWrnr9LALWIfWC5tWZcEVfLUQYLHpoUjZfloUs65lO9hCer1 d7MGhGnr7kyRMw1TyAF6EAS6phF0uLIFYxUyUIr3Mi7P69GjndSyoIhMfKcqJEXBsCK3 aHVReFapJMVH4sS14uXG6LaQJTWbnbghCleZgeJp9Rrvftm49at2t23IM6C8HV3QIdMv tR0Q== X-Gm-Message-State: AOJu0YyyNksLjjQ7HJnAjoQvZNdWSQxcutfkkwzJuH3vlHh7l79hFQoy 62da01WJOFm8bTxeZuOJN5muLlK/1nWQdwaZeEqG6Ks6cugUDeJFCUewUkMn X-Google-Smtp-Source: AGHT+IFyFrINc62LCV/9wa4DiKO1oPcqVW2I2C1tMrSe/uudHY4Banw3ZXrrx5KJz7ZHQaSco5K16w== X-Received: by 2002:a17:906:6d09:b0:a43:4f4:e538 with SMTP id m9-20020a1709066d0900b00a4304f4e538mr291335ejr.10.1708778741032; Sat, 24 Feb 2024 04:45:41 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.40 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:40 -0800 (PST) Message-ID: <674aae1064fe68d4715f5904e466778b46868b94.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:57:41 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. [native-inputs]: Add python-scikit-build. --- gnu/packages/potassco.scm | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 16cff245e7..e1dbaefa98 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -411,7 +411,11 @@ (define-public python-clingo-dl (version (package-version clingo-dl)) (arguments (list - #:configure-flags #~'("-DPYCLINGODL_ENABLE=pip") + #:configure-flags + #~(list "-DPYCLINGODL_ENABLE=pip" + (string-append "-DCMAKE_MODULE_PATH=" + #$(this-package-native-input "python-scikit-build") + "/lib/cmake/modules")) #:tests? #f #:imported-modules `(,@%cmake-build-system-modules (guix build python-build-system)) @@ -433,6 +437,8 @@ (define-public python-clingo-dl (inputs (modify-inputs (package-inputs clingo-dl) (prepend python-wrapper))) (propagated-inputs (list python-clingo python-cffi)) + (native-inputs (modify-inputs (package-native-inputs clingo-dl) + (prepend python-scikit-build))) (synopsis "Python bindings for clingo-dl") (description "This package allows users to add the clingo-dl propagator as a theory to clingo from Python code. It also supports running clingo-dl From patchwork Sat Feb 24 07:58:52 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60995 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 1236E27BBEA; Sat, 24 Feb 2024 13:44:09 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 931E127BBE9 for ; Sat, 24 Feb 2024 13:44:01 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdsJY-0005hq-I3; Sat, 24 Feb 2024 08:43:40 -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 1rdsJW-0005hL-Rh for guix-patches@gnu.org; Sat, 24 Feb 2024 08:43:38 -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 1rdsJW-0000Dt-Hr for guix-patches@gnu.org; Sat, 24 Feb 2024 08:43:38 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdsJu-0007qt-FK for guix-patches@gnu.org; Sat, 24 Feb 2024 08:44:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 10/13] gnu: python-clorm: Update to 1.5.0. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 13:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170878221930116 (code B ref 69352); Sat, 24 Feb 2024 13:44:02 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 13:43:39 +0000 Received: from localhost ([127.0.0.1]:57184 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdsJV-0007pb-T7 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 08:43:39 -0500 Received: from mail-lj1-f176.google.com ([209.85.208.176]:49165) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdsJS-0007pG-U3 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 08:43:36 -0500 Received: by mail-lj1-f176.google.com with SMTP id 38308e7fff4ca-2d2531294faso27660851fa.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 05:43:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708782125; x=1709386925; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=P4AtLwaMeOAZZHQD/mZNPMrIkIsW30M7WgwumVXqraQ=; b=U1tuzlsgDFAnoopCKGyDaP9tUfahTjOe+AweQFKrNlDhOJ4YyWV0hC4Moxni2yf/CJ Y+r7F5+7wSdMosApyWXj3G+5E9DKkh5cMC1il5QHDuNpqxYPBs2+L5KB4IZvLwTq0hr8 628z+Gtvg34/lXS6LkWKZYtaCjR9gIgp8lMmbmi3IP4Y/DjiFc++RPZuygF98j80FvHp tsDrXUEFleLQLSNtVT/VippHkn/GMsq5a+fOmSAVSm29R61mHaqtC1vsXTrlzbn71SHY hvMHcYBniDOyy9a0wluiJQd9RF7vOfSNpQTnXvnQGiu0Vyt9+1LhDu+ogXFkBJsn9V2L lUNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708782125; x=1709386925; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=P4AtLwaMeOAZZHQD/mZNPMrIkIsW30M7WgwumVXqraQ=; b=c86f5azaeGX+1PXIiRP54ROb8vYR3yZiu5vzhPokDy4TYZ2qAt6F7lIWT+saZb0suP LI22GzltrFoDhntcjGgJ+CYh7DK/MkkM/X56XC3IMGevGCs9lo5Bf5oAB09LzN5myEqB 7YSjrlaVT46h8VRNuyohxH1Yuk4xgmfcx995NHYX3qY0KT5zaCKCLEmXH33NBoFMZ+8B BQnM9SdTqVO7t+SWuJ4TVtFdQNBelx/sqq2jv+kLk/BfG+ikKZOT3IYBItomeKOQObEu 10Ye1bHLcphR8Z591niP0PRwqJqMc6f77ODVQFxQGQTNMTeBq2WBHxFbg/olcI7o950p kOsg== X-Gm-Message-State: AOJu0YwwKh6dyaQeui/eXdKh5OSMUg4ik4I9BxpM528F5FUUMeSF0G6p 9gAeBdytUksGST5lREpb5EmyKUl9w6acJD2g07rFhJx+diPSwnf46yiRAOu/ X-Google-Smtp-Source: AGHT+IE955rAiCeIzBxyXaV/LTAm7YXm9PUe+5aysA7xw/JDBSYkBVd5sbBmkwHrjEnacTVUM+GZbg== X-Received: by 2002:a17:906:f9ce:b0:a3e:9ddf:9f68 with SMTP id lj14-20020a170906f9ce00b00a3e9ddf9f68mr1506837ejb.43.1708778741740; Sat, 24 Feb 2024 04:45:41 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.41 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:41 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:58:52 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (python-clorm): Update to 1.5.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e1dbaefa98..a9dc34f0d4 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -447,7 +447,7 @@ (define-public python-clingo-dl (define-public python-clorm (package (name "python-clorm") - (version "1.4.1") + (version "1.5.0") (source (origin (method git-fetch) (uri (git-reference @@ -456,7 +456,7 @@ (define-public python-clorm (file-name (git-file-name name version)) (sha256 (base32 - "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5")))) + "1wbxniq60ph7bdaypcaahym7jxmlnm2zhrfmrgrk441i1iaida24")))) (build-system pyproject-build-system) (arguments (list #:phases From patchwork Sat Feb 24 08:01:24 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60984 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 E345727BBF3; Sat, 24 Feb 2024 12:48:15 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 178BA27BBEC for ; Sat, 24 Feb 2024 12:48:03 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRP-0001N0-Pw; Sat, 24 Feb 2024 07:47:43 -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 1rdrRO-0001M8-Co for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:42 -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 1rdrRO-0007Z3-4C for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:42 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRm-0005E5-5s for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:06 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 11/13] gnu: python-plingo: Update to 1.1.0. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884419878 (code B ref 69352); Sat, 24 Feb 2024 12:48:06 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:24 +0000 Received: from localhost ([127.0.0.1]:53716 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR5-0005AR-QN for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:24 -0500 Received: from mail-lf1-f49.google.com ([209.85.167.49]:49266) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQu-00058B-C2 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:12 -0500 Received: by mail-lf1-f49.google.com with SMTP id 2adb3069b0e04-512f4e1a6e3so147635e87.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778742; x=1709383542; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=31kwNHFs2VambgFanht9yniPgZAnpv8dkvMGSY+Y3F4=; b=UU/wgu6//6Cd5PFNj9U9mo5huHW+9cLF5MAS8F/cBtL34HClST2iopTf5WOboWCQ44 C57hocj3y53/lIP3BOw5IPikB+LW9EqR3xkzDms44JGqgWNg87tIDVaDKT0ClZg2GN3u dGqeSUVBTqkFZAofE9vtoGur9Kp0Kwr2qKm1jsD1J5Zh7khhFwvFR2NP4s/amFbgjoyu 1l8JITapOmwsizWUD7OFXh5YsGgr9qsqU97CeUjkhfY/Wj4YlJDAoZMx9I5ADU8NbDgC 8DiiqoQPcJFwRMmR25xeiDcKj0opoxKkrf23g/EL10ee83g1Qqvyu8KjBSM/nFj0+5US /Jhw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778742; x=1709383542; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=31kwNHFs2VambgFanht9yniPgZAnpv8dkvMGSY+Y3F4=; b=sW9Nlqx3XwubPy8CShiWOpfDRcYSpvK/aZeqDoRC+WJNZRdQcqRH5Z8TIQ41r5Q5WY s2/CorDi3vvY0kgrcnn8XZ9Cr55J3Xxrp97C3yUuWCxpYQFrRvCuSQE0GtDB8Je73IsT HHCnD1ClmKPcU1NG9+2uT98RD2reqwVBBvpREC5Gde8A8X1/4ezmQoBRiDzeLCJoRwRH /EHPo88YCGa6R9xKZ/ASn90P+mpGc+CHGmHVkJ4/W3qbbaP2Y9nrzZwVfjlqc1C8EbtG xA60zLKEt9u5oyk11ap7hOIQieUUk+vIz12BvWyEBKbdIo17KNXgc0nqqMITueO67tKC HTpQ== X-Gm-Message-State: AOJu0YwUPfLxuksOGRE1gBEUX8IGgGA27p7B4j0Y+bjIjftsc77x2Lp0 ccB6o8F5NfFwCAsgIf4kHHHn7ItJtPYdqcszC26MzhyeAredZMNa4HAS+/nf X-Google-Smtp-Source: AGHT+IFQL4SwDSN13ZBG+TeulK+d3jO4l0EIXaTqpbbvKZCslHac6D9XTZo2ayekAICCHsbkXt3rPg== X-Received: by 2002:a05:6512:691:b0:512:f59f:15d3 with SMTP id t17-20020a056512069100b00512f59f15d3mr318502lfe.20.1708778742396; Sat, 24 Feb 2024 04:45:42 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.41 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:42 -0800 (PST) Message-ID: <503610935c9012ba8d5cdb01046ed02479327f5c.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 09:01:24 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (python-plingo): Update to 1.1.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index a9dc34f0d4..4eb0f4a2c7 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -482,7 +482,7 @@ (define-public python-clorm (define-public python-plingo (package (name "python-plingo") - (version "1.0.0") + (version "1.1.0") (source (origin (method git-fetch) (uri (git-reference @@ -491,7 +491,7 @@ (define-public python-plingo (file-name (git-file-name name version)) (sha256 (base32 - "1mp0pdjzwpl7bpba20iwszx9x49gsyl2rhrp7w7xpwjqdjrp23r8")))) + "0bdz755c6isp29layvzsw9c4kr12x7b5d8ip37ay3cl4dlq4bid3")))) (build-system pyproject-build-system) (arguments (list #:phases From patchwork Sat Feb 24 07:59:28 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60982 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 5335327BBEE; Sat, 24 Feb 2024 12:48:03 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham 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 BF85327BBEA for ; Sat, 24 Feb 2024 12:47:52 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRT-0001PC-3Y; Sat, 24 Feb 2024 07:47:47 -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 1rdrRO-0001MN-QP for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:42 -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 1rdrRO-0007Z9-Ia for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:42 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRm-0005EC-K1 for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:06 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH 12/13] gnu: python-telingo: Update to 2.1.3. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884519887 (code B ref 69352); Sat, 24 Feb 2024 12:48:06 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:25 +0000 Received: from localhost ([127.0.0.1]:53719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR6-0005AZ-DT for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:25 -0500 Received: from mail-lf1-f68.google.com ([209.85.167.68]:57514) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQv-00058J-0x for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:14 -0500 Received: by mail-lf1-f68.google.com with SMTP id 2adb3069b0e04-512ed314881so1122544e87.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778743; x=1709383543; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=ephCFlGGRXoZh8755MTR6YBu0noEltJ7nlZbKMRLXOU=; b=IvCspudDfpPlUbryyJAEIP7RN7zc1q0Y830xj2781ls1IGRq2PAAHpkPWd9oCvxD/E aCuKM6rZKZc+x1kxckutGlmLznm/DiqRe59cRpo45k6HBFWT1pFC4/V+hSxR+ZI/Dlg6 K1wSJsxSOH1EjsU+0wAvQeqh9fNj7lLeaq+ivOeC9WGENbaq9thR2M/q2dN9S0mHpHSL fQjB7Aa6xBIJRgc2VSJ/Ho3Kw1zXcXd1yRY7UFHOc6l379wVLdizzeF729Ao0tUvassF Q4g4kgT4pW+I8hyW+gsbxacBF6b5++HYAdbEzWKxw7zw4z5O+z0lmDw/gUBoj86xRd2I TZ4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778743; x=1709383543; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=ephCFlGGRXoZh8755MTR6YBu0noEltJ7nlZbKMRLXOU=; b=a45xIhyPFzS2BafsgHH0ZqNxLDxCUCL1smMrVVEkuF20IlVeF3mXvvmu4pWcTWgv/s 21+XjnopYeh+3WQhi4o3O2XC2tG6cYap40MLpkUHzjC0J+oVo5xjmteiuMJiiI0lKYwo 5mlrt1qNtLvJ8aNpEjpwKNXFi0kljHXMxxrjEFh0dsvTVW4FQDlWbu7s+c04D8Uw4PRE 5zyidN+XbobTj9Vu5AytRSIDjG72LXY572H5OV5t5POtS1YdSfZCkHchVZXDf2PoQ1MF +VEJtHEn8RiPZpKHOfUffvFH3oR2P7yjE7o+iIYk2+58x7SVvAFTlw1BmbzESP6oHM6t QGlg== X-Gm-Message-State: AOJu0YyxAfIylA9gqvuwVxbJFzjLzp7ecD1mS9NkQzzkZJHB+dBE5Cra QZuGH+TW56EFQrAMbA41DZ6hS7MENsESC0BE5mZ6GBvZdUBX9kRWlJ6rJ8Os3No= X-Google-Smtp-Source: AGHT+IFAZ3EGZzLp71JvDdqBNDXx2VAqpjMH/BgXcqMi6f58HUF9E6KEknAeBYMUjH2xUyy5Apa57A== X-Received: by 2002:ac2:5b1a:0:b0:512:eee2:d8d0 with SMTP id v26-20020ac25b1a000000b00512eee2d8d0mr1086317lfn.59.1708778743033; Sat, 24 Feb 2024 04:45:43 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.42 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:42 -0800 (PST) Message-ID: <3fc6f4d5cbcdf2b2dbbf490e4a31caccdc23b330.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:59:28 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/potassco.scm (python-telingo): Update to 2.1.3. [source]: Drop obsolete patch. * gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. --- gnu/local.mk | 1 - .../python-telingo-fix-comparison.patch | 19 ------------------- gnu/packages/potassco.scm | 5 ++--- 3 files changed, 2 insertions(+), 23 deletions(-) delete mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch diff --git a/gnu/local.mk b/gnu/local.mk index 25e2341a72..9eef46bf57 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1809,7 +1809,6 @@ dist_patch_DATA = \ %D%/packages/patches/python-sip-include-dirs.patch \ %D%/packages/patches/python-sgmllib3k-assertions.patch \ %D%/packages/patches/python-sphinx-prompt-docutils-0.19.patch \ - %D%/packages/patches/python-telingo-fix-comparison.patch \ %D%/packages/patches/python-typeguard-python3.10.patch \ %D%/packages/patches/python-uqbar-python3.10.patch \ %D%/packages/patches/python-wxwidgets-type-errors.patch \ diff --git a/gnu/packages/patches/python-telingo-fix-comparison.patch b/gnu/packages/patches/python-telingo-fix-comparison.patch deleted file mode 100644 index 6d05048dcb..0000000000 --- a/gnu/packages/patches/python-telingo-fix-comparison.patch +++ /dev/null @@ -1,19 +0,0 @@ -Index: source/telingo/transformers/head.py -=================================================================== ---- source.orig/telingo/transformers/head.py -+++ source/telingo/transformers/head.py -@@ -564,10 +564,12 @@ class HeadTransformer: - cond = [] - diff = _ast.BinaryOperation(loc, _ast.BinaryOperator.Minus, param, shift) - if lhs.ast_type != _ast.ASTType.SymbolicTerm or lhs.symbol.type != _clingo.SymbolType.Number or lhs.symbol.number > 0: -- cond.append(_ast.Literal(loc, _ast.Sign.NoSign, _ast.Comparison(_ast.ComparisonOperator.LessEqual, lhs, diff))) -+ cond.append(_ast.Literal(loc, _ast.Sign.NoSign, -+ _ast.Comparison(lhs, [_ast.Guard(_ast.ComparisonOperator.LessEqual, diff)]))) - - if rhs.ast_type != _ast.ASTType.SymbolicTerm or rhs.symbol.type != _clingo.SymbolType.Supremum: -- cond.append(_ast.Literal(loc, _ast.Sign.NoSign, _ast.Comparison(_ast.ComparisonOperator.LessEqual, diff, rhs))) -+ cond.append(_ast.Literal(loc, _ast.Sign.NoSign, -+ _ast.Comparison(diff, [_ast.Guard(_ast.ComparisonOperator.LessEqual, rhs)]))) - - elems.extend([_ast.ConditionalLiteral(loc, _ast.Literal(loc, _ast.Sign.NoSign, head), cond) for head in heads]) - diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 4eb0f4a2c7..43d9ea6647 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -520,17 +520,16 @@ (define-public python-plingo (define-public python-telingo (package (name "python-telingo") - (version "2.1.1") + (version "2.1.3") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/potassco/telingo") (commit (string-append "v" version)))) (file-name (git-file-name name version)) - (patches (search-patches "python-telingo-fix-comparison.patch")) (sha256 (base32 - "0g3khxfdzc2hc7dkiyyqhb399h6h21m5wkp6wy8w71n0m32fiy53")))) + "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) (build-system pyproject-build-system) (propagated-inputs (list python-clingo)) (home-page "https://potassco.org/") From patchwork Sat Feb 24 09:17:45 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 60990 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 6CC9127BBE2; Sat, 24 Feb 2024 12:48:29 +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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS autolearn=ham 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 6172127BBE2 for ; Sat, 24 Feb 2024 12:48:25 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdrRR-0001OB-1e; Sat, 24 Feb 2024 07:47:45 -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 1rdrRP-0001Mq-Bl for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:43 -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 1rdrRP-0007ZG-2x for guix-patches@gnu.org; Sat, 24 Feb 2024 07:47:43 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rdrRn-0005EM-3j for guix-patches@gnu.org; Sat, 24 Feb 2024 07:48:07 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#69352] [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Feb 2024 12:48:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69352 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69352@debbugs.gnu.org Received: via spool by 69352-submit@debbugs.gnu.org id=B69352.170877884519895 (code B ref 69352); Sat, 24 Feb 2024 12:48:07 +0000 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:25 +0000 Received: from localhost ([127.0.0.1]:53722 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR7-0005Ai-97 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:25 -0500 Received: from mail-ej1-f66.google.com ([209.85.218.66]:61838) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQv-00058W-Ej for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:14 -0500 Received: by mail-ej1-f66.google.com with SMTP id a640c23a62f3a-a3122b70439so173141566b.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778744; x=1709383544; darn=debbugs.gnu.org; h=to:content-transfer-encoding:mime-version:subject:date:from :references:in-reply-to:message-id:from:to:cc:subject:date :message-id:reply-to; bh=JCi8NpChViokqH7DRFoSZsALmRKkuvDK0Ib/rL8/yi8=; b=IM5JbUPJXv6xNw0s6HZ7K9l8oH0LfxjLy5IDrEBAH2UXAylPFLQxGTG2fWK/QmxBJQ +mxGjMBAeMllXFgAswppwwR2WDUXEAvNpIYlpUhXZdCaO3c80uGzNpiH2Soskh4iJ/nK hjiTP0JEcFc7pg10UiUHlFH6sig7JjTqWiylPgyKbYTo+TbKdlVI2oaWyMYR5emCzXNU vpUD0XFJ62iKY+S3qlyetnoyz6ooKTBujf6T7zENwOzQ4HjvPSgrfuNjI/7OXsyjDq6F zrjeI4OrM40FEa2blTjVSwFaok1UHvFDYQr8MWa4l3XDHNFpXtQNmEUZ9TVYk4U6WWnw NqYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778744; x=1709383544; h=to:content-transfer-encoding:mime-version:subject:date:from :references:in-reply-to:message-id:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=JCi8NpChViokqH7DRFoSZsALmRKkuvDK0Ib/rL8/yi8=; b=sbcVxCWR1UJ2mVn1neeMFHuXcQrHEQeR1NoQAvLZUp/aos+JF24KYq6k3JOPfEvpN1 QUTPhl33L9Ll3Tmp468JjphocZV0G1ooj5dCaVi4hos817RFhpZF3P5aoEFfZPqx52SM N4uPDWCNmtLYj7QXudZkc7EA05oZpmAGRoh5Oq6qXlvNJrHvvyQR/0RjVBv8bK+jT4xe 7gxPo5mXCYFTGysPzTnarbMrfovPNj917jXdB4kFejnHSUhEh3gL/BrmDjCnEOnlS2QV dSXdlva5H7zyrpBTnjdOt2xpyE31KPCclrDaYO0pdFl5pZgdVWv6vs4n+LLSZuunF4qO 7qFQ== X-Gm-Message-State: AOJu0Yyr6zN2pnkKS48COyXEZefK3BzHZ1+1I/qPYJcXwYARqUvxNqHJ 5vcCrvzn6dVdvdZRaczfFfxfJu8FH55Myb+JxKqR7pm7WgFazHGSsu5gdG6QwnQ= X-Google-Smtp-Source: AGHT+IGqIdngS1Z14IZ7ZDy/hXjr9FKHVUGlhTBLMmrOAz9FmCQtI+rRb5zd58lEPJjefSHLLJpD6Q== X-Received: by 2002:a17:906:3749:b0:a3f:1055:28b7 with SMTP id e9-20020a170906374900b00a3f105528b7mr1523793ejc.63.1708778743695; Sat, 24 Feb 2024 04:45:43 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.43 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:43 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 10:17:45 +0100 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Also exclude “test_cxx_compiler” and “test_fortran_compiler”. --- This one might be a bit controversial, as I haven't reported this issue upstream either, but I've noticed that some quite fundamental-seeming tests fail locally. Shouldn't happen on CI, but you never know. gnu/packages/python-xyz.scm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 88dadb9f4a..dc99588ccb 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -31930,7 +31930,10 @@ (define-public python-scikit-build ;; nondeterministically (see: ;; https://github.com/scikit-build/scikit-build/issues/711). "and not test_generator_cleanup " - "and not test_generator_selection "))))) + "and not test_generator_selection " + ;; … and there's more of them + "and not test_cxx_compiler " + "and not test_fortran_compiler "))))) (add-after 'install 'install-cmake (lambda* (#:key outputs #:allow-other-keys) (let ((lib (string-append (assoc-ref outputs "out")