GNU bug report logs - #59895
[PATCH 1/2] gnu: mercury: Update to 22.01.4.

Previous Next

Package: guix-patches;

Reported by: jgart <jgart <at> dismail.de>

Date: Thu, 8 Dec 2022 06:01:02 UTC

Severity: normal

Tags: patch

Done: Christopher Baines <mail <at> cbaines.net>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 59895 in the body.
You can then email your comments to 59895 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Thu, 08 Dec 2022 06:01:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to jgart <jgart <at> dismail.de>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Thu, 08 Dec 2022 06:01:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: Guix Patches <guix-patches <at> gnu.org>
Subject: [PATCH 1/2] gnu: mercury: Update to 22.01.4.
Date: Wed, 7 Dec 2022 23:59:58 -0600

hi,

This patch updates mercury to the latest release version. This took a while to build.

all best,

jgart
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Thu, 08 Dec 2022 06:04:02 GMT) Full text and rfc822 format available.

Message #8 received at 59895 <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 59895 <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH 1/2] gnu: mercury-minimal: Update to 22.01.4.
Date: Thu,  8 Dec 2022 00:03:19 -0600

* gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4.
[arguments]: Remove obsolete file path, update libatomic-ops, and
update libgc-8.
---
 gnu/packages/mercury.scm | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 1c7f5c5f55..8653e3977f 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -1,5 +1,6 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2020 Brett Gilio <brettg <at> gnu.org>
+;;; Copyright © 2022 jgart <jgart <at> dismail.de>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -56,7 +57,7 @@ (define (gc-fork package-name package-url
 (define-public mercury-minimal
   (package
     (name "mercury-minimal")
-    (version "20.06.1")
+    (version "22.01.4")
     (source (origin
               (method url-fetch)
               (uri (string-append
@@ -64,7 +65,7 @@ (define-public mercury-minimal
                     version ".tar.gz"))
               (sha256
                (base32
-                "07qwkk871yxd4q1sw5xv26g8jrpvnpprmzvfd7zg7i142kl3l2gg"))))
+                "1vakjg4rqpplkxw7k91qv8jvlasrr6iwrzrylwqllbq088qs0mbp"))))
     (build-system gnu-build-system)
     (arguments
      `(#:modules ((guix build gnu-build-system)
@@ -112,7 +113,6 @@ (define-public mercury-minimal
                        "scripts/Mmake.vars.in"
                        "scripts/mdb.in"
                        "scripts/rs6000_hack"
-                       "scripts/fullarch"
                        "scripts/mmc.in"
                        "scripts/canonical_grade"
                        "scripts/mprof.in"
@@ -143,14 +143,14 @@ (define-public mercury-minimal
                           (gc-fork
                            libatomic-ops
                            "https://github.com/Mercury-Language/libatomic_ops.git"
-                           "49b70d57f6922fd8be55a7dcb77955c8abfc9ae9"
-                           "1flvwscsa6b2b8a38vhhcgl10bbkb5nnihw7s7iia60cinf7wcqm")))
+                           "95809e50a5ff6e765f1af2f589796970a73e9c00"
+                           "0a1y795bvzwzk1v8d9g6wvifj7hvhmxlir1g581bq2slj16h95iz")))
        ("libgc" ,(package-source
                   (gc-fork
                    libgc-7
                    "https://github.com/Mercury-Language/bdwgc.git"
-                   "43ac2ea45261ba0a715534e9da41b2504904c46a"
-                   "0bmzmbs7id0ndyhy9xli6fhfad1shrim6vmy2k8m1nqr5wb31q76")))
+                   "def741752f55f9068d4f469a14c4b2c168829730"
+                   "07d94j5l9w6l2kjmcwblgn5lf77aw3r0zjn22pq4hbhknky6ny43")))
        ("pkg-config" ,pkg-config)))
     (synopsis "Pure logic programming language (used only for
 bootstrapping dependent Mercury)")
-- 
2.38.1
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Thu, 08 Dec 2022 06:04:03 GMT) Full text and rfc822 format available.

Message #11 received at 59895 <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 59895 <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH 2/2] gnu: mercury-minimal: Update to 22.01.4.
Date: Thu,  8 Dec 2022 00:03:20 -0600

* gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4.
[arguments]: Remove obsolete and non-existent file from being patched.
---
 gnu/packages/mercury.scm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 8653e3977f..875e957c9f 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -171,7 +171,7 @@ (define-public mercury-minimal
 (define-public mercury
   (package (inherit mercury-minimal)
            (name "mercury")
-           (version "20.06.1")
+           (version "22.01.4")
            (source
             (origin
               (method git-fetch)
@@ -183,7 +183,7 @@ (define-public mercury
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz"))))
+                "0ycy1j9a4rdj6d37x02dj6kyr00mykvc5kykci11fim906d92gzh"))))
            (arguments
             (substitute-keyword-arguments
                 (package-arguments mercury-minimal)
@@ -205,7 +205,6 @@ (define-public mercury
                                 "scripts/Mmake.vars.in"
                                 "scripts/mdb.in"
                                 "scripts/rs6000_hack"
-                                "scripts/fullarch"
                                 "scripts/mmc.in"
                                 "scripts/mprof.in"
                                 "scripts/gud.el"
-- 
2.38.1
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Sat, 10 Dec 2022 00:02:02 GMT) Full text and rfc822 format available.

Message #14 received at 59895 <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 59895 <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH v2 1/2] gnu: mercury-minimal: Update to 22.01.4.
Date: Fri,  9 Dec 2022 18:00:45 -0600

* gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4.
[arguments]: Remove obsolete file path, update libatomic-ops, and
update libgc-8.

v2 fixes the commit message duplicate I had in v1.

all best,

jgart
---
 gnu/packages/mercury.scm | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 1c7f5c5f55..8653e3977f 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -1,5 +1,6 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2020 Brett Gilio <brettg <at> gnu.org>
+;;; Copyright © 2022 jgart <jgart <at> dismail.de>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -56,7 +57,7 @@ (define (gc-fork package-name package-url
 (define-public mercury-minimal
   (package
     (name "mercury-minimal")
-    (version "20.06.1")
+    (version "22.01.4")
     (source (origin
               (method url-fetch)
               (uri (string-append
@@ -64,7 +65,7 @@ (define-public mercury-minimal
                     version ".tar.gz"))
               (sha256
                (base32
-                "07qwkk871yxd4q1sw5xv26g8jrpvnpprmzvfd7zg7i142kl3l2gg"))))
+                "1vakjg4rqpplkxw7k91qv8jvlasrr6iwrzrylwqllbq088qs0mbp"))))
     (build-system gnu-build-system)
     (arguments
      `(#:modules ((guix build gnu-build-system)
@@ -112,7 +113,6 @@ (define-public mercury-minimal
                        "scripts/Mmake.vars.in"
                        "scripts/mdb.in"
                        "scripts/rs6000_hack"
-                       "scripts/fullarch"
                        "scripts/mmc.in"
                        "scripts/canonical_grade"
                        "scripts/mprof.in"
@@ -143,14 +143,14 @@ (define-public mercury-minimal
                           (gc-fork
                            libatomic-ops
                            "https://github.com/Mercury-Language/libatomic_ops.git"
-                           "49b70d57f6922fd8be55a7dcb77955c8abfc9ae9"
-                           "1flvwscsa6b2b8a38vhhcgl10bbkb5nnihw7s7iia60cinf7wcqm")))
+                           "95809e50a5ff6e765f1af2f589796970a73e9c00"
+                           "0a1y795bvzwzk1v8d9g6wvifj7hvhmxlir1g581bq2slj16h95iz")))
        ("libgc" ,(package-source
                   (gc-fork
                    libgc-7
                    "https://github.com/Mercury-Language/bdwgc.git"
-                   "43ac2ea45261ba0a715534e9da41b2504904c46a"
-                   "0bmzmbs7id0ndyhy9xli6fhfad1shrim6vmy2k8m1nqr5wb31q76")))
+                   "def741752f55f9068d4f469a14c4b2c168829730"
+                   "07d94j5l9w6l2kjmcwblgn5lf77aw3r0zjn22pq4hbhknky6ny43")))
        ("pkg-config" ,pkg-config)))
     (synopsis "Pure logic programming language (used only for
 bootstrapping dependent Mercury)")
