Debbugs Internal Request <help-debbugs@HIDDEN>
to internal_control <at> debbugs.gnu.org.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:12 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 11:52:12 2024
Received: from localhost ([127.0.0.1]:42823 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1s7GvM-0003WE-ET
for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:12 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:52321
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1s7GvK-0003Va-78
for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:10 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1715788318;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=oBGcgBd4+QX613+7Bi3u2FY9JyCdJ9ouDaMWgWsABD8=;
b=eeyLd0vRaqXAsqJBrMu8kiaFAMk6vwbhOwnmwa7I+IxqWOsOxhjGI3o7C/777HdfPFKNZA
bRHm/bNyBn7Zfh/VR9W2mAbS2OqZItXVhf9YcXW1EfqSzHuBKrG233ELK+sxSb/si2mzcZ
NJrSlB7Oj4/MnxacnOmGNL/TxdS2ul9mGMb0NvBD0gfXw+oK02tLGoZLh5zsN7HZ5l/ikD
+FdWtqfaUxZPBuGw2d+rSWslUTwEa6uy9VXORMacktMbcX+ejUoQRjpeSEYv12LyG1/mbB
sS/n4nWiiKFH5GfbOAtN/ZdjOnVSQBqVnDl7x/xuUjL6M/7P1URYmSH8M/K56A==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id f78d33de
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO)
for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:58 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH v2 4/4] gnu: minizinc: Update to 2.8.4.
Date: Wed, 15 May 2024 17:51:25 +0200
Message-ID: <04a6b1402fe44ed8c6475af624516f17050f554b.1715786322.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
References: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
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-Debbugs-Envelope-To: 70087
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 2.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
the administrator of that system for details.
Content preview: * gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id:
I503fd004b38abaac8829a2cb94c182b001d83763 --- gnu/packages/maths.scm | 4
++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/maths.scm
b/gnu/packages/maths.scm index ec15af22c5..b9dfb9d6f8 100644 --- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm @@ -4040,7 +4040,7 @@ (define-public metamath
[...]
Content analysis details: (2.6 points, 10.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL
[81.205.150.117 listed in zen.spamhaus.org]
0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record
-0.0 SPF_PASS SPF: sender matches SPF record
-1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list
manager
* gnu/packages/maths.scm (minizinc): Update to 2.8.4.
Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763
---
gnu/packages/maths.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index ec15af22c5..b9dfb9d6f8 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4040,7 +4040,7 @@ (define-public metamath
(define-public minizinc
(package
(name "minizinc")
- (version "2.5.5")
+ (version "2.8.4")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -4049,7 +4049,7 @@ (define-public minizinc
(file-name (git-file-name name version))
(sha256
(base32
- "10b2hsl1fx9psh0iagmp8ki3f60f3qg5hmvra5aczjlfmbl88ggp"))
+ "03iliizyadd0wvx6a63rg22lb6p4m6krhlpfm2hfzwj66y3a76j6"))
(modules '((guix build utils)
(ice-9 ftw)
(srfi srfi-1)))
--
2.41.0
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:12 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 11:52:12 2024
Received: from localhost ([127.0.0.1]:42821 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1s7GvM-0003W7-1K
for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:12 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:47759
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1s7GvI-0003VC-Vr
for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:10 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1715788318;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=vEUmETXmKCDnaHrqyQ25RVdwocpMTSL9K5vO/hiunpQ=;
b=LZBJRMQM+Zax+Oqb1mgMQx4tfA6Jm0dMt/hThiQjyjhekRJ2aAf5JrS5HJj4vlT3SQRgfq
NtGvSnoaq3FJYOP099hDnmZi4phuygc4CHMlySowHjeAMXOZ+i/Rr5VUKbuM6VNl7avoa8
fSCBfqN+M4Oxmzrlvo4Ur935ewllcHUaSlGoxlB9lEUu8TvLwZ4S+9HpzCE9/zWnXHLCcJ
QWWqfLJJkDe/7idDGAj0bTKJxAdOx3kSOwRcKNBTbU7/BmhpktpemrCmAPVPjqmwQGwfwV
d5Asl3DCv/BRoczhsB6Oo3LVFWfIhSo9taJUXSK0KDGvZ7/5hYFFkvFOgV1hwg==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 380a024c
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO)
for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:58 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH v2 3/4] gnu: minizinc: Add chuffed backend.
Date: Wed, 15 May 2024 17:51:24 +0200
Message-ID: <ce2a3f62847271190904003a02c0e4e93ff92741.1715786322.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
References: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
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-Debbugs-Envelope-To: 70087
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 2.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
the administrator of that system for details.
Content preview: * gnu/packages/maths.scm (minizinc): Add backend. Change-Id:
If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 --- gnu/packages/maths.scm | 7
++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm
b/gnu/packages/maths.scm index d245805ffb..ec15af22c5 100644 --- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm @@ -4113,8 +4113,9 @@ (define-public minizinc
[...]
Content analysis details: (2.6 points, 10.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL
[81.205.150.117 listed in zen.spamhaus.org]
0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record
-0.0 SPF_PASS SPF: sender matches SPF record
-1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list
manager
* gnu/packages/maths.scm (minizinc): Add backend.
Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
---
gnu/packages/maths.scm | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index d245805ffb..ec15af22c5 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4113,8 +4113,9 @@ (define-public minizinc
(add-after 'install 'install-solver-configs
(lambda* (#:key inputs outputs #:allow-other-keys)
(let ((gecode (assoc-ref inputs "gecode"))
+ (chuffed (assoc-ref inputs "chuffed"))
(pkgdatadir (string-append (assoc-ref outputs "out")
- "/share/minizinc")))
+ "/share/minizinc")))
(call-with-output-file (string-append pkgdatadir
"/Preferences.json")
(lambda (port)
@@ -4133,11 +4134,11 @@ (define-public minizinc
(copy-recursively
(string-append solver "/share/minizinc/solvers")
(string-append pkgdatadir "/solvers")))
- (list gecode))))))))
+ (list chuffed gecode))))))))
(native-inputs
(list bison flex))
(inputs
- (list cbc gecode zlib))
+ (list cbc chuffed gecode zlib))
(home-page "https://www.minizinc.org")
(synopsis "High-level constraint modeling language")
(description "MiniZinc is a high-level modeling language for constraint
--
2.41.0
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:12 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 11:52:12 2024
Received: from localhost ([127.0.0.1]:42819 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1s7GvL-0003W5-K3
for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:11 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:47759
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1s7GvH-0003VC-Pl
for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:08 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1715788316;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=NFNs8iYVgCX1dYOVxvUp80rqLy4DYjNHLCfM2XUYSK8=;
b=YfVUvGz+ofNOx1xtvL6+OpAlTdI9qsPn8jPWKUjM+Zp62I6dxV1/k+QQd404lrNFEcAjlz
5Ep85tRF8qFzPxsRUuc5ho17yiCxcEkz4oj8iiy5yMMZhlDZMiksS03ufauVpFHnNznIEV
LnUaL4N9Tu0F5Sywn9oc+sF91FF6pkEioVY7/EWm/kgIDe6Z1DYurdyWxFOStaZTWnJUuz
GpCg/pLDbPd3VfkLzClsn2R8OVxkr5KckLTWJpMD1Hm2D8tPK8sCyWRCZp0knX5gRdrcRz
kfTO1Oreo3uXPiGVe/zKoIE9TmG9oR8ujzkJe63JjpMzcbXBbjSE4jxfWJVTWQ==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 83a6ffaa
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO)
for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:56 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH v2 2/4] gnu: Add chuffed.
Date: Wed, 15 May 2024 17:51:23 +0200
Message-ID: <5fb4a1d84959c6760592abda115dcaa663559a43.1715786322.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
References: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
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-Debbugs-Envelope-To: 70087
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 2.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
the administrator of that system for details.
Content preview: * gnu/packages/maths.scm (chuffed): Add variable. Change-Id:
I77fc1ceb9caa42833689fba771010aeb38443e5e --- gnu/packages/maths.scm | 36
++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+)
Content analysis details: (2.6 points, 10.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL
[81.205.150.117 listed in zen.spamhaus.org]
0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record
-0.0 SPF_PASS SPF: sender matches SPF record
-1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list
manager
* gnu/packages/maths.scm (chuffed): Add variable.
Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
---
gnu/packages/maths.scm | 36 ++++++++++++++++++++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 48f43f264b..d245805ffb 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -305,6 +305,42 @@ (define-public calc
(home-page "http://www.isthe.com/chongo/tech/comp/calc/")
(license license:lgpl2.1)))
+(define-public chuffed
+ (package
+ (name "chuffed")
+ (version "0.13.2")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/chuffed/chuffed")
+ (commit version)))
+ (sha256
+ (base32
+ "164brmwn71p9gb2441kh7b1gzmy2sg7bjv5z00wjs9nw41qc908g"))))
+ (build-system cmake-build-system)
+ (arguments
+ (list #:tests? #f ; no 'check' target
+ #:modules '((guix build cmake-build-system)
+ (guix build utils))
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-before 'build 'patch-msc
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let ((out (assoc-ref outputs "out")))
+ (substitute* "chuffed.msc"
+ (("\\.\\./../..") out)
+ (("\\.\\.")
+ (string-append out "/share/minizinc")))))))))
+ (synopsis "Lazy clause generation solver")
+ (description
+ "Chuffed is a state of the art lazy clause solver designed from the
+ground up with lazy clause generation in mind. Lazy clause generation
+is a hybrid approach to constraint solving that combines features of
+finite domain propagation and Boolean satisfiability.")
+ (home-page "https://github.com/chuffed/chuffed")
+ (license license:expat)))
+
(define-public coda
(package
(name "coda")
--
2.41.0
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 15 May 2024 15:52:09 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 11:52:09 2024
Received: from localhost ([127.0.0.1]:42815 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1s7GvI-0003Vo-Vi
for submit <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:09 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:47759
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1s7GvE-0003VC-Ur
for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 11:52:07 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1715788315;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:content-type:content-type:
content-transfer-encoding:content-transfer-encoding;
bh=H3eEM4P9SrBSFg7Ubh8/tJzJdJg4/S/AhRxvIHTvQvA=;
b=hp/40XPzWU1q2UjRmu23p0mtAZ+7RSPdLA2/IGqFbB9F7SzykFr8DkRDqSwojwnIsaToSu
x2+ufW4ighxZt1xV4rXfBg6Kt6CBCfd9UuRaaUmmfUuWUHPgjn+8ocLt1m22Do7TeRnoP8
KHoozlo4p+vlD+c8RFhzG4Wx9cox9k7ZSBt3Sj2ET3ILPKCkGrLoYPsZtD7+d6Kunl/Zp/
zEEScgdw76dJLKS8rmv4q7HEl10D1eIFqLVzOnsGr5GZ+uGxs6LtD7Hypy895ry8Nfbjik
ENZEPJ3R8jHSeB/L/uZ/3vVxuDjQZPtPOKG1YfCXiTnG0cl1+RIYrhu/V0BWFw==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 70c139aa
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO)
for <70087 <at> debbugs.gnu.org>; Wed, 15 May 2024 15:51:55 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH v2 1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c.
Date: Wed, 15 May 2024 17:51:22 +0200
Message-ID: <a5751f750c3aa223830e82826d4f3204c509c314.1715786322.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
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-Debbugs-Envelope-To: 70087
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 2.6 (++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
the administrator of that system for details.
Content preview: * gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c.
[version]: Use version. [source]: Use commit. [arguments]: Add patch-msc-and-version
phase. (minizinc)[arguments]: Copy provided gecode.ms [...]
Content analysis details: (2.6 points, 10.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL
[81.205.150.117 listed in zen.spamhaus.org]
0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record
-0.0 SPF_PASS SPF: sender matches SPF record
-1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list
manager
* gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c.
[version]: Use version.
[source]: Use commit.
[arguments]: Add patch-msc-and-version phase.
(minizinc)[arguments]: Copy provided gecode.msc file instead.
Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d
---
gnu/packages/maths.scm | 174 +++++++++++++++++++----------------------
1 file changed, 82 insertions(+), 92 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index d551b751e6..48f43f264b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -63,6 +63,7 @@
;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN>
;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN>
;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN>
+;;; Copyright © 2024 Herman Rimm <herman@HIDDEN>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -2612,73 +2613,81 @@ (define-public clp
(license license:epl1.0)))
(define-public gecode
- (package
- (name "gecode")
- (version "6.2.0")
- (source (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/Gecode/gecode")
- (commit (string-append "release-" version))))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk"))
- (modules '((guix build utils)))
- (snippet
- '(begin
- ;; delete generated sources
- (for-each delete-file
- '("gecode/kernel/var-imp.hpp"
- "gecode/kernel/var-type.hpp"))))))
- (outputs '("out" "examples"))
- (build-system gnu-build-system)
- (arguments
- `(#:configure-flags
- (list (string-append "GLDFLAGS=-Wl,-rpath="
- (assoc-ref %outputs "out")
- "/lib")
- "--enable-examples=no")
- #:modules ((guix build gnu-build-system)
- (guix build utils)
- (ice-9 rdelim)
- (ice-9 popen))
- #:phases
- (modify-phases %standard-phases
- (add-after 'build 'build-examples
- (lambda* (#:key outputs #:allow-other-keys)
- (invoke "make" "compileexamples")))
- ;; The Makefile disrespects GLDFLAGS for some reason, so we have to
- ;; patch it ourselves... *sigh*
- (add-after 'install 'fix-rpath
- (lambda* (#:key outputs #:allow-other-keys)
- (let ((libdir (string-append (assoc-ref outputs "out") "/lib")))
- (for-each
- (lambda (file)
- (let* ((pipe (open-pipe* OPEN_READ "patchelf"
- "--print-rpath" file))
- (line (read-line pipe)))
- (and (zero? (close-pipe pipe))
- (invoke "patchelf" "--set-rpath"
- (string-append libdir ":" line)
- file))))
- (find-files libdir ".*\\.so$")))))
- (add-after 'install 'install-examples
- (lambda* (#:key outputs #:allow-other-keys)
- (invoke "make" "installexamples"
- (string-append "bindir=" (assoc-ref outputs "examples")
- "/bin"))))
- ;; Tests depend on installed libraries.
- (delete 'check)
- (add-after 'fix-rpath 'check
- (assoc-ref %standard-phases 'check)))))
- (native-inputs
- (list patchelf perl sed))
- (home-page "https://www.gecode.org")
- (synopsis "Toolkit for developing constraint-based systems")
- (description "Gecode is a C++ toolkit for developing constraint-based
-systems and applications. It provides a modular and extensible solver.")
- (license license:expat)))
+ (let* ((commit "f7f0d7c273d6844698f01cec8229ebe0b66a016a")
+ (version (git-version "6.2.0" "1" commit)))
+ (package
+ (name "gecode")
+ (version version)
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/Gecode/gecode")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "16gzwa64w90vifaflmii515rsrqclf2y7nziq621m4ad9cjgcixj"))
+ (modules '((guix build utils)))
+ ;; delete generated sources
+ (snippet '(for-each delete-file
+ '("gecode/kernel/var-imp.hpp"
+ "gecode/kernel/var-type.hpp")))))
+ (outputs '("out" "examples"))
+ (build-system gnu-build-system)
+ (arguments
+ (list
+ #:configure-flags
+ #~(list (string-append "GLDFLAGS=-Wl,-rpath="
+ (assoc-ref %outputs "out") "/lib")
+ "--enable-examples=no")
+ #:modules '((guix build gnu-build-system)
+ (guix build utils)
+ (ice-9 rdelim)
+ (ice-9 popen))
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-before 'configure 'patch-msc-and-version
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let ((out (assoc-ref outputs "out")))
+ (substitute* "tools/flatzinc/gecode.msc.in"
+ (("\\.\\./../..") out)
+ (("\\.\\.")
+ (string-append out "/share/minizinc")))
+ (substitute* "configure"
+ (("(PACKAGE_[^0-9]*)[0-9\\.]+" all match)
+ (string-append match #$version))))))
+ (add-after 'build 'build-examples
+ (lambda _
+ (invoke "make" "compileexamples")))
+ ;; The Makefile disrespects GLDFLAGS for some reason, so
+ ;; we have to patch it ourselves... *sigh*
+ (add-after 'install 'fix-rpath
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (libdir (string-append out "/lib")))
+ (for-each
+ (lambda (file)
+ (let* ((pipe (open-pipe* OPEN_READ "patchelf"
+ "--print-rpath" file))
+ (line (read-line pipe)))
+ (and (zero? (close-pipe pipe))
+ (invoke "patchelf" "--set-rpath"
+ (string-append libdir ":" line)
+ file))))
+ (find-files libdir ".*\\.so$")))))
+ (add-after 'install 'install-examples
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((examples (assoc-ref outputs "examples"))
+ (bindir (format #f "bindir=~a/bin" examples)))
+ (invoke "make" "installexamples" bindir)))))))
+ (native-inputs (list patchelf perl sed))
+ (home-page "https://www.gecode.org")
+ (synopsis "Toolkit for developing constraint-based systems")
+ (description
+ "Gecode is a C++ toolkit for developing constraint-based systems
+and applications. It provides a modular and extensible solver.")
+ (license license:expat))))
(define-public libfixmath
(let ((commit "1416c9979635c69f344d3c1de84b3246001a6540")
@@ -4083,31 +4092,12 @@ (define-public minizinc
}"
port)
(newline port)))
-
- (mkdir-p (string-append pkgdatadir "/solvers"))
- (call-with-output-file (string-append pkgdatadir
- "/solvers/gecode.msc")
- (lambda (port)
- (format port
- "\
-{
- \"id\": \"org.gecode.gecode\",
- \"name\": \"Gecode\",
- \"description\": \"Gecode FlatZinc executable\",
- \"version\": ~s,
- \"mznlib\": ~s,
- \"executable\": ~s,
- \"supportsMzn\": false,
- \"supportsFzn\": true,
- \"needsSolns2Out\": true,
- \"needsMznExecutable\": false,
- \"needsStdlibDir\": false,
- \"isGUIApplication\": false
-}"
- (last (string-split gecode #\-))
- (string-append gecode "/share/gecode/mznlib")
- (string-append gecode "/bin/fzn-gecode"))
- (newline port)))))))))
+ (for-each
+ (lambda (solver)
+ (copy-recursively
+ (string-append solver "/share/minizinc/solvers")
+ (string-append pkgdatadir "/solvers")))
+ (list gecode))))))))
(native-inputs
(list bison flex))
(inputs
base-commit: 059c9ed104c91f7a537f369c4524b91d6cf8a13e
--
2.41.0
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.Received: (at 70087-done) by debbugs.gnu.org; 15 May 2024 13:09:25 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 09:09:25 2024 Received: from localhost ([127.0.0.1]:42215 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7ENl-0000tN-6k for submit <at> debbugs.gnu.org; Wed, 15 May 2024 09:09:25 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:54646) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7ENh-0000tG-2O for 70087-done <at> debbugs.gnu.org; Wed, 15 May 2024 09:09:19 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 3E461125D; Wed, 15 May 2024 15:08:37 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id yD_3Jk9pDmze; Wed, 15 May 2024 15:08:36 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 26A67261; Wed, 15 May 2024 15:08:36 +0200 (CEST) Date: Wed, 15 May 2024 15:08:33 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkSz0b1rOI4kvd9S@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> <ZkSKlaYJ70Fj3uMx@jurong> <ZkSlWrWqtrlivP__@jurong> <ZkStG0sHuOuf85lc@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <ZkStG0sHuOuf85lc@jurong> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087-done Cc: 70087-done <at> debbugs.gnu.org, Sharlatan Hellseher <sharlatanus@HIDDEN>, Eric Bavier <bavier@HIDDEN> X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, I have now applied your patch to add chuffed to minizinc, and I have gexpified this latter package. An update of minizinc to 2.8.3 (or 2.8.4, released 5 days ago) does not build; I think one would need to move to a different commit of gecode (but not the latest one...). I am closing the current bug. If you are motivated to look for a combination of newer gecode and minizinc versions that work together, please feel free to open a new bug. Andreas
Herman Rimm <herman@HIDDEN>:Andreas Enge <andreas@HIDDEN>:Received: (at 70087) by debbugs.gnu.org; 15 May 2024 12:40:10 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 08:40:10 2024 Received: from localhost ([127.0.0.1]:42195 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7DvV-0000ak-Om for submit <at> debbugs.gnu.org; Wed, 15 May 2024 08:40:09 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:39384) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7DvT-0000aC-Dh for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 08:40:08 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id F30191F6A; Wed, 15 May 2024 14:39:57 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xRW0d1XVPXG9; Wed, 15 May 2024 14:39:57 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 2E536E92; Wed, 15 May 2024 14:39:57 +0200 (CEST) Date: Wed, 15 May 2024 14:39:55 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkStG0sHuOuf85lc@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> <ZkSKlaYJ70Fj3uMx@jurong> <ZkSlWrWqtrlivP__@jurong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <ZkSlWrWqtrlivP__@jurong> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087 Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -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
guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 15 May 2024 12:07:37 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 08:07:37 2024
Received: from localhost ([127.0.0.1]:42147 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1s7DQ0-00009n-RC
for submit <at> debbugs.gnu.org; Wed, 15 May 2024 08:07:37 -0400
Received: from hera.aquilenet.fr ([185.233.100.1]:34854)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <andreas@HIDDEN>) id 1s7DPy-00009g-57
for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 08:07:36 -0400
Received: from localhost (localhost [127.0.0.1])
by hera.aquilenet.fr (Postfix) with ESMTP id 0A6321F67;
Wed, 15 May 2024 14:06:55 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr
Received: from hera.aquilenet.fr ([127.0.0.1])
by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id fPR0-C8k2jMu; Wed, 15 May 2024 14:06:54 +0200 (CEST)
Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc])
by hera.aquilenet.fr (Postfix) with ESMTPSA id A5DFC1F5E;
Wed, 15 May 2024 14:06:53 +0200 (CEST)
Date: Wed, 15 May 2024 14:06:50 +0200
From: Andreas Enge <andreas@HIDDEN>
To: Herman Rimm <herman@HIDDEN>
Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development
version 6.3.0.
Message-ID: <ZkSlWrWqtrlivP__@jurong>
References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
<ZkETxxAlMKIbzPXz@jurong>
<6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2>
<ZkSKlaYJ70Fj3uMx@jurong>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <ZkSKlaYJ70Fj3uMx@jurong>
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 70087
Cc: Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -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
guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.Received: (at 70087) by debbugs.gnu.org; 15 May 2024 10:13:24 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 15 06:13:24 2024 Received: from localhost ([127.0.0.1]:42017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s7BdT-0004Wz-Ug for submit <at> debbugs.gnu.org; Wed, 15 May 2024 06:13:24 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:56852) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s7BdQ-0004Wr-Md for 70087 <at> debbugs.gnu.org; Wed, 15 May 2024 06:13:22 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 313771F3E; Wed, 15 May 2024 12:12:40 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ZwOoSSfS4LuE; Wed, 15 May 2024 12:12:39 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 440F6EFC; Wed, 15 May 2024 12:12:39 +0200 (CEST) Date: Wed, 15 May 2024 12:12:37 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkSKlaYJ70Fj3uMx@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087 Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hello, I have just pushed a gexpified version of your chuffed patch. Thanks! Andreas
guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.Received: (at 70087) by debbugs.gnu.org; 14 May 2024 11:45:14 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 14 07:45:14 2024 Received: from localhost ([127.0.0.1]:38867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6qao-0001kn-DC for submit <at> debbugs.gnu.org; Tue, 14 May 2024 07:45:14 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:56862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s6qam-0001Ie-1r for 70087 <at> debbugs.gnu.org; Tue, 14 May 2024 07:45:13 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id BE9781A0C; Tue, 14 May 2024 13:44:34 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id WP9qz901MEvD; Tue, 14 May 2024 13:44:34 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id C508B300; Tue, 14 May 2024 13:44:33 +0200 (CEST) Date: Tue, 14 May 2024 13:44:31 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkNOn4GU0EP0j4uZ@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> <ZkETxxAlMKIbzPXz@jurong> <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087 Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -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
guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 14 May 2024 07:32:06 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 14 03:32:06 2024
Received: from localhost ([127.0.0.1]:37668 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1s6mdq-0003uw-CZ
for submit <at> debbugs.gnu.org; Tue, 14 May 2024 03:32:06 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:34107
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1s6mdo-0003uY-Bw
for 70087 <at> debbugs.gnu.org; Tue, 14 May 2024 03:32:05 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1715671914;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:cc:mime-version:mime-version:content-type:content-type:
in-reply-to:in-reply-to:references:references;
bh=9fiK/HIlX5Ru1biQknFmJM25/G038hM8QJusavuHz6A=;
b=F3Y2F0ZYBm8cKxtGHTHa9sz/vKTw93HvGsdUnP+x4FBS37p2HaHKeNj1YMwO59LVyAvKYi
tafxdQuG4CZz4VVMZ9tVRxA6ZvS9pu+cR+XFTcYRzDZy5o9x9Dp5vK2BQZ6tfUvgQDjByI
zdA1n372f7ElMF1OziIM7C1rxAQfVVG8YSHed+ct98yCGFkEoMqiJfLuM7KrcBhMbP3b42
7IRurQr6PDjP6xopMYDMmumRxUWwMUE0qakg7agKeXT8vsZDfpre9oEzDPc4aZuMKCAVCW
VUF2J2QsSJFRW2U106akC/ZARrQrwY4Sf57mBEfma27EA4yPsWUOH3df2mQiuA==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 28037bc0
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO);
Tue, 14 May 2024 07:31:54 +0000 (UTC)
Date: Tue, 14 May 2024 09:31:47 +0200
From: Herman Rimm <herman@HIDDEN>
To: Andreas Enge <andreas@HIDDEN>
Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development
version 6.3.0.
Message-ID: <6yyxnjj2tcvelkavpi2h6erndzrdconkaol7nsczn5vujmurtq@4aaq7v4aqrt2>
References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
<ZkETxxAlMKIbzPXz@jurong>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <ZkETxxAlMKIbzPXz@jurong>
X-Spam-Score: 3.6 (+++)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
the administrator of that system for details.
Content preview: Hello, On Sun, May 12, 2024 at 09:08:55PM +0200, Andreas Enge
wrote: > Is a newer package really needed? Why this commit from 2020, and
not another > one from 2024? Their git repository is, let us say, unusu [...]
Content analysis details: (3.6 points, 10.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
0.0 TVD_RCVD_IP Message was received from an IP address
3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL
[81.205.150.117 listed in zen.spamhaus.org]
0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record
-0.0 SPF_PASS SPF: sender matches SPF record
X-Debbugs-Envelope-To: 70087
Cc: Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 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
guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.Received: (at 70087) by debbugs.gnu.org; 12 May 2024 19:09:37 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun May 12 15:09:37 2024 Received: from localhost ([127.0.0.1]:56024 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6EZl-0008Ad-Ek for submit <at> debbugs.gnu.org; Sun, 12 May 2024 15:09:37 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:59482) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <andreas@HIDDEN>) id 1s6EZi-0008AT-Rw for 70087 <at> debbugs.gnu.org; Sun, 12 May 2024 15:09:35 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 4352460C; Sun, 12 May 2024 21:08:58 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nT-pHvg-akVI; Sun, 12 May 2024 21:08:57 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:678:984:800:7aea:3b12:7efa:b1bc]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 336A31F1; Sun, 12 May 2024 21:08:57 +0200 (CEST) Date: Sun, 12 May 2024 21:08:55 +0200 From: Andreas Enge <andreas@HIDDEN> To: Herman Rimm <herman@HIDDEN> Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. Message-ID: <ZkETxxAlMKIbzPXz@jurong> References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN> X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 70087 Cc: Eric Bavier <bavier@HIDDEN>, Sharlatan Hellseher <sharlatanus@HIDDEN>, 70087 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -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
guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 30 Mar 2024 11:43:30 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 30 07:43:30 2024
Received: from localhost ([127.0.0.1]:44103 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rqX7R-0002fp-Kr
for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:29 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:54339
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1rqX7M-0002ed-8J
for 70087 <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:24 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1711798993;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:cc:mime-version:mime-version:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=SfFWW89TEECW7kiRztkFHNZxt7bSFUz/EtOJyAgToCE=;
b=Kg25UCLQ7WT66itQozInHQ7dDIpT27ofJIkkgYD3hTUbBt7hKKZhADhY838sO7dDsKqybd
SLGP1stq16euK0fQgEzvffbVhcn+4SckvMGkvdXe/fpXRIBk93oF1dT3gG2Bu/Sb7r7Lik
uKIxTx5sDw6cZYAxFvaSC85h2efrVfun+Qi7lcVxLztEw3vmC1N4eUO4wSDIEQKevsx8UG
Zbq60HVFvKEZOpXC59nbnMf3LbDRUTJHimj+IhqtSGqOQTahQLUlLsiNya84OeL94FpBq5
OgbtcrhHUhIhlpzxtNc1tT7CfoXfPqf+7k7bfNn2IiLn65jXHWl/UKkhZBLh0w==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id e4a63f6e
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO);
Sat, 30 Mar 2024 11:43:13 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH 4/4] gnu: minizinc: Update to 2.8.3.
Date: Sat, 30 Mar 2024 12:42:41 +0100
Message-ID: <5345bf947c546c7a9c1a581e9d22d33b953158ec.1711794209.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
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-Debbugs-Envelope-To: 70087
Cc: Herman Rimm <herman@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 30 Mar 2024 11:43:29 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 30 07:43:29 2024
Received: from localhost ([127.0.0.1]:44101 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rqX7R-0002fn-4M
for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:29 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:54339
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1rqX7K-0002ed-Sb
for 70087 <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:23 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1711798993;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:cc:mime-version:mime-version:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=9abtWu/rQXYQL8b4pZ/OFkWzcdnwmJU36bnR32VSpSg=;
b=AsQNzP0VVczHSoAh0g3ZIRbDvyljKMRpw+SBS6gWHwdxU8hB70b6IHQqUFipzcWqbYhnX4
amsbMAK6SLulvoOHMD3hRSWY0WEKJwOM/IZ1EaqJNZ/KqpkfuwRQpcLlCyiUc0VFcWfn7a
60IR/94wT1fkVm0gwzVHVQN6uf8sQAA1K8znyAiB6Yv462+cGL+V+Z/k034333gXxYG++b
xO381MBhmhT7pSYWBEnuSoPlU2qATpYejQFFav97A2A+Rf649tZOEV1prZqN0KWnQh5Qk9
uBNn+I9qFDQ9wpct7zaIS+Wk7iJjVkXjJe6TfE8PEp+UlYZD1nVOCDK4TJkYEQ==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id a72b465b
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO);
Sat, 30 Mar 2024 11:43:13 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH 3/4] gnu: minizinc: Add chuffed backend.
Date: Sat, 30 Mar 2024 12:42:40 +0100
Message-ID: <1f8b3e870c43629a1b35ecb532a1cffc19146315.1711794209.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
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-Debbugs-Envelope-To: 70087
Cc: Herman Rimm <herman@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at 70087) by debbugs.gnu.org; 30 Mar 2024 11:43:24 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 30 07:43:24 2024
Received: from localhost ([127.0.0.1]:44098 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rqX7L-0002fO-OJ
for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:24 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:54339
helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1rqX7J-0002ed-9i
for 70087 <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:43:22 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1711798992;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:cc:mime-version:mime-version:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=yJaMu0Ly3BsRSBTQZb66VHrLC/FAKoZPbGok7yybOT4=;
b=CRQVa2V4M0Ug9bnBEs22Mhxe3pZwss3M390Rf309H3LOXiM8fNyXrn+Jd0hYURGlMgRVfE
nSrNMYthjpw3bMH4FZzJUscnQcUMBLShQ/z9Jz5cVAYPy5X6UPscb4CbHizatyfpSeXKpb
OvfPKGFlyHrzt/M3gyc9anktN2m6vlBwu5Tp+hpaYR6sMHMbh4cOuu0BmrrPRUl8DyRcLh
+c8rcCotVIOCsuBzGWrHSaKgpDzns/hJM4OQoZnPz+7BZ7UDG6SGh7tnWchJqCbLtZjTKN
vsSIeieRjkm0WKanwgj+WnzG+piEGqK3iUiTVD9fy+RXuo+O6/KAeimI1bEM5A==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 1cbf64af
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO);
Sat, 30 Mar 2024 11:43:12 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: 70087 <at> debbugs.gnu.org
Subject: [PATCH 2/4] gnu: Add chuffed.
Date: Sat, 30 Mar 2024 12:42:39 +0100
Message-ID: <a6f28de25feaacb939b8da06539aed6de1b4f8de.1711794209.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
References: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
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-Debbugs-Envelope-To: 70087
Cc: Herman Rimm <herman@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 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
andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
Received: (at submit) by debbugs.gnu.org; 30 Mar 2024 11:40:53 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 30 07:40:52 2024
Received: from localhost ([127.0.0.1]:44085 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1rqX4u-0002Wd-Js
for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:52 -0400
Received: from lists.gnu.org ([2001:470:142::17]:38994)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <herman@HIDDEN>) id 1rqX4p-0002Vx-PV
for submit <at> debbugs.gnu.org; Sat, 30 Mar 2024 07:40:51 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <herman@HIDDEN>) id 1rqX4h-0003CP-F7
for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:39 -0400
Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]
helo=email.rimm.ee)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256)
(Exim 4.90_1) (envelope-from <herman@HIDDEN>) id 1rqX4e-0005s5-2P
for guix-patches@HIDDEN; Sat, 30 Mar 2024 07:40:37 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman;
t=1711798829;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:cc:mime-version:mime-version:content-type:content-type:
content-transfer-encoding:content-transfer-encoding;
bh=y/adxjp6nXKv+nhlxgQwIAdvA6exyA/kLROzef4rwy0=;
b=oAjz8/bnotLYMfTwLZAx83fZX72pfDZ5qRJpYY93FQ+CQQ/ZOz5iQJ9BLmIz9dTiLMTM9Y
WlEJJDcdQx5eVZKMds/rRMMjGNljhpOLiQ0LebLvQSx2Gnc3WtxTH+kNvb7x9v+74m/AhC
hKlnONEl0mY/XSrO1+KT3OMVTPPQua4nVN1ss7PZ8CeR15pUkeu2ya3+smcjC9J30D5Bbk
zBFNGOkjokRVLWcSHxav6z1UNY3GquucojoV3KtSPTbVxeN0jcyv4UB5e8AIPs2EJ2hGPa
iUrY3SPJkK8EDl/xSzVUC2nldmQD3LxjrtlsCV2bjxxWNkJOcBkflIXoddSWEQ==
Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 09ea5533
(TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO);
Sat, 30 Mar 2024 11:40:29 +0000 (UTC)
From: Herman Rimm <herman@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.
Date: Sat, 30 Mar 2024 12:40:05 +0100
Message-ID: <f5a006def8b65680ffe79602658825e2b25bfb56.1711794209.git.herman@HIDDEN>
X-Mailer: git-send-email 2.41.0
MIME-Version: 1.0
X-Debbugs-Cc: Andreas Enge <andreas@HIDDEN>, Eric Bavier <bavier@HIDDEN>,
Sharlatan Hellseher <sharlatanus@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=81.205.150.117; envelope-from=herman@HIDDEN;
helo=email.rimm.ee
X-Spam_score_int: 12
X-Spam_score: 1.2
X-Spam_bar: +
X-Spam_report: (1.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_PBL=3.335, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001, TVD_RCVD_IP=0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
Cc: Herman Rimm <herman@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)
* gnu/packages/maths.scm (gecode): Update.
Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d
---
gnu/packages/maths.scm | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 479591889f..6c23aa3562 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -63,6 +63,7 @@
;;; Copyright © 2023 Jake Leporte <jakeleporte@HIDDEN>
;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@HIDDEN>
;;; Copyright © 2023 David Elsing <david.elsing@HIDDEN>
+;;; Copyright © 2024 Herman Rimm <herman@HIDDEN>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -2615,16 +2616,16 @@ (define-public clp
(define-public gecode
(package
(name "gecode")
- (version "6.2.0")
+ (version "6.3.0")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/Gecode/gecode")
- (commit (string-append "release-" version))))
+ (commit "2d20e88cae176584b6e09d909aca3eb72ae76829")))
(file-name (git-file-name name version))
(sha256
(base32
- "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk"))
+ "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r"))
(modules '((guix build utils)))
(snippet
'(begin
base-commit: 350cdbe83819233b6db9fb1cfc797eaf80b0d168
--
2.41.0
Herman Rimm <herman@HIDDEN>:andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN.
Full text available.andreas@HIDDEN, bavier@HIDDEN, sharlatanus@HIDDEN, guix-patches@HIDDEN:bug#70087; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.