X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Sat, 30 Mar 2024 11:41:01 +0000 Resent-Message-ID: <handler.70087.B.17117988539715 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: report 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Herman Rimm <herman@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-To: guix-patches@HIDDEN X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by submit <at> debbugs.gnu.org id=B.17117988539715 (code B ref -1); Sat, 30 Mar 2024 11:41:01 +0000 Received: (at submit) by debbugs.gnu.org; 30 Mar 2024 11:40:53 +0000 Received: from localhost ([127.0.0.1]:44085 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rqX4u-0002Wd-Js for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:52 -0400 Received: from lists.gnu.org ([2001:470:142::17]:38994) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1rqX4p-0002Vx-PV for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:51 -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 <herman@HIDDEN>) id 1rqX4h-0003CP-F7 for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:39 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117] helo=email.rimm.ee) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from <herman@HIDDEN>) id 1rqX4e-0005s5-2P for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1711798829; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=y/adxjp6nXKv+nhlxgQwIAdvA6exyA/kLROzef4rwy0=; b=oAjz8/bnotLYMfTwLZAx83fZX72pfDZ5qRJpYY93FQ+CQQ/ZOz5iQJ9BLmIz9dTiLMTM9Y WlEJJDcdQx5eVZKMds/rRMMjGNljhpOLiQ0LebLvQSx2Gnc3WtxTH+kNvb7x9v+74m/AhC hKlnONEl0mY/XSrO1+KT3OMVTPPQua4nVN1ss7PZ8CeR15pUkeu2ya3+smcjC9J30D5Bbk zBFNGOkjokRVLWcSHxav6z1UNY3GquucojoV3KtSPTbVxeN0jcyv4UB5e8AIPs2EJ2hGPa iUrY3SPJkK8EDl/xSzVUC2nldmQD3LxjrtlsCV2bjxxWNkJOcBkflIXoddSWEQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 09ea5533 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 30 Mar 2024 11:40:29 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Sat, 30 Mar 2024 12:40:05 +0100 Message-ID: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=81.205.150.117; envelope-from=herman@HIDDEN; helo=email.rimm.ee X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 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_PBL=3.335, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, TVD_RCVD_IP=0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.1 (/) * gnu/packages/maths.scm (gecode): Update. Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 479591889f..6c23aa3562 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -63,6 +63,7 @@ ;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN> ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN> ;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN> +;;; Copyright © 2024 Herman Rimm <herman@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -2615,16 +2616,16 @@ (define-public clp (define-public gecode (package (name "gecode") - (version "6.2.0") + (version "6.3.0") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/Gecode/gecode") - (commit (string-append "release-" version)))) + (commit "2d20e88cae176584b6e09d909aca3eb72ae76829"))) (file-name (git-file-name name version)) (sha256 (base32 - "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk")) + "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r")) (modules '((guix build utils))) (snippet '(begin base-commit: 350cdbe83819233b6db9fb1cfc797eaf80b0d168 -- 2.41.0
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Herman Rimm <herman@HIDDEN> Subject: bug#70087: Acknowledgement ([PATCH 1/4] gnu: gecode: Update to development version 6.3.0.) Message-ID: <handler.70087.B.17117988539715.ack <at> debbugs.gnu.org> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Gnu-PR-Message: ack 70087 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 70087 <at> debbugs.gnu.org Date: Sat, 30 Mar 2024 11:41:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. As you requested using X-Debbugs-CC, your message was also forwarded to Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlata= n Hellseher <sharlatanus@HIDDEN> (after having been given a bug report number, if it did not have one). Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 70087 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70087 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 2/4] gnu: Add chuffed. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Sat, 30 Mar 2024 11:44:02 +0000 Resent-Message-ID: <handler.70087.B70087.171179900410263 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Herman Rimm <herman@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171179900410263 (code B ref 70087); Sat, 30 Mar 2024 11:44:02 +0000 Received: (at 70087) by debbugs.gnu.org; 30 Mar 2024 11:43:24 +0000 Received: from localhost ([127.0.0.1]:44098 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rqX7L-0002fO-OJ for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:24 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:54339 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1rqX7J-0002ed-9i for 70087 <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1711798992; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=yJaMu0Ly3BsRSBTQZb66VHrLC/FAKoZPbGok7yybOT4=; b=CRQVa2V4M0Ug9bnBEs22Mhxe3pZwss3M390Rf309H3LOXiM8fNyXrn+Jd0hYURGlMgRVfE nSrNMYthjpw3bMH4FZzJUscnQcUMBLShQ/z9Jz5cVAYPy5X6UPscb4CbHizatyfpSeXKpb OvfPKGFlyHrzt/M3gyc9anktN2m6vlBwu5Tp+hpaYR6sMHMbh4cOuu0BmrrPRUl8DyRcLh +c8rcCotVIOCsuBzGWrHSaKgpDzns/hJM4OQoZnPz+7BZ7UDG6SGh7tnWchJqCbLtZjTKN vsSIeieRjkm0WKanwgj+WnzG+piEGqK3iUiTVD9fy+RXuo+O6/KAeimI1bEM5A== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 1cbf64af (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 30 Mar 2024 11:43:12 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Sat, 30 Mar 2024 12:42:39 +0100 Message-ID: <a6f28de25feaacb939b8da06539aed6de1b4f8de.1711794209.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (chuffed): Add variable. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 TVD_RCVD_IP Message was received from an IP address -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (chuffed): Add variable. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (chuffed): Add variable. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 6c23aa3562..0c08851616 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -306,6 +306,43 @@ (define-public calc (home-page "http://www.isthe.com/chongo/tech/comp/calc/") (license license:lgpl2.1))) +(define-public chuffed + (package + (name "chuffed") + (version "0.13.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/chuffed/chuffed") + (commit version))) + (sha256 + (base32 + "1c28q166qh84q4i5wz77fqvw7kld3fmhd245sgdvyxcbjpi2wr0m")))) + (build-system cmake-build-system) + (synopsis "Lazy clause generation solver") + (arguments '(#:tests? #f ; no 'check' target + #:modules ((guix build cmake-build-system) + (guix build utils)) + #:phases + (modify-phases %standard-phases + (add-before 'build 'patch-msc + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (substitute* "chuffed.msc" + ;; TODO: Replace fzn-chuffed and chuffed path + ;; before build. + (("\\.\\./../..") out) + (("\\.\\.") + (string-append + out "/share/minizinc"))))))))) + (description + "Chuffed is a state of the art lazy clause solver designed from the +ground up with lazy clause generation in mind. Lazy clause generation +is a hybrid approach to constraint solving that combines features of +finite domain propagation and Boolean satisfiability.") + (home-page "https://github.com/chuffed/chuffed") + (license license:expat))) + (define-public coda (package (name "coda") -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 3/4] gnu: minizinc: Add chuffed backend. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Sat, 30 Mar 2024 11:44:02 +0000 Resent-Message-ID: <handler.70087.B70087.171179900910284 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Herman Rimm <herman@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171179900910284 (code B ref 70087); Sat, 30 Mar 2024 11:44:02 +0000 Received: (at 70087) by debbugs.gnu.org; 30 Mar 2024 11:43:29 +0000 Received: from localhost ([127.0.0.1]:44101 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rqX7R-0002fn-4M for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:29 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:54339 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1rqX7K-0002ed-Sb for 70087 <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1711798993; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=9abtWu/rQXYQL8b4pZ/OFkWzcdnwmJU36bnR32VSpSg=; b=AsQNzP0VVczHSoAh0g3ZIRbDvyljKMRpw+SBS6gWHwdxU8hB70b6IHQqUFipzcWqbYhnX4 amsbMAK6SLulvoOHMD3hRSWY0WEKJwOM/IZ1EaqJNZ/KqpkfuwRQpcLlCyiUc0VFcWfn7a 60IR/94wT1fkVm0gwzVHVQN6uf8sQAA1K8znyAiB6Yv462+cGL+V+Z/k034333gXxYG++b xO381MBhmhT7pSYWBEnuSoPlU2qATpYejQFFav97A2A+Rf649tZOEV1prZqN0KWnQh5Qk9 uBNn+I9qFDQ9wpct7zaIS+Wk7iJjVkXjJe6TfE8PEp+UlYZD1nVOCDK4TJkYEQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id a72b465b (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 30 Mar 2024 11:43:13 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Sat, 30 Mar 2024 12:42:40 +0100 Message-ID: <1f8b3e870c43629a1b35ecb532a1cffc19146315.1711794209.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 4.3 (++++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) Content analysis details: (4.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 TVD_RCVD_IP Message was received from an IP address -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: www.minizinc.org] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: www.minizinc.org] X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 3.3 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) Content analysis details: (3.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: www.minizinc.org] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: www.minizinc.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 0c08851616..fd44f1f985 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4065,9 +4065,9 @@ (define-public minizinc (lambda (file) (member file (cons* "." ".." targets))) (scandir "."))) - (substitute* "libmzn.cmake" - (("include\\(cmake/targets/(.*)\\)" all target) - (if (member target targets) all ""))))) + (substitute* "libmzn.cmake" + (("include\\(cmake/targets/(.*)\\)" all target) + (if (member target targets) all ""))))) (with-directory-excursion "include/minizinc/solvers/MIP" (for-each delete-file (remove @@ -4106,9 +4106,10 @@ (define-public minizinc (modify-phases %standard-phases (add-after 'install 'install-solver-configs (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((gecode (assoc-ref inputs "gecode")) + (let ((chuffed (assoc-ref inputs "chuffed")) + (gecode (assoc-ref inputs "gecode")) (pkgdatadir (string-append (assoc-ref outputs "out") - "/share/minizinc"))) + "/share/minizinc"))) (call-with-output-file (string-append pkgdatadir "/Preferences.json") (lambda (port) @@ -4123,7 +4124,9 @@ (define-public minizinc port) (newline port))) - (mkdir-p (string-append pkgdatadir "/solvers")) + (copy-recursively + (string-append chuffed "/share/minizinc/solvers") + (string-append pkgdatadir "/solvers")) (call-with-output-file (string-append pkgdatadir "/solvers/gecode.msc") (lambda (port) @@ -4150,7 +4153,7 @@ (define-public minizinc (native-inputs (list bison flex)) (inputs - (list cbc gecode zlib)) + (list cbc chuffed gecode zlib)) (home-page "https://www.minizinc.org") (synopsis "High-level constraint modeling language") (description "MiniZinc is a high-level modeling language for constraint -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 4/4] gnu: minizinc: Update to 2.8.3. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Sat, 30 Mar 2024 11:44:03 +0000 Resent-Message-ID: <handler.70087.B70087.171179901010290 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Herman Rimm <herman@HIDDEN>, Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171179901010290 (code B ref 70087); Sat, 30 Mar 2024 11:44:03 +0000 Received: (at 70087) by debbugs.gnu.org; 30 Mar 2024 11:43:30 +0000 Received: from localhost ([127.0.0.1]:44103 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rqX7R-0002fp-Kr for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:29 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:54339 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1rqX7M-0002ed-8J for 70087 <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:24 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1711798993; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=SfFWW89TEECW7kiRztkFHNZxt7bSFUz/EtOJyAgToCE=; b=Kg25UCLQ7WT66itQozInHQ7dDIpT27ofJIkkgYD3hTUbBt7hKKZhADhY838sO7dDsKqybd SLGP1stq16euK0fQgEzvffbVhcn+4SckvMGkvdXe/fpXRIBk93oF1dT3gG2Bu/Sb7r7Lik uKIxTx5sDw6cZYAxFvaSC85h2efrVfun+Qi7lcVxLztEw3vmC1N4eUO4wSDIEQKevsx8UG Zbq60HVFvKEZOpXC59nbnMf3LbDRUTJHimj+IhqtSGqOQTahQLUlLsiNya84OeL94FpBq5 OgbtcrhHUhIhlpzxtNc1tT7CfoXfPqf+7k7bfNn2IiLn65jXHWl/UKkhZBLh0w== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id e4a63f6e (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 30 Mar 2024 11:43:13 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Sat, 30 Mar 2024 12:42:41 +0100 Message-ID: <5345bf947c546c7a9c1a581e9d22d33b953158ec.1711794209.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Update. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index fd44f1f985..5a58696858 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4034,7 +4034,7 @@ (define-public metamath [...] Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 TVD_RCVD_IP Message was received from an IP address -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Update. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index fd44f1f985..5a58696858 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4034,7 +4034,7 @@ (define-public metamath [...] Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (minizinc): Update. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index fd44f1f985..5a58696858 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4034,7 +4034,7 @@ (define-public metamath (define-public minizinc (package (name "minizinc") - (version "2.5.5") + (version "2.8.3") (source (origin (method git-fetch) (uri (git-reference @@ -4043,7 +4043,7 @@ (define-public minizinc (file-name (git-file-name name version)) (sha256 (base32 - "10b2hsl1fx9psh0iagmp8ki3f60f3qg5hmvra5aczjlfmbl88ggp")) + "1h3pc92m7ypvmhrrhk2263ib5rqc4fv4n6lai0p8dwiidjpcqnpz")) (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) @@ -4089,6 +4089,9 @@ (define-public minizinc "MIP_solverinstance.cpp" "MIP_wrap.cpp"))) (scandir ".")))) + ;; Gecode 6.3 does not yet support new interface. + (substitute* "solvers/gecode/gecode_solverinstance.cpp" + (("600300") "600400")) (substitute* "CMakeLists.txt" (("find_package\\(([^ ]*).*\\)" all pkg) (if (member pkg '("Gecode" "OsiCBC" "Threads")) -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Sun, 12 May 2024 19:10:01 +0000 Resent-Message-ID: <handler.70087.B70087.171554097731415 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm <herman@HIDDEN> Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171554097731415 (code B ref 70087); Sun, 12 May 2024 19:10:01 +0000 Received: (at 70087) by debbugs.gnu.org; 12 May 2024 19:09:37 +0000 Received: from localhost ([127.0.0.1]:56024 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6EZl-0008Ad-Ek for submit <at> debbugs.gnu.org; Sun, 12 May 2024 15:09:37 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:59482) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s6EZi-0008AT-Rw for 70087 <at> debbugs.gnu.org; Sun, 12 May 2024 15:09:35 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 4352460C; Sun, 12 May 2024 21:08:58 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nT-pHvg-akVI; Sun, 12 May 2024 21:08:57 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 336A31F1; Sun, 12 May 2024 21:08:57 +0200 (CEST) Date: Sun, 12 May 2024 21:08:55 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <ZkETxxAlMKIbzPXz@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, Am Sat, Mar 30, 2024 at 12:40:05PM +0100 schrieb Herman Rimm: > * gnu/packages/maths.scm (gecode): Update. > - (version "6.2.0") > + (version "6.3.0") > (source (origin > (method git-fetch) > (uri (git-reference > (url "https://github.com/Gecode/gecode") > - (commit (string-append "release-" version)))) > + (commit "2d20e88cae176584b6e09d909aca3eb72ae76829"))) we normally only package the latest released version; indeed this dates from 2019 and is 6.2.0 according to their webpage. Is a newer package really needed? Why this commit from 2020, and not another one from 2024? Their git repository is, let us say, unusual: The master branch has not seen any commit after the 6.2.0 release except for a license change. Work seems to be done in the origin/release/6.3.0 branch. So without compelling reason, I would suggest to not do the update; in any case it could not be called 6.3.0, since there is no such release. Maybe joining issue https://github.com/Gecode/gecode/issues/177 from last August to make a new release would be a path forward? Andreas
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Tue, 14 May 2024 07:33:01 +0000 Resent-Message-ID: <handler.70087.B70087.171567192615066 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Andreas Enge <andreas@HIDDEN> Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171567192615066 (code B ref 70087); Tue, 14 May 2024 07:33:01 +0000 Received: (at 70087) by debbugs.gnu.org; 14 May 2024 07:32:06 +0000 Received: from localhost ([127.0.0.1]:37668 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6mdq-0003uw-CZ for submit <at> debbugs.gnu.org; Tue, 14 May 2024 03:32:06 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:34107 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1s6mdo-0003uY-Bw for 70087 <at> debbugs.gnu.org; Tue, 14 May 2024 03:32:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715671914; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=9fiK/HIlX5Ru1biQknFmJM25/G038hM8QJusavuHz6A=; b=F3Y2F0ZYBm8cKxtGHTHa9sz/vKTw93HvGsdUnP+x4FBS37p2HaHKeNj1YMwO59LVyAvKYi tafxdQuG4CZz4VVMZ9tVRxA6ZvS9pu+cR+XFTcYRzDZy5o9x9Dp5vK2BQZ6tfUvgQDjByI zdA1n372f7ElMF1OziIM7C1rxAQfVVG8YSHed+ct98yCGFkEoMqiJfLuM7KrcBhMbP3b42 7IRurQr6PDjP6xopMYDMmumRxUWwMUE0qakg7agKeXT8vsZDfpre9oEzDPc4aZuMKCAVCW VUF2J2QsSJFRW2U106akC/ZARrQrwY4Sf57mBEfma27EA4yPsWUOH3df2mQiuA== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 28037bc0 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Tue, 14 May 2024 07:31:54 +0000 (UTC) Date: Tue, 14 May 2024 09:31:47 +0200 From: Herman Rimm <herman@HIDDEN> Message-ID: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <ZkETxxAlMKIbzPXz@jurong> X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hello, On Sun, May 12, 2024 at 09:08:55PM +0200, Andreas Enge wrote: > Is a newer package really needed? Why this commit from 2020, and not another > one from 2024? Their git repository is, let us say, unusu [...] Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 TVD_RCVD_IP Message was received from an IP address 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hello, On Sun, May 12, 2024 at 09:08:55PM +0200, Andreas Enge wrote: > Is a newer package really needed? Why this commit from 2020, and not another > one from 2024? Their git repository is, let us say, unusu [...] Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Hello, On Sun, May 12, 2024 at 09:08:55PM +0200, Andreas Enge wrote: > Is a newer package really needed? Why this commit from 2020, and not another > one from 2024? Their git repository is, let us say, unusual: The master > branch has not seen any commit after the 6.2.0 release except for a license > change. Work seems to be done in the origin/release/6.3.0 branch. A new version is required because for e.g. [1] the current gecode gives: $ minizinc --solver gecode magic_square.mzn /gnu/store/nxk99lxxlsyjg1wy9xjcsyhx1904qy1h-minizinc-2.5.5/share/minizinc/std/nvalue_fn.mzn:7.57-67: MiniZinc: type error: no function or predicate with this signature found: `nvalue(var int,array[$_] of var int)' Cannot use the following functions or predicates with the same identifier: function var int : nvalue(array[$_] of var int: x); (requires 1 argument, but 2 given) predicate nvalue(var int: n,array[int] of var int: x); (argument 2 expects type array[int] of var int, but type array[$_] of var int given) While the development version returns: $ minizinc --solver gecode magic_square.mzn Total: 15 2 7 6 9 5 1 4 3 8 ---------- I don't remember why I specifically picked that commit, I could try packaging at a more recent commit. > in any case it could not be called 6.3.0, since there is no such release. Can I use the 'git-version' procedure in the updated package and create a 'gecode/pinned' package which inherits from it for the 6.2.0 release? Cheers, Herman [1]: http://csplib.github.io/csplib-PR-builds/PR-18/Problems/prob019/models/magic_square.mzn.html
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Tue, 14 May 2024 11:46:02 +0000 Resent-Message-ID: <handler.70087.B70087.17156871146817 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm <herman@HIDDEN> Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.17156871146817 (code B ref 70087); Tue, 14 May 2024 11:46:02 +0000 Received: (at 70087) by debbugs.gnu.org; 14 May 2024 11:45:14 +0000 Received: from localhost ([127.0.0.1]:38867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6qao-0001kn-DC for submit <at> debbugs.gnu.org; Tue, 14 May 2024 07:45:14 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:56862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s6qam-0001Ie-1r for 70087 <at> debbugs.gnu.org; Tue, 14 May 2024 07:45:13 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id BE9781A0C; Tue, 14 May 2024 13:44:34 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id WP9qz901MEvD; Tue, 14 May 2024 13:44:34 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id C508B300; Tue, 14 May 2024 13:44:33 +0200 (CEST) Date: Tue, 14 May 2024 13:44:31 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <ZkNOn4GU0EP0j4uZ@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, Am Tue, May 14, 2024 at 09:31:47AM +0200 schrieb Herman Rimm: > A new version is required because for e.g. [1] the current gecode gives: > $ minizinc --solver gecode magic_square.mzn thanks for the example! Actually you can also drop "--solver gecode", since gecode is the default choice. And when doing $ minizinc --solver coin-bc magic_square.mzn it prints a solution. So this is a good reason for updating gecode. I do not know what would be a good commit; maybe the most recent one, or anything before if that looks more stable. I will let you have a look. > > in any case it could not be called 6.3.0, since there is no such release. > Can I use the 'git-version' procedure in the updated package and create > a 'gecode/pinned' package which inherits from it for the 6.2.0 release? As I understand things, you use '(git-version "6.2.0" 1 commit-number)' for the first Guix package created from a release after 6.2.0. There is no reason to have two packages - only minizinc depends on it, and this is actually requiring a new package. So indeed, just update the package. Andreas
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 10:14:01 +0000 Resent-Message-ID: <handler.70087.B70087.171576800417425 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm <herman@HIDDEN> Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171576800417425 (code B ref 70087); Wed, 15 May 2024 10:14:01 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 10:13:24 +0000 Received: from localhost ([127.0.0.1]:42017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7BdT-0004Wz-Ug for submit <at> debbugs.gnu.org; Wed, 15 May 2024 06:13:24 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:56852) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7BdQ-0004Wr-Md for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 06:13:22 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 313771F3E; Wed, 15 May 2024 12:12:40 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ZwOoSSfS4LuE; Wed, 15 May 2024 12:12:39 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 440F6EFC; Wed, 15 May 2024 12:12:39 +0200 (CEST) Date: Wed, 15 May 2024 12:12:37 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <ZkSKlaYJ70Fj3uMx@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, I have just pushed a gexpified version of your chuffed patch. Thanks! Andreas
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 12:08:02 +0000 Resent-Message-ID: <handler.70087.B70087.1715774857611 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm <herman@HIDDEN> Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.1715774857611 (code B ref 70087); Wed, 15 May 2024 12:08:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 12:07:37 +0000 Received: from localhost ([127.0.0.1]:42147 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7DQ0-00009n-RC for submit <at> debbugs.gnu.org; Wed, 15 May 2024 08:07:37 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:34854) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7DPy-00009g-57 for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 08:07:36 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 0A6321F67; Wed, 15 May 2024 14:06:55 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fPR0-C8k2jMu; Wed, 15 May 2024 14:06:54 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id A5DFC1F5E; Wed, 15 May 2024 14:06:53 +0200 (CEST) Date: Wed, 15 May 2024 14:06:50 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <ZkSlWrWqtrlivP__@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> <ZkSKlaYJ70Fj3uMx@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <ZkSKlaYJ70Fj3uMx@jurong> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) And I have just pushed a gecode version based on the latest git commit in the release/6.3.0 branch. Unfortunately I had forgotten to test whether the dependent package minizinc still builds, and it does not - neither the current version, nor 2.8.3, nor the just released 2.8.4. The last one fails like so: /tmp/guix-build-minizinc-2.8.4.drv-0/source/solvers/gecode/gecode_solverinstance.cpp: In member function ‘void MiniZinc::GecodeSolverInstance::prepareEngine()’: /tmp/guix-build-minizinc-2.8.4.drv-0/source/solvers/gecode/gecode_solverinstance.cpp:1350:54: error: no matching function for call to ‘Gecode::Driver::CombinedStop::create(int&, int&, int&, bool)’ 1350 | engineOptions.stop = Driver::CombinedStop::create(nodeStop, failStop, timeStop, false); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /gnu/store/dhnd6kpwp5g1ycc3s9ycdccybapdfjxy-gecode-6.2.0-1.f7f0d7c/include/gecode/driver.hh:835, from /tmp/guix-build-minizinc-2.8.4.drv-0/source/include/minizinc/solvers/gecode/fzn_space.hh:16, from /tmp/guix-build-minizinc-2.8.4.drv-0/source/solvers/gecode/gecode_solverinstance.cpp:15: /gnu/store/dhnd6kpwp5g1ycc3s9ycdccybapdfjxy-gecode-6.2.0-1.f7f0d7c/include/gecode/driver/script.hpp:98:5: note: candidate: ‘static Gecode::Search::Stop* Gecode::Driver::CombinedStop::create(long long unsigned int, long long unsigned int, double, long long unsigned int, bool)’ 98 | create(unsigned long long int node, | ^~~~~~ /gnu/store/dhnd6kpwp5g1ycc3s9ycdccybapdfjxy-gecode-6.2.0-1.f7f0d7c/include/gecode/driver/script.hpp:98:5: note: candidate expects 5 arguments, 4 provided One solution would be to downgrade gecode to the commit that you provided and tested minizinc with. Since you are probably familiar with the code, do you see a better solution? Andreas
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge <andreas@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 12:41:02 +0000 Resent-Message-ID: <handler.70087.B70087.17157768102282 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm <herman@HIDDEN> Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.17157768102282 (code B ref 70087); Wed, 15 May 2024 12:41:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 12:40:10 +0000 Received: from localhost ([127.0.0.1]:42195 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7DvV-0000ak-Om for submit <at> debbugs.gnu.org; Wed, 15 May 2024 08:40:09 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:39384) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7DvT-0000aC-Dh for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 08:40:08 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id F30191F6A; Wed, 15 May 2024 14:39:57 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xRW0d1XVPXG9; Wed, 15 May 2024 14:39:57 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 2E536E92; Wed, 15 May 2024 14:39:57 +0200 (CEST) Date: Wed, 15 May 2024 14:39:55 +0200 From: Andreas Enge <andreas@HIDDEN> Message-ID: <ZkStG0sHuOuf85lc@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> <ZkSKlaYJ70Fj3uMx@jurong> <ZkSlWrWqtrlivP__@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <ZkSlWrWqtrlivP__@jurong> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Am Wed, May 15, 2024 at 02:06:50PM +0200 schrieb Andreas Enge: > One solution would be to downgrade gecode to the commit that you provided > and tested minizinc with. I have done just this; now minizinc compiles and solves the magic square example. I have also modernised the gecode package definition using gexps. Andreas
MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Andreas Enge <andreas@HIDDEN> Subject: bug#70087: closed ([PATCH 1/4] gnu: gecode: Update to development version 6.3.0.) CC: tracker <at> debbugs.gnu.org Message-ID: <handler.70087.D70087.17157785653437.ackdone <at> debbugs.gnu.org> References: <ZkSz0b1rOI4kvd9S@jurong> <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Gnu-PR-Message: closed 70087 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Date: Wed, 15 May 2024 13:10:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1715778601-3462-0" This is a multi-part message in MIME format... ------------=_1715778601-3462-0 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Your message dated Wed, 15 May 2024 15:08:33 +0200 with message-id <ZkSz0b1rOI4kvd9S@jurong> and subject line Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to develop= ment version 6.3.0. has caused the debbugs.gnu.org bug report #70087, regarding [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@HIDDEN) --=20 70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70087 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems ------------=_1715778601-3462-0 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 30 Mar 2024 11:40:53 +0000 Received: from localhost ([127.0.0.1]:44085 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rqX4u-0002Wd-Js for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:52 -0400 Received: from lists.gnu.org ([2001:470:142::17]:38994) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1rqX4p-0002Vx-PV for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:51 -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 <herman@HIDDEN>) id 1rqX4h-0003CP-F7 for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:39 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117] helo=email.rimm.ee) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from <herman@HIDDEN>) id 1rqX4e-0005s5-2P for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1711798829; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=y/adxjp6nXKv+nhlxgQwIAdvA6exyA/kLROzef4rwy0=; b=oAjz8/bnotLYMfTwLZAx83fZX72pfDZ5qRJpYY93FQ+CQQ/ZOz5iQJ9BLmIz9dTiLMTM9Y WlEJJDcdQx5eVZKMds/rRMMjGNljhpOLiQ0LebLvQSx2Gnc3WtxTH+kNvb7x9v+74m/AhC hKlnONEl0mY/XSrO1+KT3OMVTPPQua4nVN1ss7PZ8CeR15pUkeu2ya3+smcjC9J30D5Bbk zBFNGOkjokRVLWcSHxav6z1UNY3GquucojoV3KtSPTbVxeN0jcyv4UB5e8AIPs2EJ2hGPa iUrY3SPJkK8EDl/xSzVUC2nldmQD3LxjrtlsCV2bjxxWNkJOcBkflIXoddSWEQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 09ea5533 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 30 Mar 2024 11:40:29 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Date: Sat, 30 Mar 2024 12:40:05 +0100 Message-ID: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=81.205.150.117; envelope-from=herman@HIDDEN; helo=email.rimm.ee X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 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_PBL=3.335, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, TVD_RCVD_IP=0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: Herman Rimm <herman@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.1 (/) * gnu/packages/maths.scm (gecode): Update. Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 479591889f..6c23aa3562 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -63,6 +63,7 @@ ;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN> ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN> ;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN> +;;; Copyright © 2024 Herman Rimm <herman@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -2615,16 +2616,16 @@ (define-public clp (define-public gecode (package (name "gecode") - (version "6.2.0") + (version "6.3.0") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/Gecode/gecode") - (commit (string-append "release-" version)))) + (commit "2d20e88cae176584b6e09d909aca3eb72ae76829"))) (file-name (git-file-name name version)) (sha256 (base32 - "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk")) + "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r")) (modules '((guix build utils))) (snippet '(begin base-commit: 350cdbe83819233b6db9fb1cfc797eaf80b0d168 -- 2.41.0 ------------=_1715778601-3462-0 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 70087-done) by debbugs.gnu.org; 15 May 2024 13:09:25 +0000 Received: from localhost ([127.0.0.1]:42215 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7ENl-0000tN-6k for submit <at> debbugs.gnu.org; Wed, 15 May 2024 09:09:25 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:54646) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7ENh-0000tG-2O for 70087-done <at> debbugs.gnu.org; Wed, 15 May 2024 09:09:19 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 3E461125D; Wed, 15 May 2024 15:08:37 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id yD_3Jk9pDmze; Wed, 15 May 2024 15:08:36 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 26A67261; Wed, 15 May 2024 15:08:36 +0200 (CEST) Date: Wed, 15 May 2024 15:08:33 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkSz0b1rOI4kvd9S@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> <ZkSKlaYJ70Fj3uMx@jurong> <ZkSlWrWqtrlivP__@jurong> <ZkStG0sHuOuf85lc@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <ZkStG0sHuOuf85lc@jurong> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087-done Cc: 70087-done <at> debbugs.gnu.org, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, I have now applied your patch to add chuffed to minizinc, and I have gexpified this latter package. An update of minizinc to 2.8.3 (or 2.8.4, released 5 days ago) does not build; I think one would need to move to a different commit of gecode (but not the latest one...). I am closing the current bug. If you are motivated to look for a combination of newer gecode and minizinc versions that work together, please feel free to open a new bug. Andreas ------------=_1715778601-3462-0--
MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Herman Rimm <herman@HIDDEN> Subject: bug#70087: closed (Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.) Message-ID: <handler.70087.D70087.17157785653437.notifdone <at> debbugs.gnu.org> References: <ZkSz0b1rOI4kvd9S@jurong> <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Gnu-PR-Message: they-closed 70087 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 70087 <at> debbugs.gnu.org Date: Wed, 15 May 2024 13:10:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1715778601-3462-1" This is a multi-part message in MIME format... ------------=_1715778601-3462-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #70087: [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 70087 <at> debbugs.gnu.org. --=20 70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70087 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems ------------=_1715778601-3462-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 70087-done) by debbugs.gnu.org; 15 May 2024 13:09:25 +0000 Received: from localhost ([127.0.0.1]:42215 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7ENl-0000tN-6k for submit <at> debbugs.gnu.org; Wed, 15 May 2024 09:09:25 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:54646) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7ENh-0000tG-2O for 70087-done <at> debbugs.gnu.org; Wed, 15 May 2024 09:09:19 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 3E461125D; Wed, 15 May 2024 15:08:37 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id yD_3Jk9pDmze; Wed, 15 May 2024 15:08:36 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 26A67261; Wed, 15 May 2024 15:08:36 +0200 (CEST) Date: Wed, 15 May 2024 15:08:33 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkSz0b1rOI4kvd9S@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> <ZkSKlaYJ70Fj3uMx@jurong> <ZkSlWrWqtrlivP__@jurong> <ZkStG0sHuOuf85lc@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <ZkStG0sHuOuf85lc@jurong> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087-done Cc: 70087-done <at> debbugs.gnu.org, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, I have now applied your patch to add chuffed to minizinc, and I have gexpified this latter package. An update of minizinc to 2.8.3 (or 2.8.4, released 5 days ago) does not build; I think one would need to move to a different commit of gecode (but not the latest one...). I am closing the current bug. If you are motivated to look for a combination of newer gecode and minizinc versions that work together, please feel free to open a new bug. Andreas ------------=_1715778601-3462-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 30 Mar 2024 11:40:53 +0000 Received: from localhost ([127.0.0.1]:44085 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rqX4u-0002Wd-Js for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:52 -0400 Received: from lists.gnu.org ([2001:470:142::17]:38994) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1rqX4p-0002Vx-PV for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:51 -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 <herman@HIDDEN>) id 1rqX4h-0003CP-F7 for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:39 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117] helo=email.rimm.ee) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from <herman@HIDDEN>) id 1rqX4e-0005s5-2P for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1711798829; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=y/adxjp6nXKv+nhlxgQwIAdvA6exyA/kLROzef4rwy0=; b=oAjz8/bnotLYMfTwLZAx83fZX72pfDZ5qRJpYY93FQ+CQQ/ZOz5iQJ9BLmIz9dTiLMTM9Y WlEJJDcdQx5eVZKMds/rRMMjGNljhpOLiQ0LebLvQSx2Gnc3WtxTH+kNvb7x9v+74m/AhC hKlnONEl0mY/XSrO1+KT3OMVTPPQua4nVN1ss7PZ8CeR15pUkeu2ya3+smcjC9J30D5Bbk zBFNGOkjokRVLWcSHxav6z1UNY3GquucojoV3KtSPTbVxeN0jcyv4UB5e8AIPs2EJ2hGPa iUrY3SPJkK8EDl/xSzVUC2nldmQD3LxjrtlsCV2bjxxWNkJOcBkflIXoddSWEQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 09ea5533 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 30 Mar 2024 11:40:29 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Date: Sat, 30 Mar 2024 12:40:05 +0100 Message-ID: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=81.205.150.117; envelope-from=herman@HIDDEN; helo=email.rimm.ee X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 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_PBL=3.335, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, TVD_RCVD_IP=0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: Herman Rimm <herman@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.1 (/) * gnu/packages/maths.scm (gecode): Update. Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 479591889f..6c23aa3562 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -63,6 +63,7 @@ ;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN> ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN> ;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN> +;;; Copyright © 2024 Herman Rimm <herman@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -2615,16 +2616,16 @@ (define-public clp (define-public gecode (package (name "gecode") - (version "6.2.0") + (version "6.3.0") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/Gecode/gecode") - (commit (string-append "release-" version)))) + (commit "2d20e88cae176584b6e09d909aca3eb72ae76829"))) (file-name (git-file-name name version)) (sha256 (base32 - "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk")) + "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r")) (modules '((guix build utils))) (snippet '(begin base-commit: 350cdbe83819233b6db9fb1cfc797eaf80b0d168 -- 2.41.0 ------------=_1715778601-3462-1--
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH v2 1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c. References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 15:53:01 +0000 Resent-Message-ID: <handler.70087.B70087.171578832913508 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171578832913508 (code B ref 70087); Wed, 15 May 2024 15:53:01 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:09 +0000 Received: from localhost ([127.0.0.1]:42815 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7GvI-0003Vo-Vi for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:09 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:47759 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1s7GvE-0003VC-Ur for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:07 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715788315; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=H3eEM4P9SrBSFg7Ubh8/tJzJdJg4/S/AhRxvIHTvQvA=; b=hp/40XPzWU1q2UjRmu23p0mtAZ+7RSPdLA2/IGqFbB9F7SzykFr8DkRDqSwojwnIsaToSu x2+ufW4ighxZt1xV4rXfBg6Kt6CBCfd9UuRaaUmmfUuWUHPgjn+8ocLt1m22Do7TeRnoP8 KHoozlo4p+vlD+c8RFhzG4Wx9cox9k7ZSBt3Sj2ET3ILPKCkGrLoYPsZtD7+d6Kunl/Zp/ zEEScgdw76dJLKS8rmv4q7HEl10D1eIFqLVzOnsGr5GZ+uGxs6LtD7Hypy895ry8Nfbjik ENZEPJ3R8jHSeB/L/uZ/3vVxuDjQZPtPOKG1YfCXiTnG0cl1+RIYrhu/V0BWFw== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 70c139aa (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:55 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Wed, 15 May 2024 17:51:22 +0200 Message-ID: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c. [version]: Use version. [source]: Use commit. [arguments]: Add patch-msc-and-version phase. (minizinc)[arguments]: Copy provided gecode.ms [...] Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 TVD_RCVD_IP Message was received from an IP address 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c. [version]: Use version. [source]: Use commit. [arguments]: Add patch-msc-and-version phase. (minizinc)[arguments]: Copy provided gecode.ms [...] Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c. [version]: Use version. [source]: Use commit. [arguments]: Add patch-msc-and-version phase. (minizinc)[arguments]: Copy provided gecode.msc file instead. Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d --- gnu/packages/maths.scm | 174 +++++++++++++++++++---------------------- 1 file changed, 82 insertions(+), 92 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d551b751e6..48f43f264b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -63,6 +63,7 @@ ;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN> ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN> ;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN> +;;; Copyright © 2024 Herman Rimm <herman@HIDDEN> ;;; ;;; This file is part of GNU Guix. ;;; @@ -2612,73 +2613,81 @@ (define-public clp (license license:epl1.0))) (define-public gecode - (package - (name "gecode") - (version "6.2.0") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/Gecode/gecode") - (commit (string-append "release-" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk")) - (modules '((guix build utils))) - (snippet - '(begin - ;; delete generated sources - (for-each delete-file - '("gecode/kernel/var-imp.hpp" - "gecode/kernel/var-type.hpp")))))) - (outputs '("out" "examples")) - (build-system gnu-build-system) - (arguments - `(#:configure-flags - (list (string-append "GLDFLAGS=-Wl,-rpath=" - (assoc-ref %outputs "out") - "/lib") - "--enable-examples=no") - #:modules ((guix build gnu-build-system) - (guix build utils) - (ice-9 rdelim) - (ice-9 popen)) - #:phases - (modify-phases %standard-phases - (add-after 'build 'build-examples - (lambda* (#:key outputs #:allow-other-keys) - (invoke "make" "compileexamples"))) - ;; The Makefile disrespects GLDFLAGS for some reason, so we have to - ;; patch it ourselves... *sigh* - (add-after 'install 'fix-rpath - (lambda* (#:key outputs #:allow-other-keys) - (let ((libdir (string-append (assoc-ref outputs "out") "/lib"))) - (for-each - (lambda (file) - (let* ((pipe (open-pipe* OPEN_READ "patchelf" - "--print-rpath" file)) - (line (read-line pipe))) - (and (zero? (close-pipe pipe)) - (invoke "patchelf" "--set-rpath" - (string-append libdir ":" line) - file)))) - (find-files libdir ".*\\.so$"))))) - (add-after 'install 'install-examples - (lambda* (#:key outputs #:allow-other-keys) - (invoke "make" "installexamples" - (string-append "bindir=" (assoc-ref outputs "examples") - "/bin")))) - ;; Tests depend on installed libraries. - (delete 'check) - (add-after 'fix-rpath 'check - (assoc-ref %standard-phases 'check))))) - (native-inputs - (list patchelf perl sed)) - (home-page "https://www.gecode.org") - (synopsis "Toolkit for developing constraint-based systems") - (description "Gecode is a C++ toolkit for developing constraint-based -systems and applications. It provides a modular and extensible solver.") - (license license:expat))) + (let* ((commit "f7f0d7c273d6844698f01cec8229ebe0b66a016a") + (version (git-version "6.2.0" "1" commit))) + (package + (name "gecode") + (version version) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/Gecode/gecode") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "16gzwa64w90vifaflmii515rsrqclf2y7nziq621m4ad9cjgcixj")) + (modules '((guix build utils))) + ;; delete generated sources + (snippet '(for-each delete-file + '("gecode/kernel/var-imp.hpp" + "gecode/kernel/var-type.hpp"))))) + (outputs '("out" "examples")) + (build-system gnu-build-system) + (arguments + (list + #:configure-flags + #~(list (string-append "GLDFLAGS=-Wl,-rpath=" + (assoc-ref %outputs "out") "/lib") + "--enable-examples=no") + #:modules '((guix build gnu-build-system) + (guix build utils) + (ice-9 rdelim) + (ice-9 popen)) + #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'patch-msc-and-version + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (substitute* "tools/flatzinc/gecode.msc.in" + (("\\.\\./../..") out) + (("\\.\\.") + (string-append out "/share/minizinc"))) + (substitute* "configure" + (("(PACKAGE_[^0-9]*)[0-9\\.]+" all match) + (string-append match #$version)))))) + (add-after 'build 'build-examples + (lambda _ + (invoke "make" "compileexamples"))) + ;; The Makefile disrespects GLDFLAGS for some reason, so + ;; we have to patch it ourselves... *sigh* + (add-after 'install 'fix-rpath + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (libdir (string-append out "/lib"))) + (for-each + (lambda (file) + (let* ((pipe (open-pipe* OPEN_READ "patchelf" + "--print-rpath" file)) + (line (read-line pipe))) + (and (zero? (close-pipe pipe)) + (invoke "patchelf" "--set-rpath" + (string-append libdir ":" line) + file)))) + (find-files libdir ".*\\.so$"))))) + (add-after 'install 'install-examples + (lambda* (#:key outputs #:allow-other-keys) + (let* ((examples (assoc-ref outputs "examples")) + (bindir (format #f "bindir=~a/bin" examples))) + (invoke "make" "installexamples" bindir))))))) + (native-inputs (list patchelf perl sed)) + (home-page "https://www.gecode.org") + (synopsis "Toolkit for developing constraint-based systems") + (description + "Gecode is a C++ toolkit for developing constraint-based systems +and applications. It provides a modular and extensible solver.") + (license license:expat)))) (define-public libfixmath (let ((commit "1416c9979635c69f344d3c1de84b3246001a6540") @@ -4083,31 +4092,12 @@ (define-public minizinc }" port) (newline port))) - - (mkdir-p (string-append pkgdatadir "/solvers")) - (call-with-output-file (string-append pkgdatadir - "/solvers/gecode.msc") - (lambda (port) - (format port - "\ -{ - \"id\": \"org.gecode.gecode\", - \"name\": \"Gecode\", - \"description\": \"Gecode FlatZinc executable\", - \"version\": ~s, - \"mznlib\": ~s, - \"executable\": ~s, - \"supportsMzn\": false, - \"supportsFzn\": true, - \"needsSolns2Out\": true, - \"needsMznExecutable\": false, - \"needsStdlibDir\": false, - \"isGUIApplication\": false -}" - (last (string-split gecode #\-)) - (string-append gecode "/share/gecode/mznlib") - (string-append gecode "/bin/fzn-gecode")) - (newline port))))))))) + (for-each + (lambda (solver) + (copy-recursively + (string-append solver "/share/minizinc/solvers") + (string-append pkgdatadir "/solvers"))) + (list gecode)))))))) (native-inputs (list bison flex)) (inputs base-commit: 059c9ed104c91f7a537f369c4524b91d6cf8a13e -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH v2 2/4] gnu: Add chuffed. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 15:53:02 +0000 Resent-Message-ID: <handler.70087.B70087.171578833213526 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171578833213526 (code B ref 70087); Wed, 15 May 2024 15:53:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:12 +0000 Received: from localhost ([127.0.0.1]:42819 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7GvL-0003W5-K3 for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:11 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:47759 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1s7GvH-0003VC-Pl for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:08 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715788316; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=NFNs8iYVgCX1dYOVxvUp80rqLy4DYjNHLCfM2XUYSK8=; b=YfVUvGz+ofNOx1xtvL6+OpAlTdI9qsPn8jPWKUjM+Zp62I6dxV1/k+QQd404lrNFEcAjlz 5Ep85tRF8qFzPxsRUuc5ho17yiCxcEkz4oj8iiy5yMMZhlDZMiksS03ufauVpFHnNznIEV LnUaL4N9Tu0F5Sywn9oc+sF91FF6pkEioVY7/EWm/kgIDe6Z1DYurdyWxFOStaZTWnJUuz GpCg/pLDbPd3VfkLzClsn2R8OVxkr5KckLTWJpMD1Hm2D8tPK8sCyWRCZp0knX5gRdrcRz kfTO1Oreo3uXPiGVe/zKoIE9TmG9oR8ujzkJe63JjpMzcbXBbjSE4jxfWJVTWQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 83a6ffaa (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:56 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Wed, 15 May 2024 17:51:23 +0200 Message-ID: <5fb4a1d84959c6760592abda115dcaa663559a43.1715786322.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> References: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (chuffed): Add variable. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 TVD_RCVD_IP Message was received from an IP address 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (chuffed): Add variable. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (chuffed): Add variable. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 48f43f264b..d245805ffb 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -305,6 +305,42 @@ (define-public calc (home-page "http://www.isthe.com/chongo/tech/comp/calc/") (license license:lgpl2.1))) +(define-public chuffed + (package + (name "chuffed") + (version "0.13.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/chuffed/chuffed") + (commit version))) + (sha256 + (base32 + "164brmwn71p9gb2441kh7b1gzmy2sg7bjv5z00wjs9nw41qc908g")))) + (build-system cmake-build-system) + (arguments + (list #:tests? #f ; no 'check' target + #:modules '((guix build cmake-build-system) + (guix build utils)) + #:phases + #~(modify-phases %standard-phases + (add-before 'build 'patch-msc + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (substitute* "chuffed.msc" + (("\\.\\./../..") out) + (("\\.\\.") + (string-append out "/share/minizinc"))))))))) + (synopsis "Lazy clause generation solver") + (description + "Chuffed is a state of the art lazy clause solver designed from the +ground up with lazy clause generation in mind. Lazy clause generation +is a hybrid approach to constraint solving that combines features of +finite domain propagation and Boolean satisfiability.") + (home-page "https://github.com/chuffed/chuffed") + (license license:expat))) + (define-public coda (package (name "coda") -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH v2 3/4] gnu: minizinc: Add chuffed backend. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 15:53:02 +0000 Resent-Message-ID: <handler.70087.B70087.171578833213534 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171578833213534 (code B ref 70087); Wed, 15 May 2024 15:53:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:12 +0000 Received: from localhost ([127.0.0.1]:42821 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7GvM-0003W7-1K for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:12 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:47759 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1s7GvI-0003VC-Vr for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715788318; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=vEUmETXmKCDnaHrqyQ25RVdwocpMTSL9K5vO/hiunpQ=; b=LZBJRMQM+Zax+Oqb1mgMQx4tfA6Jm0dMt/hThiQjyjhekRJ2aAf5JrS5HJj4vlT3SQRgfq NtGvSnoaq3FJYOP099hDnmZi4phuygc4CHMlySowHjeAMXOZ+i/Rr5VUKbuM6VNl7avoa8 fSCBfqN+M4Oxmzrlvo4Ur935ewllcHUaSlGoxlB9lEUu8TvLwZ4S+9HpzCE9/zWnXHLCcJ QWWqfLJJkDe/7idDGAj0bTKJxAdOx3kSOwRcKNBTbU7/BmhpktpemrCmAPVPjqmwQGwfwV d5Asl3DCv/BRoczhsB6Oo3LVFWfIhSo9taJUXSK0KDGvZ7/5hYFFkvFOgV1hwg== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 380a024c (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:58 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Wed, 15 May 2024 17:51:24 +0200 Message-ID: <ce2a3f62847271190904003a02c0e4e93ff92741.1715786322.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> References: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d245805ffb..ec15af22c5 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4113,8 +4113,9 @@ (define-public minizinc [...] Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 TVD_RCVD_IP Message was received from an IP address 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d245805ffb..ec15af22c5 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4113,8 +4113,9 @@ (define-public minizinc [...] Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d245805ffb..ec15af22c5 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4113,8 +4113,9 @@ (define-public minizinc (add-after 'install 'install-solver-configs (lambda* (#:key inputs outputs #:allow-other-keys) (let ((gecode (assoc-ref inputs "gecode")) + (chuffed (assoc-ref inputs "chuffed")) (pkgdatadir (string-append (assoc-ref outputs "out") - "/share/minizinc"))) + "/share/minizinc"))) (call-with-output-file (string-append pkgdatadir "/Preferences.json") (lambda (port) @@ -4133,11 +4134,11 @@ (define-public minizinc (copy-recursively (string-append solver "/share/minizinc/solvers") (string-append pkgdatadir "/solvers"))) - (list gecode)))))))) + (list chuffed gecode)))))))) (native-inputs (list bison flex)) (inputs - (list cbc gecode zlib)) + (list cbc chuffed gecode zlib)) (home-page "https://www.minizinc.org") (synopsis "High-level constraint modeling language") (description "MiniZinc is a high-level modeling language for constraint -- 2.41.0
X-Loop: help-debbugs@HIDDEN Subject: [bug#70087] [PATCH v2 4/4] gnu: minizinc: Update to 2.8.4. Resent-From: Herman Rimm <herman@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN Resent-Date: Wed, 15 May 2024 15:53:03 +0000 Resent-Message-ID: <handler.70087.B70087.171578833213540 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087 <at> debbugs.gnu.org Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> X-Debbugs-Original-Xcc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN> Received: via spool by 70087-submit <at> debbugs.gnu.org id=B70087.171578833213540 (code B ref 70087); Wed, 15 May 2024 15:53:03 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:12 +0000 Received: from localhost ([127.0.0.1]:42823 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7GvM-0003WE-ET for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:12 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:52321 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <herman@HIDDEN>) id 1s7GvK-0003Va-78 for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715788318; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=oBGcgBd4+QX613+7Bi3u2FY9JyCdJ9ouDaMWgWsABD8=; b=eeyLd0vRaqXAsqJBrMu8kiaFAMk6vwbhOwnmwa7I+IxqWOsOxhjGI3o7C/777HdfPFKNZA bRHm/bNyBn7Zfh/VR9W2mAbS2OqZItXVhf9YcXW1EfqSzHuBKrG233ELK+sxSb/si2mzcZ NJrSlB7Oj4/MnxacnOmGNL/TxdS2ul9mGMb0NvBD0gfXw+oK02tLGoZLh5zsN7HZ5l/ikD +FdWtqfaUxZPBuGw2d+rSWslUTwEa6uy9VXORMacktMbcX+ejUoQRjpeSEYv12LyG1/mbB sS/n4nWiiKFH5GfbOAtN/ZdjOnVSQBqVnDl7x/xuUjL6M/7P1URYmSH8M/K56A== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id f78d33de (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:58 +0000 (UTC) From: Herman Rimm <herman@HIDDEN> Date: Wed, 15 May 2024 17:51:25 +0200 Message-ID: <04a6b1402fe44ed8c6475af624516f17050f554b.1715786322.git.herman@HIDDEN> X-Mailer: git-send-email 2.41.0 In-Reply-To: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> References: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 3.6 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ec15af22c5..b9dfb9d6f8 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4040,7 +4040,7 @@ (define-public metamath [...] Content analysis details: (3.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 TVD_RCVD_IP Message was received from an IP address 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ec15af22c5..b9dfb9d6f8 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4040,7 +4040,7 @@ (define-public metamath [...] Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [81.205.150.117 listed in zen.spamhaus.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ec15af22c5..b9dfb9d6f8 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4040,7 +4040,7 @@ (define-public metamath (define-public minizinc (package (name "minizinc") - (version "2.5.5") + (version "2.8.4") (source (origin (method git-fetch) (uri (git-reference @@ -4049,7 +4049,7 @@ (define-public minizinc (file-name (git-file-name name version)) (sha256 (base32 - "10b2hsl1fx9psh0iagmp8ki3f60f3qg5hmvra5aczjlfmbl88ggp")) + "03iliizyadd0wvx6a63rg22lb6p4m6krhlpfm2hfzwj66y3a76j6")) (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) -- 2.41.0
Received: (at fakecontrol) by fakecontrolmessage; To: internal_control <at> debbugs.gnu.org From: Debbugs Internal Request <help-debbugs@HIDDEN> Subject: Internal Control Message-Id: Did not alter fixed versions and reopened. Date: Wed, 15 May 2024 16:28:01 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # Did not alter fixed versions and reopened. thanks # This fakemail brought to you by your local debbugs # administrator
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.