-- 
2.38.1
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Sat, 10 Dec 2022 00:02:02 GMT) Full text and rfc822 format available.

Message #17 received at 59895 <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: 59895 <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH v2 2/2] gnu: mercury: Update to 22.01.4.
Date: Fri,  9 Dec 2022 18:00:46 -0600

* gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4.
[arguments]: Remove obsolete and non-existent file from being patched.
---
 gnu/packages/mercury.scm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 8653e3977f..875e957c9f 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -171,7 +171,7 @@ (define-public mercury-minimal
 (define-public mercury
   (package (inherit mercury-minimal)
            (name "mercury")
-           (version "20.06.1")
+           (version "22.01.4")
            (source
             (origin
               (method git-fetch)
@@ -183,7 +183,7 @@ (define-public mercury
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz"))))
+                "0ycy1j9a4rdj6d37x02dj6kyr00mykvc5kykci11fim906d92gzh"))))
            (arguments
             (substitute-keyword-arguments
                 (package-arguments mercury-minimal)
@@ -205,7 +205,6 @@ (define-public mercury
                                 "scripts/Mmake.vars.in"
                                 "scripts/mdb.in"
                                 "scripts/rs6000_hack"
-                                "scripts/fullarch"
                                 "scripts/mmc.in"
                                 "scripts/mprof.in"
                                 "scripts/gud.el"
-- 
2.38.1
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Tue, 13 Dec 2022 13:54:02 GMT) Full text and rfc822 format available.

Message #20 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Christopher Baines <mail <at> cbaines.net>
To: jgart <jgart <at> dismail.de>
Cc: 59895-done <at> debbugs.gnu.org, guix-patches <at> gnu.org
Subject: Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.
Date: Tue, 13 Dec 2022 13:53:01 +0000

[Message part 1 (text/plain, inline)]
This seems good to me, I've pushed to master as
87638cdd48ccf9537e3e5bcc8156df7a38c1e54a.

Thanks,

Chris

[signature.asc (application/pgp-signature, inline)]
Reply sent to Christopher Baines <mail <at> cbaines.net>:
You have taken responsibility. (Tue, 13 Dec 2022 13:54:02 GMT) Full text and rfc822 format available.
Notification sent to jgart <jgart <at> dismail.de>:
bug acknowledged by developer. (Tue, 13 Dec 2022 13:54:03 GMT) Full text and rfc822 format available.
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Tue, 13 Dec 2022 16:25:02 GMT) Full text and rfc822 format available.

Message #28 received at submit <at> debbugs.gnu.org (full text, mbox):

From: jgart <jgart <at> dismail.de>
To: Christopher Baines <mail <at> cbaines.net>
Cc: 59895-done <at> debbugs.gnu.org, guix-patches <at> gnu.org
Subject: Re: [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.
Date: Tue, 13 Dec 2022 10:24:10 -0600

On Tue, 13 Dec 2022 13:53:01 +0000 Christopher Baines <mail <at> cbaines.net> wrote:
> 
> This seems good to me, I've pushed to master as

Thanks!

all best,

jgart
Information forwarded to guix-patches <at> gnu.org:
bug#59895; Package guix-patches. (Tue, 13 Dec 2022 16:25:03 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 11 Jan 2023 12:24:04 GMT) Full text and rfc822 format available.
This bug report was last modified 2 years and 218 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.