From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Sat, 30 Mar 2024 11:41:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Herman Rimm , Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by submit@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 ) id 1rqX4u-0002Wd-Js for submit@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 ) id 1rqX4p-0002Vx-PV for submit@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 ) id 1rqX4h-0003CP-F7 for guix-patches@gnu.org; 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 ) id 1rqX4e-0005s5-2P for guix-patches@gnu.org; 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 Date: Sat, 30 Mar 2024 12:40:05 +0100 Message-ID: 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@rimm.ee; 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 ;;; Copyright © 2023 Camilo Q.S. (Distopico) ;;; Copyright © 2023 David Elsing +;;; Copyright © 2024 Herman Rimm ;;; ;;; 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 2/4] gnu: Add chuffed. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Sat, 30 Mar 2024 11:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Herman Rimm , Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1rqX7L-0002fO-OJ for submit@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 ) id 1rqX7J-0002ed-9i for 70087@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 Date: Sat, 30 Mar 2024 12:42:39 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 3/4] gnu: minizinc: Add chuffed backend. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Sat, 30 Mar 2024 11:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Herman Rimm , Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1rqX7R-0002fn-4M for submit@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 ) id 1rqX7K-0002ed-Sb for 70087@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 Date: Sat, 30 Mar 2024 12:42:40 +0100 Message-ID: <1f8b3e870c43629a1b35ecb532a1cffc19146315.1711794209.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 4/4] gnu: minizinc: Update to 2.8.3. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Sat, 30 Mar 2024 11:44:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Herman Rimm , Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1rqX7R-0002fp-Kr for submit@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 ) id 1rqX7M-0002ed-8J for 70087@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 Date: Sat, 30 Mar 2024 12:42:41 +0100 Message-ID: <5345bf947c546c7a9c1a581e9d22d33b953158ec.1711794209.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 12 May 2024 19:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@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 ) id 1s6EZl-0008Ad-Ek for submit@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 ) id 1s6EZi-0008AT-Rw for 70087@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 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 14 May 2024 07:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Andreas Enge Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@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 ) id 1s6mdq-0003uw-CZ for submit@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 ) id 1s6mdo-0003uY-Bw for 70087@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 Message-ID: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 14 May 2024 11:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@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 ) id 1s6qao-0001kn-DC for submit@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 ) id 1s6qam-0001Ie-1r for 70087@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 Message-ID: References: <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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 10:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@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 ) id 1s7BdT-0004Wz-Ug for submit@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 ) id 1s7BdQ-0004Wr-Md for 70087@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 Message-ID: References: <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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello, I have just pushed a gexpified version of your chuffed patch. Thanks! Andreas From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 12:08:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@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 ) id 1s7DQ0-00009n-RC for submit@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 ) id 1s7DPy-00009g-57 for 70087@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 Message-ID: References: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 12:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@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 ) id 1s7DvV-0000ak-Om for submit@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 ) id 1s7DvT-0000aC-Dh for 70087@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 Message-ID: References: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Herman Rimm Subject: bug#70087: closed (Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.) Message-ID: References: X-Gnu-PR-Message: they-closed 70087 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 70087@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@debbugs.gnu.org. --=20 70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70087 GNU Bug Tracking System Contact help-debbugs@gnu.org 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 ) id 1s7ENl-0000tN-6k for submit@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 ) id 1s7ENh-0000tG-2O for 70087-done@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 To: Herman Rimm Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: References: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087-done Cc: 70087-done@debbugs.gnu.org, Sharlatan Hellseher , Eric Bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 ) id 1rqX4u-0002Wd-Js for submit@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 ) id 1rqX4p-0002Vx-PV for submit@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 ) id 1rqX4h-0003CP-F7 for guix-patches@gnu.org; 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 ) id 1rqX4e-0005s5-2P for guix-patches@gnu.org; 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 To: guix-patches@gnu.org Subject: [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Date: Sat, 30 Mar 2024 12:40:05 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=81.205.150.117; envelope-from=herman@rimm.ee; 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 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 ;;; Copyright © 2023 Camilo Q.S. (Distopico) ;;; Copyright © 2023 David Elsing +;;; Copyright © 2024 Herman Rimm ;;; ;;; 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-- From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH v2 1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c. References: In-Reply-To: Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 15:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1s7GvI-0003Vo-Vi for submit@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 ) id 1s7GvE-0003VC-Ur for 70087@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@debbugs.gnu.org>; Wed, 15 May 2024 15:51:55 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 17:51:22 +0200 Message-ID: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 ;;; Copyright © 2023 Camilo Q.S. (Distopico) ;;; Copyright © 2023 David Elsing +;;; Copyright © 2024 Herman Rimm ;;; ;;; 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH v2 2/4] gnu: Add chuffed. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 15:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1s7GvL-0003W5-K3 for submit@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 ) id 1s7GvH-0003VC-Pl for 70087@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@debbugs.gnu.org>; Wed, 15 May 2024 15:51:56 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 17:51:23 +0200 Message-ID: <5fb4a1d84959c6760592abda115dcaa663559a43.1715786322.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH v2 3/4] gnu: minizinc: Add chuffed backend. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 15:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1s7GvM-0003W7-1K for submit@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 ) id 1s7GvI-0003VC-Vr for 70087@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@debbugs.gnu.org>; Wed, 15 May 2024 15:51:58 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 17:51:24 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH v2 4/4] gnu: minizinc: Update to 2.8.4. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 15:53:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@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 ) id 1s7GvM-0003WE-ET for submit@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 ) id 1s7GvK-0003Va-78 for 70087@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@debbugs.gnu.org>; Wed, 15 May 2024 15:51:58 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 17:51:25 +0200 Message-ID: <04a6b1402fe44ed8c6475af624516f17050f554b.1715786322.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH v2 1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 17:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.171579293128156 (code B ref 70087); Wed, 15 May 2024 17:09:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 17:08:51 +0000 Received: from localhost ([127.0.0.1]:43268 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7I7X-0007K4-0Z for submit@debbugs.gnu.org; Wed, 15 May 2024 13:08:51 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:58220) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7I7U-0007Jx-UA for 70087@debbugs.gnu.org; Wed, 15 May 2024 13:08:49 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B31E31FA2; Wed, 15 May 2024 19:08: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 B3QU_oQEDFwL; Wed, 15 May 2024 19:08:40 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 47CE51C9D; Wed, 15 May 2024 19:08:39 +0200 (CEST) Date: Wed, 15 May 2024 19:08:37 +0200 From: Andreas Enge Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello Herman, it looks like we have worked in parallel on this patchset, sorry for this! With my previous commits to master, your v2 does not apply any more. I have updated chuffed to version 0.13.2, which covers your patch 2. Your patch 3 has already been applied in a form derived from your v1. I have compiled minizinc with the new chuffed, and could use them together to solve the magic square. So we are in a working and consistent state. Could you please send a v3 of your patches 1 and 4, based on current master? I suppose patch 4 can remain as it is. For patch 1, the new revision should then be 3, as we are currently at 2. As written above, updating minizinc and gecode simultaneously to their latest versions did not work out of the box for me. I suppose that these two features: Am Wed, May 15, 2024 at 05:51:22PM +0200 schrieb Herman Rimm: > [arguments]: Add patch-msc-and-version phase. > (minizinc)[arguments]: Copy provided gecode.msc file instead. solve the problem? I have reopened the bug, and will let you go ahead now; I think you are in a better position than me for adapting your patches to the current master. Thanks, Andreas From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 0/3] Update minizinc and solvers. References: In-Reply-To: Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 18:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.17157961479105 (code B ref 70087); Wed, 15 May 2024 18:03:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 18:02:27 +0000 Received: from localhost ([127.0.0.1]:43558 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxP-0002Mn-1U for submit@debbugs.gnu.org; Wed, 15 May 2024 14:02:27 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:44905 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxM-0002Mb-Pv for 70087@debbugs.gnu.org; Wed, 15 May 2024 14:02:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715796135; 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; bh=Ei8MGT3sWmVinVC/DpzMX75hbdF1b7tCHLr7KdraG7I=; b=D48P9TEa52IgfQRjznZM/sJaDlSkdCXi6qh7NdAR0nKxQIjSnB/4EVldimNTT/DWHnsTK2 Tf9Z7NHTLkdbFbHVCmRyZjZCQ6FCGed2+yQz8cAx7EhxcpjpzsXC4snnTCzYS/R3iI11fq rMIk0+nTscGGwX+adtUYtG8njJYp9jJk+DMlkefIfVtYjcNZvJSp/8SSzIYZgM9GG6mn0s zm7Mep8L5NFI5leuPk3Jyu61lvimrJDS0kRPTJNti8rmmwSJjBosYN1H8PHSY+B/etAUub Hvgm+F4kPaa2l6hCI1oOFTULErTOYSWyLY7DhobRvPqIDcSX+0VJcW062ZcqfA== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id d9164b9b (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087@debbugs.gnu.org>; Wed, 15 May 2024 18:02:15 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 20:01:57 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 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: Hello Andreas, I fixed the gecode example installation as well. If you make any adjustments, please keep the line length at or below 72 chars. Thanks, Herman 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 Andreas, I fixed the gecode example installation as well. If you make any adjustments, please keep the line length at or below 72 chars. Thanks, Herman 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 Andreas, I fixed the gecode example installation as well. If you make any adjustments, please keep the line length at or below 72 chars. Thanks, Herman Herman Rimm (3): gnu: gecode: Update to 6.2.0-1.f7f0d7c. gnu: chuffed: Update to 0.13.2. gnu: minizinc: Update to 2.8.4. gnu/packages/maths.scm | 139 +++++++++++++++++------------------------ 1 file changed, 59 insertions(+), 80 deletions(-) base-commit: 9d42741693c02396be54ccf548b4c36249e94ef2 -- 2.41.0 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 2/3] gnu: chuffed: Update to 0.13.2. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 18:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.17157961529124 (code B ref 70087); Wed, 15 May 2024 18:03:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 18:02:32 +0000 Received: from localhost ([127.0.0.1]:43563 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxT-0002N0-9W for submit@debbugs.gnu.org; Wed, 15 May 2024 14:02:31 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:56085 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxS-0002Mg-2X for 70087@debbugs.gnu.org; Wed, 15 May 2024 14:02:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715796136; 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=BC+KnUh66+ElXDSHI3CrMhLx13LgW6el/U+l78QASxM=; b=DYbIm47DdtiNbm6Fwp6I00B6J+9/XfauJglXSWh0NZw8H2oXNX3CmtZkmp8DInCkySESf0 Jo+OVVFDU3J4cr0uHM1Cnf0fWOp0+QsQs/fq4VvkYqwza4wsNeG1Tn30FNT/Q6hXw1FnPM 0KK7oIrRatlsTfdnuJPoOtgtNoqyf3rbIhp4CNvpR6ADaZ9hzYNmttSN2HN1JMu0pyX+48 hNFNx6zYRYvyh56A7Zys/oKq0tu3JkzGWmw8ELrVe4AdViPyFqHRWB/S9/JDmjo0uubH8P ywNzXOiEJC3GVGQoJPdDpWabYVQUF7plV+mpT9gEdj2HE46CFZom6vk93k5qUQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 2a0af311 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087@debbugs.gnu.org>; Wed, 15 May 2024 18:02:16 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 20:01:59 +0200 Message-ID: <9070957d6d2c9f4a0361d1f6e35f0a936643cdb1.1715795372.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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): Update to 0.13.2. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 30 ++++++++++++++ 1 file changed, 14 insertions(+), 16 deletions(-) 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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): Update to 0.13.2. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 30 ++++++++++++++ 1 file changed, 14 insertions(+), 16 deletions(-) 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): Update to 0.13.2. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 30 ++++++++++++++---------------- 1 file changed, 14 insertions(+), 16 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 6cb3bdbfb0..2aa7ccaa7a 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -309,7 +309,7 @@ (define-public calc (define-public chuffed (package (name "chuffed") - (version "0.13.1") + (version "0.13.2") (source (origin (method git-fetch) @@ -317,23 +317,21 @@ (define-public chuffed (url "https://github.com/chuffed/chuffed") (commit version))) (sha256 - (base32 "1c28q166qh84q4i5wz77fqvw7kld3fmhd245sgdvyxcbjpi2wr0m")))) + (base32 + "164brmwn71p9gb2441kh7b1gzmy2sg7bjv5z00wjs9nw41qc908g")))) (build-system cmake-build-system) - (synopsis "Lazy clause generation solver") (arguments - (list - #:tests? #f ;no 'test' target - #:phases #~(modify-phases %standard-phases - (add-before 'build 'patch-msc - (lambda _ - (let ((out #$output)) - (substitute* "chuffed.msc" - ;; Replace fzn-chuffed and chuffed paths - ;; before build. - (("\\.\\./../..") - out) - (("\\.\\.") - (string-append out "/share/minizinc"))))))))) + (list #:tests? #f ;no 'test' target + #: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 -- 2.41.0 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 3/3] gnu: minizinc: Update to 2.8.4. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 18:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.17157961549131 (code B ref 70087); Wed, 15 May 2024 18:03:02 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 18:02:34 +0000 Received: from localhost ([127.0.0.1]:43565 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxV-0002ND-Vh for submit@debbugs.gnu.org; Wed, 15 May 2024 14:02:34 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:56085 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxS-0002Mg-Rl for 70087@debbugs.gnu.org; Wed, 15 May 2024 14:02:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715796136; 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=MoKWGIq1bO7d5qkhGk+UarDq5KPZErM88wY4rV6vaCM=; b=MJes6SqqDvbP7RUxYLH/wDpM7c2YjP+VTNRMQRqRx75fZZdLvAApWgfFXnx7kKmafW1okS prfkl2ksUOT/tn64wtk9RONx1fGLAUwnK4M5FcspEzBUxUH28dUWECKafDapqZLPSL7gHj YAnbkfGeE8iVJ+KtmB9EbPSdpcatHuq92pb4UyyxbpFP/S8n477hEeGf7rsnnvHQeaZ4cD bKpnRch8d59cKfpMKRdYwcC24SydaBkaAZJp28E14/yyv1s9BKlJEpyyTPahVCBD4rVRLY +k8CZDWNJxQPCQtGZOzdGtiroV869/87pYKxcXue8lRo1wOrQDrST1qdRL7/VQ== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 68727fdd (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087@debbugs.gnu.org>; Wed, 15 May 2024 18:02:16 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 20:02:00 +0200 Message-ID: <9d4badd9df6c5d64a9ada298d0ee59629a97ef4b.1715795372.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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 2aa7ccaa7a..a82e28e6a0 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4090,7 +4090,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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 2aa7ccaa7a..a82e28e6a0 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4090,7 +4090,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 2aa7ccaa7a..a82e28e6a0 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4090,7 +4090,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 @@ -4099,7 +4099,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 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 1/3] gnu: gecode: Update to 6.2.0-1.f7f0d7c. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: andreas@enge.fr, bavier@posteo.net, sharlatanus@gmail.com, guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 18:03:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70087@debbugs.gnu.org Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher X-Debbugs-Original-Xcc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.17157961649146 (code B ref 70087); Wed, 15 May 2024 18:03:03 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 18:02:44 +0000 Received: from localhost ([127.0.0.1]:43567 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7Ixf-0002NS-7L for submit@debbugs.gnu.org; Wed, 15 May 2024 14:02:44 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:44905 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7IxN-0002Mb-Um for 70087@debbugs.gnu.org; Wed, 15 May 2024 14:02:41 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1715796136; 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=UuIDLrQb+owlRJ/gx2ZXt+/arthnurEKaJG7ORcrsC4=; b=EFZwgDI22vx2x82RjMHclqFFg3HnWqqlAn0MhDqrvFebBHDDI9KfqBUSu+2z7dt7g+Z7R6 P4sf3yLNvgVWIsXbGRW374hcu6GAAUQ2lFz9NoyjM/7q4/S4wt689ryD3fJYCxwFas2ltr bEsQ7vKCVMlYeAL4IyAThdKzVfwSSfD8geViWXlxVXI0bMAdxNuMv8wgQmTBNqFOaMcyGk Wck/E/oFKliCzo6UFAdOkft+wSnoU+TWl/r81SgM2YQ8carr/aB7xq3hP9Y5xvvFHn5F7w /3YZFcMwrO0tTAnJx6oaODaS6+QZ2OLa4Js0rG7B4looiriuaN3v5NFFR/KjEA== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 27cefa58 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <70087@debbugs.gnu.org>; Wed, 15 May 2024 18:02:16 +0000 (UTC) From: Herman Rimm Date: Wed, 15 May 2024 20:01:58 +0200 Message-ID: <5f72bf3db2123b5e1a7b724a09b87325661ad103.1715795372.git.herman@rimm.ee> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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. [arguments]: Add patch-msc-and-version phase. Install examples to the examples output again. (minizinc)[arguments] [...] 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. [arguments]: Add patch-msc-and-version phase. Install examples to the examples output again. (minizinc)[arguments]: Copy provided gecode.msc file instead. Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d --- gnu/packages/maths.scm | 105 +++++++++++++++++------------------------ 1 file changed, 43 insertions(+), 62 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 1feabe5f1c..6cb3bdbfb0 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2703,28 +2703,26 @@ (define-public clp (license license:epl1.0))) (define-public gecode - ;; The current release is not compatible with minizinc anymore. - ;; Use a commit that has been tested with minizinc. - (let ((commit "2d20e88cae176584b6e09d909aca3eb72ae76829") - (revision "2")) + (let* ((commit "f7f0d7c273d6844698f01cec8229ebe0b66a016a") + (version (git-version "6.2.0" "1" commit))) (package (name "gecode") - (version (git-version "6.2.0" revision commit)) + (version version) (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/Gecode/gecode") - (commit commit))) + (url "https://github.com/Gecode/gecode") + (commit commit))) (file-name (git-file-name name version)) (sha256 - (base32 "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r")) + (base32 + "16gzwa64w90vifaflmii515rsrqclf2y7nziq621m4ad9cjgcixj")) (modules '((guix build utils))) - (snippet '(begin - ;; delete generated sources - (for-each delete-file - '("gecode/kernel/var-imp.hpp" - "gecode/kernel/var-type.hpp")))))) + ;; 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 @@ -2738,6 +2736,16 @@ (define-public gecode (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"))) @@ -2746,33 +2754,27 @@ (define-public gecode (add-after 'install 'fix-rpath (lambda _ (let ((libdir (string-append #$output "/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$"))))) + (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 _ - (invoke "make" "installexamples" - (string-append "bindir=" - #$output "/bin")))) - ;; Tests depend on installed libraries. - (delete 'check) - (add-after 'fix-rpath 'check - (assoc-ref %standard-phases - 'check))))) + (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.") + "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 @@ -4180,33 +4182,12 @@ (define-public minizinc }" port) (newline port))) - - (copy-recursively - (string-append chuffed "/share/minizinc/solvers") - (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 chuffed)))))))) (native-inputs (list bison flex)) (inputs -- 2.41.0 From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 0/3] Update minizinc and solvers. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 May 2024 19:04:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.171579981623467 (code B ref 70087); Wed, 15 May 2024 19:04:01 +0000 Received: (at 70087) by debbugs.gnu.org; 15 May 2024 19:03:36 +0000 Received: from localhost ([127.0.0.1]:43916 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7Jua-00066M-1k for submit@debbugs.gnu.org; Wed, 15 May 2024 15:03:36 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:49950) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s7JuW-00066C-HN for 70087@debbugs.gnu.org; Wed, 15 May 2024 15:03:34 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 75779125D; Wed, 15 May 2024 21:03:22 +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 bIJCI-6VZp5S; Wed, 15 May 2024 21:03:22 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 81C4561; Wed, 15 May 2024 21:03:21 +0200 (CEST) Date: Wed, 15 May 2024 21:03:19 +0200 From: Andreas Enge Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello, Am Wed, May 15, 2024 at 08:01:57PM +0200 schrieb Herman Rimm: > gnu: gecode: Update to 6.2.0-1.f7f0d7c. > gnu: chuffed: Update to 0.13.2. > gnu: minizinc: Update to 2.8.4. I have just reverted my update of chuffed to 0.13.2 on master, so that your patch series applies cleanly and QA will pick it up; it will also result in you being credited for the update. To anybody continuing work on this patchset, notice that the line (file-name (git-file-name name version)) should be added to the chuffed package. Andreas From unknown Sat Aug 09 05:06:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#70087] [PATCH 0/3] Update minizinc and solvers. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 May 2024 15:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70087 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Herman Rimm Cc: Eric Bavier , Sharlatan Hellseher , 70087@debbugs.gnu.org Received: via spool by 70087-submit@debbugs.gnu.org id=B70087.171639080516132 (code B ref 70087); Wed, 22 May 2024 15:14:02 +0000 Received: (at 70087) by debbugs.gnu.org; 22 May 2024 15:13:25 +0000 Received: from localhost ([127.0.0.1]:56564 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s9nef-0004C8-8s for submit@debbugs.gnu.org; Wed, 22 May 2024 11:13:25 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:50320) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s9ned-0004C2-Q9 for 70087@debbugs.gnu.org; Wed, 22 May 2024 11:13:24 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 132961264; Wed, 22 May 2024 17:12:42 +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 XV0b5CIw-EFq; Wed, 22 May 2024 17:12:41 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 5B833116; Wed, 22 May 2024 17:12:41 +0200 (CEST) Date: Wed, 22 May 2024 17:12:39 +0200 From: Andreas Enge Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Wed, May 15, 2024 at 09:03:19PM +0200 schrieb Andreas Enge: > To anybody continuing work on this patchset, notice that the line > (file-name (git-file-name name version)) > should be added to the chuffed package. Personally, I will not be available for about two weeks; I can have a look again at this patchset after that, but if another committer wants to go ahead, please feel welcome. Andreas From unknown Sat Aug 09 05:06:05 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Herman Rimm Subject: bug#70087: closed (Re: [bug#70087] [PATCH 0/3] Update minizinc and solvers.) Message-ID: References: <87h6eblkcp.fsf@gnu.org> X-Gnu-PR-Message: they-closed 70087 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 70087@debbugs.gnu.org Date: Sun, 02 Jun 2024 10:18:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1717323482-7666-1" This is a multi-part message in MIME format... ------------=_1717323482-7666-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@debbugs.gnu.org. --=20 70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70087 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1717323482-7666-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 70087-done) by debbugs.gnu.org; 2 Jun 2024 10:17:57 +0000 Received: from localhost ([127.0.0.1]:57904 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sDiHl-0001zP-MC for submit@debbugs.gnu.org; Sun, 02 Jun 2024 06:17:57 -0400 Received: from eggs.gnu.org ([209.51.188.92]:41634) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sDiHj-0001z9-4y for 70087-done@debbugs.gnu.org; Sun, 02 Jun 2024 06:17:55 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sDiHP-0003TQ-9D; Sun, 02 Jun 2024 06:17:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=vHvyKcplqZ0NEzuJSyPUpM11zmjSY+xUNA1nLnUTVDA=; b=hPtpIIyDZOhF9RXY3KpL z225hAcX6WVnPLyvukvMXa7BD4JOm7+mTUk7eS4dl0fIetFlpq8HFQOG3JbeEbEVC9dOxskl/FOnz XvkZWYF7x4unYAhAmsfszRwSXDyOLGgZvyg9BuweAPDR+eS7pQdAS0BAeLsYH4RKBr5tuPPQ6tFB0 E+pPDTdXEUCuheKMc4HfiBC3l5QzZsBA73DveEJT8Fxb6GHHLKUUR0h26QKxILKEH341W2YNRcn3e QyTqpDRPi9DAdK9IZwQnz/iv7rikdoQsJ0lqaFZjJdeggmNUlQt+DOKTA0amSm+GhD4cbgE1rP/gE /4nCm6Q/2XPrWQ==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Andreas Enge Subject: Re: [bug#70087] [PATCH 0/3] Update minizinc and solvers. In-Reply-To: (Andreas Enge's message of "Wed, 22 May 2024 17:12:39 +0200") References: Date: Sun, 02 Jun 2024 12:17:26 +0200 Message-ID: <87h6eblkcp.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 70087-done Cc: 70087-done@debbugs.gnu.org, Herman Rimm , Sharlatan Hellseher , Eric Bavier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hey Herman and all, I went ahead and pushed this revision as 0bd5e1bf9290894d2a56e217f3eed3ecc2c96103. Thanks! Ludo=E2=80=99. ------------=_1717323482-7666-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 ) id 1rqX4u-0002Wd-Js for submit@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 ) id 1rqX4p-0002Vx-PV for submit@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 ) id 1rqX4h-0003CP-F7 for guix-patches@gnu.org; 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 ) id 1rqX4e-0005s5-2P for guix-patches@gnu.org; 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 To: guix-patches@gnu.org Subject: [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Date: Sat, 30 Mar 2024 12:40:05 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=81.205.150.117; envelope-from=herman@rimm.ee; 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 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 ;;; Copyright © 2023 Camilo Q.S. (Distopico) ;;; Copyright © 2023 David Elsing +;;; Copyright © 2024 Herman Rimm ;;; ;;; 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 ------------=_1717323482-7666-1--