From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 18 01:16:35 2022 Received: (at submit) by debbugs.gnu.org; 18 Feb 2022 06:16:35 +0000 Received: from localhost ([127.0.0.1]:53169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKwZG-0007jg-QD for submit@debbugs.gnu.org; Fri, 18 Feb 2022 01:16:35 -0500 Received: from lists.gnu.org ([209.51.188.17]:53006) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nKwZE-0007jX-Rx for submit@debbugs.gnu.org; Fri, 18 Feb 2022 01:16:33 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47884) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nKwZE-0003B4-ND for guix-patches@gnu.org; Fri, 18 Feb 2022 01:16:32 -0500 Received: from mx1.dismail.de ([78.46.223.134]:21341) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nKwZC-0007pH-KH for guix-patches@gnu.org; Fri, 18 Feb 2022 01:16:32 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 4a7a6ccd for ; Fri, 18 Feb 2022 07:16:29 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:mime-version:content-transfer-encoding; s=20190914; bh=PuD/jYrDMxW3vuzvJQ5AP65cQ8PI4V8Cx4usi7JjpgM=; b= jZUYLsPPqPbEcYGmECvRCaFK0I3yUGqJD0o874Lj+S9oE1v6Oos2BKwfgW27eehp B5pBV3D7y5YeNqRWkuic54EeZJ7W/olZX+bHX50on45cbhiHndK8kiK/lhkq0Vdd viFpUKFr7qZX07r0yeGqzH3SwswQNaaBdZ0QT63F/WTp/dDPAf9kF22HoJ/PBcX1 SI3mNaF16h1Myf0yWRavNoYn8d306yWpLDqA3Zr6fZjbLy6u09byBrKhazRi0CDR FMwc8VcO9x7ZsAmlfJhckS5/jy+g4myHPBBY7vvcnGwV9YzdM1uDBLuTTU72OvDu VFrGYjYOwOOKpfHJLDdQow== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 49928c4c for ; Fri, 18 Feb 2022 07:16:28 +0100 (CET) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id 47465ce1 for ; Fri, 18 Feb 2022 07:16:28 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 83fe0708 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Fri, 18 Feb 2022 07:16:22 +0100 (CET) From: jgart To: guix-patches@gnu.org Subject: [PATCH] gnu: mercury: Remove trailing #T from phases and snippet. Date: Fri, 18 Feb 2022 01:16:13 -0500 Message-Id: <20220218061613.17133-1-jgart@dismail.de> X-Mailer: git-send-email 2.35.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=78.46.223.134; envelope-from=jgart@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: jgart X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) * 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 From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 29 05:21:16 2022 Received: (at 54054-done) by debbugs.gnu.org; 29 Mar 2022 09:21:16 +0000 Received: from localhost ([127.0.0.1]:59816 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ82O-00076s-DR for submit@debbugs.gnu.org; Tue, 29 Mar 2022 05:21:16 -0400 Received: from eggs.gnu.org ([209.51.188.92]:42072) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ827-00075j-My for 54054-done@debbugs.gnu.org; Tue, 29 Mar 2022 05:21:14 -0400 Received: from [2001:470:142:3::e] (port=60636 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nZ822-00060C-3g; Tue, 29 Mar 2022 05:20:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=lQGWTxBiPPi+hrOAWu3BEOyNBn5G4eXwvD5OhtZyD2w=; b=InFDlsSYmC3dNK8xdfpE RlmBvSzI8oCUbs0KHTCkP+u7jObx8GVNCR0b8+QWOXpafytsLDdaUizLTz28qcVkEIBFg5bNRoHfv 8guQ7J+OfSQ2fmoAGuTu2R4/waeKxj3nJnrRz0oogAdAFIFZzihuVyWXUAN4hHvmd76vXaHw8iv9T E5tffnAuengmGz/ZSJBKinoFsXSwM4V9A45WK3n7SuA5VXwOk6ULeRBFceLUV+j8eZpq4XS9BW4Yu wW97P6bURISAWyCgKJj6oWUo6bHCtUSthkW5wBL+DBr+uwQhAYvpNAgXbHIwncG49ku35YQn9rEIS uvCXkRKTQLKrVg==; Received: from 71.125.192.77.rev.sfr.net ([77.192.125.71]:33838 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nZ821-0005PX-NF; Tue, 29 Mar 2022 05:20:53 -0400 From: Mathieu Othacehe To: jgart Subject: Re: bug#54054: [PATCH] gnu: mercury: Remove trailing #T from phases and snippet. References: <20220218061613.17133-1-jgart@dismail.de> Date: Tue, 29 Mar 2022 11:20:50 +0200 In-Reply-To: <20220218061613.17133-1-jgart@dismail.de> (jgart@dismail.de's message of "Fri, 18 Feb 2022 01:16:13 -0500") Message-ID: <87czi56rnx.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 54054-done Cc: 54054-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) > * gnu/packages/mercury.scm (mercury)[arguments]<#:phases>: Remove trailing #T. Pushed, thanks! Mathieu From unknown Sun Aug 17 22:08:11 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 26 Apr 2022 11:24:13 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator