bug#54054: closed ([PATCH] gnu: mercury: Remove trailing #T from phases and snippet.)

[GNU bug Tracking System]

Your message dated Tue, 29 Mar 2022 11:20:50 +0200
with message-id <87czi56rnx.fsf@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@gnu.org.)


-- 
54054: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54054
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#54054: [PATCH] gnu: mercury: Remove trailing #T from phases and snippet.
>
>
>
>
> Date: 
>
> Tue, 29 Mar 2022 11:20:50 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> > * gnu/packages/mercury.scm (mercury)[arguments]<#:phases>: Remove trailing #T.
>
> Pushed, thanks!
>
> Mathieu
>
>
> --- End Message ---