GNU bug report logs - #54054
[PATCH] gnu: mercury: Remove trailing #T from phases and snippet.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Mathieu Othacehe <othacehe <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#54054: closed ([PATCH] gnu: mercury: Remove trailing #T from
 phases and snippet.)
Date: Tue, 29 Mar 2022 09:22:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Tue, 29 Mar 2022 11:20:50 +0200
with message-id <87czi56rnx.fsf <at> gnu.org>
and subject line Re: bug#54054: [PATCH] gnu: mercury: Remove trailing #T from phases and snippet.
has caused the debbugs.gnu.org bug report #54054,
regarding [PATCH] gnu: mercury: Remove trailing #T from phases and snippet.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
54054: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54054
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: jgart <jgart <at> dismail.de>
To: guix-patches <at> gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH] gnu: mercury: Remove trailing #T from phases and snippet.
Date: Fri, 18 Feb 2022 01:16:13 -0500

* gnu/packages/mercury.scm (mercury)[arguments]<#:phases>: Remove trailing #T.
---
 gnu/packages/mercury.scm | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index fe02b34a97..c87e65fdd1 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -100,8 +100,7 @@ (define-public mercury-minimal
                        (invoke "mv" orig-name new-name)
                        (with-directory-excursion new-name
                          (apply patch-source-shebangs (list #:source src)))))
-                    `((,libatomic-ops "source" "boehm_gc/libatomic_ops")))
-               #t)))
+                    `((,libatomic-ops "source" "boehm_gc/libatomic_ops"))))))
          (add-after 'replace-boehm-gc 'patch-paths
            (lambda _
              (substitute*
@@ -133,8 +132,7 @@ (define-public mercury-minimal
                        "boehm_gc/Makefile.direct")
                (("/bin/sh") (which "sh"))
                (("/bin/pwd") (which "pwd"))
-               (("/bin/rm") (which "rm")))
-             #t)))))
+               (("/bin/rm") (which "rm"))))))))
     (native-inputs
      `(("texinfo" ,texinfo)
        ("flex" ,flex)
@@ -227,12 +225,10 @@ (define-public mercury
                         (("/bin/sh") (which "sh"))
                         (("/bin/pwd") (which "pwd"))
                         (("/bin/rm") (which "rm"))
-                        (("boehm_gc/.git") "boehm_gc"))
-                      #t))
+                        (("boehm_gc/.git") "boehm_gc"))))
                   (replace 'bootstrap
                     (lambda _
-                      (invoke "./prepare.sh")
-                      #t))))))
+                      (invoke "./prepare.sh")))))))
            ;; TODO: Uncomment phase when tests are enabled.
            ;; (replace 'check
            ;;   (lambda _
-- 
2.35.1

[Message part 3 (message/rfc822, inline)]

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: jgart <jgart <at> dismail.de>
Cc: 54054-done <at> debbugs.gnu.org
Subject: Re: bug#54054: [PATCH] gnu: mercury: Remove trailing #T from phases
 and snippet.
Date: Tue, 29 Mar 2022 11:20:50 +0200

> * gnu/packages/mercury.scm (mercury)[arguments]<#:phases>: Remove trailing #T.

Pushed, thanks!

Mathieu

Previous Next

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