From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id wG0VA7IAGl+uBQAA0tVLHw (envelope-from ) for ; Thu, 23 Jul 2020 21:27:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id MM6eOrEAGl+USwAA1q6Kng (envelope-from ) for ; Thu, 23 Jul 2020 21:27:13 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 788489403C5 for ; Thu, 23 Jul 2020 21:27:12 +0000 (UTC) Received: from localhost ([::1]:36746 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jyik9-00038D-Mb for larch@yhetil.org; Thu, 23 Jul 2020 17:27:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40900) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jyik2-000374-Mk for guix-patches@gnu.org; Thu, 23 Jul 2020 17:27:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:34642) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jyik2-00015B-Db for guix-patches@gnu.org; Thu, 23 Jul 2020 17:27:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jyik2-0006pP-5h for guix-patches@gnu.org; Thu, 23 Jul 2020 17:27:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#38603] branch master updated: gnu: Add mercury. Resent-From: brettg@posteo.net Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 23 Jul 2020 21:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38603 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: me@tobias.gr, 38603@debbugs.gnu.org Cc: brettg@gnu.org, guix-patches-bounces+brettg=posteo.net@gnu.org X-Debbugs-Original-To: Tobias Geerinckx-Rice , Tobias Geerinckx-Rice via Guix-patches X-Debbugs-Original-Cc: 38603@debbugs.gnu.org, Brett Gilio , Guix-patches Received: via spool by submit@debbugs.gnu.org id=B.159553959926216 (code B ref -1); Thu, 23 Jul 2020 21:27:02 +0000 Received: (at submit) by debbugs.gnu.org; 23 Jul 2020 21:26:39 +0000 Received: from localhost ([127.0.0.1]:46188 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyijb-0006od-0n for submit@debbugs.gnu.org; Thu, 23 Jul 2020 17:26:38 -0400 Received: from lists.gnu.org ([209.51.188.17]:50658) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jyijV-0006oH-5c for submit@debbugs.gnu.org; Thu, 23 Jul 2020 17:26:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40818) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jyijU-0002P9-Ux for guix-patches@gnu.org; Thu, 23 Jul 2020 17:26:28 -0400 Received: from mout02.posteo.de ([185.67.36.66]:54187) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jyijP-00011k-9q for guix-patches@gnu.org; Thu, 23 Jul 2020 17:26:28 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 6CD562400FE for ; Thu, 23 Jul 2020 23:26:19 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1595539579; bh=sqP0l0sfU0y5MS0JBVOecBywPAAJtV0kFikG5SPOh3E=; h=Date:From:To:Cc:Subject:From; b=bFUWNQMWlcTUl0pLQS1h3Tm8sGxyoVb/oLkI2BmQxYy8ZAW+7TmZe3nHD5mbxrYy3 nMlsuXpUVCCjIvbTme7734um6nIqdkkKMumH0ZaQzRBcuJkroH4PB1mKgenKjnAnTG EZcDP+Js5MutRywF50cbtjn9TYXx+Z5NhiVYcCUrIjES+2XaZv2yeXkzdYwpaomwjL FyJEfCKCPwWvAM59u3NUKIjfrdXPWawzC6cInwWQY5zOHsBPWY4IJMVlUKm369Qryi K9/mLVZu0LRLuuxVdYUm3o5rkrnVQoaHVUzK2x0//T7ps3fOq9p6ORhbF/Pl4n/JK1 eLqluOtSHEhWg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4BCQPQ5L25z9rxM; Thu, 23 Jul 2020 23:26:18 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Date: Thu, 23 Jul 2020 23:26:18 +0200 From: brettg@posteo.net In-Reply-To: <87blk6f5ca.fsf@nckx> References: <20200723171431.22037.87914@vcs0.savannah.gnu.org> <87blk6f5ca.fsf@nckx> Message-ID: <2d864ed419cea063fb55b4618413534a@posteo.net> X-Sender: brettg@posteo.net User-Agent: Posteo Webmail Received-SPF: pass client-ip=185.67.36.66; envelope-from=brettg@posteo.net; helo=mout02.posteo.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/07/23 14:24:01 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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_MED=-2.3, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -2.3 (--) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=posteo.net header.s=2017 header.b=bFUWNQMW; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 3.10 X-TUID: tniGoon8Quex On 23.07.2020 20:34, Tobias Geerinckx-Rice via Guix-patches via wrote: > Hi Brett, >=20 > guix-commits@gnu.org =E5=86=99=E9=81=93=EF=BC=9A >> commit 7235ce224e3d20b5f73474cac2d3b34b50d754a5 >> Author: Brett Gilio >> AuthorDate: Thu Jul 23 12:13:59 2020 -0500 >>=20 >> gnu: Add mercury. >> * gnu/local.mk (GNU_SYSTEM_MODULES): Add mercury.scm. >> * gnu/packages/mercury.scm: New file. >=20 > Thanks! I'd close the bug but I'm unable to get past > mercury-minimal[0]. I suppose it's a permissions issue: the files in > question are -r--r--r--. >=20 >> + ((#:configure-flags flags ''()) >> + `(list "")) >=20 > Is this a weird work-around for something? If so, please add a > comment. If not, remove the "". >=20 > (=E2=80=98flags=E2=80=99 could be =E2=80=98_=E2=80=99 as in >=20 >> + ((#:tests? _) #f) ; FIXME: Many test-cases failing. >=20 > but that will change the hash.) >=20 > Kind regards, >=20 > T G-R Hi Tobias, Thank you for telling me. I thought I had gotten the=20 conditions just right, at least for the mercury-minimal compiler, but it seems there is more work to be done!=20 Yes, leave this bug open and I will investigate. I am trying my best to keep the changes=20 contained and well tested to my computers to prevent over-working the build server, so I appreciate=20 patience as mercury is turning out to be somewhat convoluted. :) If others are following the progress here, please feel free to post=20 suggestions and patches. I will have to investigate this probably tomorrow or over the weekend. Brett Gilio