From unknown Mon Aug 18 04:42:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#58495: opam import generates wrong check phase Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 13 Oct 2022 15:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 58495 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 58495@debbugs.gnu.org X-Debbugs-Original-To: Bug reports for GNU Guix Received: via spool by submit@debbugs.gnu.org id=B.166567515518879 (code B ref -1); Thu, 13 Oct 2022 15:33:01 +0000 Received: (at submit) by debbugs.gnu.org; 13 Oct 2022 15:32:35 +0000 Received: from localhost ([127.0.0.1]:34581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0CI-0004uQ-Tb for submit@debbugs.gnu.org; Thu, 13 Oct 2022 11:32:35 -0400 Received: from lists.gnu.org ([209.51.188.17]:38190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0CF-0004uH-2F for submit@debbugs.gnu.org; Thu, 13 Oct 2022 11:32:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56222) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0CE-0004Y0-Nn for bug-guix@gnu.org; Thu, 13 Oct 2022 11:32:30 -0400 Received: from mx0.riseup.net ([198.252.153.6]:46642) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0CC-0004EM-Qr for bug-guix@gnu.org; Thu, 13 Oct 2022 11:32:30 -0400 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4MpD6H5Gk0z9sFV for ; Thu, 13 Oct 2022 15:32:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1665675143; bh=CaTrl85RDifQymeSvwIIGL1mXESMbnzJjMUOa41yMvs=; h=From:To:Subject:Date:From; b=iBq9tzhJHcolgL8eai4QuBTlm33njfX/qKj228zYyNTYT0PhZJWpdS30Jj//7+GPz cULZZAjETeK1SHBkwMdA71GlXo85OG4DutV9f8iAYAwT2qHc409cDuUzh9kzqICugb FthXmSLNr0MY+nynl8/KpNeKZ8rM8S4eA9PtyD60= X-Riseup-User-ID: 9D05083C0F56909383495E0C62F67AEDA0749884040A369F21CE08CF97814A81 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4MpD6H07HLz5vW1 for ; Thu, 13 Oct 2022 15:32:22 +0000 (UTC) From: Csepp Date: Thu, 13 Oct 2022 17:03:43 +0200 Message-ID: <87sfjr4u4d.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@riseup.net; helo=mx0.riseup.net 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_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) So I'm working on building MirageOS unikernels with Guix, which means using the OPAM importer *a lot*, which unearths some very Fun TM bugs. Here is the first one: guix import opam mirage-clock The correct check phase is this: ``` (replace 'check (lambda* (#:key tests? #:allow-other-keys) (invoke "dune" "runtest" "--release"))) ``` From unknown Mon Aug 18 04:42:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#58495: opam import generates wrong check phase Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 13 Oct 2022 15:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58495 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 58495@debbugs.gnu.org, raingloom@riseup.net X-Debbugs-Original-To: bug-guix@gnu.org, Csepp , 58495@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.166567587820138 (code B ref -1); Thu, 13 Oct 2022 15:45:02 +0000 Received: (at submit) by debbugs.gnu.org; 13 Oct 2022 15:44:38 +0000 Received: from localhost ([127.0.0.1]:34622 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0Ny-0005Ek-D6 for submit@debbugs.gnu.org; Thu, 13 Oct 2022 11:44:38 -0400 Received: from lists.gnu.org ([209.51.188.17]:47318) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0Nw-0005Ea-MM for submit@debbugs.gnu.org; Thu, 13 Oct 2022 11:44:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33928) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0Nu-0003mL-9V for bug-guix@gnu.org; Thu, 13 Oct 2022 11:44:35 -0400 Received: from lepiller.eu ([89.234.186.109]:54692) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0Nn-00068z-H1 for bug-guix@gnu.org; Thu, 13 Oct 2022 11:44:32 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 4c902d00; Thu, 13 Oct 2022 15:44:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=4Y0IfMWfxj84 Wcqt8HdL/EDHU8ROvE5h340Ifiv3Z/c=; b=jc0wHIRTGLA4TbXQ6u2YbFIeWSOR 7IciReLNZyo3ZcEL90S0aVXOCyblR1z0cZHEQXrhD30rtpTnF3HLfOaemdEAyZA2 fX+2XD8DPXd30PWmI1jxEbxJjOXYxpuwVydbkJc34oP6f4+2dKc0kDmjV/cicjcz CF+rLIQYznoc781oUDyMO6Q651UyqfijkP0mVJp0QgvYuLtvYM5+tpfUMhEuK69i G8SXQHVDFR5gyA8NwSClZ/1c7ofT/HxxZMFlyhw89Qb7wqXNMeS7MzZkqafVC6L5 KqhVz/F/g7c9mAzRxsr7UF8Cug8/ZQMz30DiKJui4xXU/oEfysdS75fKnw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 92605018 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Thu, 13 Oct 2022 15:44:22 +0000 (UTC) Date: Thu, 13 Oct 2022 17:44:22 +0200 From: Julien Lepiller User-Agent: K-9 Mail for Android In-Reply-To: <87sfjr4u4d.fsf@riseup.net> References: <87sfjr4u4d.fsf@riseup.net> Message-ID: <3E409553-8EA9-42E5-A9A0-BD22CCFE54C7@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=----OYHIMY5LAXH3J66FJ07D0DOZPEYKXM Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, HTML_MESSAGE=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-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 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 (--) ------OYHIMY5LAXH3J66FJ07D0DOZPEYKXM Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Maybe this could be fixed in the dune-build-system? Le 13 octobre 2022 17:03:43 GMT+02:00, Csepp a = =C3=A9crit=C2=A0: >So I'm working on building MirageOS unikernels with Guix, which means >using the OPAM importer *a lot*, which unearths some very Fun TM bugs=2E >Here is the first one: > >guix import opam mirage-clock > >The correct check phase is this: >``` >(replace 'check > (lambda* (#:key tests? #:allow-other-keys) > (invoke "dune" "runtest" "--release"))) >``` > > > ------OYHIMY5LAXH3J66FJ07D0DOZPEYKXM Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Maybe this could be fixed in the dune-build-system= ?

Le 13 octobre 2022 17:03:43 GMT+02:00, = Csepp <raingloom@riseup=2Enet> a =C3=A9crit=C2=A0:
So I'm working on building MirageOS uni=
kernels with Guix, which means
using the OPAM importer *a lot*, which un=
earths some very Fun TM bugs=2E
Here is the first one:

guix impor=
t opam mirage-clock

The correct check phase is this:
```
(repl=
ace 'check
           (lambda* (#:key tests? #:allow-other-keys)
    =
         (invoke "dune" "runtest" "--release")))
```



------OYHIMY5LAXH3J66FJ07D0DOZPEYKXM-- From unknown Mon Aug 18 04:42:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#58495: opam import generates wrong check phase Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 13 Oct 2022 16:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58495 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Julien Lepiller Cc: 58495@debbugs.gnu.org, raingloom@riseup.net X-Debbugs-Original-Cc: 58495@debbugs.gnu.org, bug-guix@gnu.org, Csepp Received: via spool by submit@debbugs.gnu.org id=B.166567782023869 (code B ref -1); Thu, 13 Oct 2022 16:17:02 +0000 Received: (at submit) by debbugs.gnu.org; 13 Oct 2022 16:17:00 +0000 Received: from localhost ([127.0.0.1]:34707 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0tH-0006Ct-Vx for submit@debbugs.gnu.org; Thu, 13 Oct 2022 12:17:00 -0400 Received: from lists.gnu.org ([209.51.188.17]:40074) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0tG-0006Cg-PA for submit@debbugs.gnu.org; Thu, 13 Oct 2022 12:16:59 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47728) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0tD-0007Qi-Gt for bug-guix@gnu.org; Thu, 13 Oct 2022 12:16:56 -0400 Received: from mx1.riseup.net ([198.252.153.129]:56288) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0tB-0003Ol-Sq for bug-guix@gnu.org; Thu, 13 Oct 2022 12:16:54 -0400 Received: from fews2.riseup.net (fews2-pn.riseup.net [10.0.1.84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4MpF5c4WBLzDrQC; Thu, 13 Oct 2022 16:16:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1665677812; bh=KfP/gJ9Pd8d9ZbHjUkUeNVmwqiiwWK6IYKWBnYENEOM=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=htXkjBT3aFBREwYBvqJ5WgywlV2AFGf1OO6EvSPy+dMWJXxo9laFklbi2oKMNMqsJ IYCEDM1cr81qoN94fUGv4J/Ma0bpFxg/U7mdHRRMzNY4HKO+ps/K3gHUdVq6CHxtig Lj67taRnBdzpsiNgvUY8j2Fp8QlWW//6UzE3DgWU= X-Riseup-User-ID: 40504EBBE9573C5A7594C57192354BE26F647C5943037370B4E6BB872FC87B66 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews2.riseup.net (Postfix) with ESMTPSA id 4MpF5b6F0Rz1yRB; Thu, 13 Oct 2022 16:16:51 +0000 (UTC) References: <87sfjr4u4d.fsf@riseup.net> <3E409553-8EA9-42E5-A9A0-BD22CCFE54C7@lepiller.eu> From: Csepp Date: Thu, 13 Oct 2022 18:16:18 +0200 In-reply-to: <3E409553-8EA9-42E5-A9A0-BD22CCFE54C7@lepiller.eu> Message-ID: <878rlj4s28.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net 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, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) Julien Lepiller writes: > Maybe this could be fixed in the dune-build-system? > Actually, good call. I'll look into it, unless you want to take a stab at it. From unknown Mon Aug 18 04:42:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#58495: opam import generates wrong check phase Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 28 Jan 2023 12:26:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58495 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Csepp Cc: 58495@debbugs.gnu.org X-Debbugs-Original-Cc: 58495@debbugs.gnu.org, bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16749087323747 (code B ref -1); Sat, 28 Jan 2023 12:26:01 +0000 Received: (at submit) by debbugs.gnu.org; 28 Jan 2023 12:25:32 +0000 Received: from localhost ([127.0.0.1]:39766 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkGy-0000yM-6g for submit@debbugs.gnu.org; Sat, 28 Jan 2023 07:25:32 -0500 Received: from lists.gnu.org ([209.51.188.17]:42680) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkGv-0000yE-Qc for submit@debbugs.gnu.org; Sat, 28 Jan 2023 07:25:30 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pLkGv-0005aQ-Gm for bug-guix@gnu.org; Sat, 28 Jan 2023 07:25:29 -0500 Received: from lepiller.eu ([89.234.186.109]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pLkGt-0000Qa-UO for bug-guix@gnu.org; Sat, 28 Jan 2023 07:25:29 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 1f078e4d; Sat, 28 Jan 2023 12:25:21 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=m+P+IOlscqpE X71B7cNFu5PJ+nd1X+1qQEkKe0GlHq8=; b=T3+XMWfh09koXpGEyydK7l6/7KRU va7zxJVwfcMjUSkpUK9Sn6BZPfuzb+84LeCnF4mYoRyc5FAEboul2ye4Uqwjx0sO 8hPNTjlFrUSaxMS50+VKfDUTMn4kOEl1orS90AbikSyoK0kutD+sIHmSR78eVvZg 95VfFVupbQJnfiWlETRAY0McG1tg4zVby9qxqg++1FfaGWsG0ZCrdc+HAwlkjy3S MbkuxArNwK/fid/oB8dpqqL25F/oEsficnjzjnp+67ZBpG7yZHe47YYydFJkpDqq 8CF78GGoW/C41R5Ufcd8BLmL3y4VRNSQ2zCrzUbuTvjjiBr/CDqlT1tzLg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 9ef66872 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 28 Jan 2023 12:25:21 +0000 (UTC) Date: Sat, 28 Jan 2023 13:25:19 +0100 From: Julien Lepiller Message-ID: <20230128132519.28a85205@sybil.lepiller.eu> In-Reply-To: <878rlj4s28.fsf@riseup.net> References: <87sfjr4u4d.fsf@riseup.net> <3E409553-8EA9-42E5-A9A0-BD22CCFE54C7@lepiller.eu> <878rlj4s28.fsf@riseup.net> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, SPF_HELO_PASS=-0.001, SPF_PASS=-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 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 (--) Le Thu, 13 Oct 2022 18:16:18 +0200, Csepp a =C3=A9crit : > Julien Lepiller writes: >=20 > > Maybe this could be fixed in the dune-build-system? > > =20 > Actually, good call. I'll look into it, unless you want to take a > stab at it. With the test-target argument removed, do you consider this fixed? From unknown Mon Aug 18 04:42:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#58495: opam import generates wrong check phase Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 28 Jan 2023 19:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58495 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Julien Lepiller Cc: 58495@debbugs.gnu.org, raingloom@riseup.net X-Debbugs-Original-Cc: 58495@debbugs.gnu.org, bug-guix@gnu.org, Csepp Received: via spool by submit@debbugs.gnu.org id=B.167493416319671 (code B ref -1); Sat, 28 Jan 2023 19:30:02 +0000 Received: (at submit) by debbugs.gnu.org; 28 Jan 2023 19:29:23 +0000 Received: from localhost ([127.0.0.1]:41600 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLqt9-00057C-B4 for submit@debbugs.gnu.org; Sat, 28 Jan 2023 14:29:23 -0500 Received: from lists.gnu.org ([209.51.188.17]:33878) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLqt5-00056w-NU for submit@debbugs.gnu.org; Sat, 28 Jan 2023 14:29:21 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pLqt5-0003Ny-A7 for bug-guix@gnu.org; Sat, 28 Jan 2023 14:29:19 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pLqt3-00024V-PJ for bug-guix@gnu.org; Sat, 28 Jan 2023 14:29:18 -0500 Received: from fews2.riseup.net (fews2-pn.riseup.net [10.0.1.84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4P44JC38QnzDrQM; Sat, 28 Jan 2023 19:29:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1674934155; bh=lt+AF1doLLqcXzWcOkw9wZeOiOPx0YMZI0+Yjp/YyB8=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=MRbvHdwbykL37JiOqN25iVtYZb9ekqLSfGZJp+Mv6J64snP47XB/fu6ElhALgGxoW xbpNxAPYQgXHGexLGEXBN+icldjS2fRtg5NJ1DTXWqZ8eUXD9wq7uRmXAMWh9MtXN+ mk/SKxFq3OGGuYd4hBogzryMK3hWJFMbuiz4tAQs= X-Riseup-User-ID: 17C60E6780169379A7C35B437345B07C36A88226C20DE291E57ECD6CB9DF822E Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews2.riseup.net (Postfix) with ESMTPSA id 4P44JB3yg2z1y9N; Sat, 28 Jan 2023 19:29:14 +0000 (UTC) References: <87sfjr4u4d.fsf@riseup.net> <3E409553-8EA9-42E5-A9A0-BD22CCFE54C7@lepiller.eu> <878rlj4s28.fsf@riseup.net> <20230128132519.28a85205@sybil.lepiller.eu> From: Csepp Date: Sat, 28 Jan 2023 20:28:59 +0100 In-reply-to: <20230128132519.28a85205@sybil.lepiller.eu> Message-ID: <87edrebgqh.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net 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, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) Julien Lepiller writes: > Le Thu, 13 Oct 2022 18:16:18 +0200, > Csepp a =C3=A9crit : > >> Julien Lepiller writes: >>=20 >> > Maybe this could be fixed in the dune-build-system? >> >=20=20 >> Actually, good call. I'll look into it, unless you want to take a >> stab at it. > > With the test-target argument removed, do you consider this fixed? Yup, it's fixed now, thanks for closing these. From unknown Mon Aug 18 04:42:57 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Csepp Subject: bug#58495: closed (Re: bug#58495: opam import generates wrong check phase) Message-ID: References: <20230128220606.69a7a456@sybil.lepiller.eu> <87sfjr4u4d.fsf@riseup.net> X-Gnu-PR-Message: they-closed 58495 X-Gnu-PR-Package: guix Reply-To: 58495@debbugs.gnu.org Date: Sat, 28 Jan 2023 21:07:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1674940022-29239-1" This is a multi-part message in MIME format... ------------=_1674940022-29239-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #58495: opam import generates wrong check phase which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 58495@debbugs.gnu.org. --=20 58495: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D58495 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1674940022-29239-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 58495-close) by debbugs.gnu.org; 28 Jan 2023 21:06:12 +0000 Received: from localhost ([127.0.0.1]:41651 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLsOp-0007aY-Mf for submit@debbugs.gnu.org; Sat, 28 Jan 2023 16:06:11 -0500 Received: from lepiller.eu ([89.234.186.109]:59218) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLsOo-0007aP-1C for 58495-close@debbugs.gnu.org; Sat, 28 Jan 2023 16:06:11 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id eb57dbc2; Sat, 28 Jan 2023 21:06:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=bHuWslSUPcgx +sKxb9Pxzk77SqQRd4zzsy3utRqqHMI=; b=Mt2XntKXsIh6jdUifZp4xNIEPMQk r+qTIRnpBRYomRFxcLMXGIsK0jQkbKiaUIntvB0On45j+L/2dVtGe/KP1zkrV0Mo bo0PALvkHwvKmTg/AQkcc1rq/NA7MTdI2VqqOK2NT3L72Vc5v4jn1iOBhrICXZzM lNh14phKJRErJ1hQUaw5hO7zQp2ZqvpRR6oTkzV+cIv3IYcrcC53JwIOVCq6ln9J ImjoFDJgLuBcTz9LZYDsGD7mBepLZiinjQekSfpc+0lamcN5pvTH9U07wS0NVtLx 8ajfwqBIHEOhwTosiZqTvCfNKDpBiNG798hGnqHBqDVIBkPjDLGeCq4sZg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 32d312fd (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 28 Jan 2023 21:06:07 +0000 (UTC) Date: Sat, 28 Jan 2023 22:06:06 +0100 From: Julien Lepiller To: Csepp Subject: Re: bug#58495: opam import generates wrong check phase Message-ID: <20230128220606.69a7a456@sybil.lepiller.eu> In-Reply-To: <87edrebgqh.fsf@riseup.net> References: <87sfjr4u4d.fsf@riseup.net> <3E409553-8EA9-42E5-A9A0-BD22CCFE54C7@lepiller.eu> <878rlj4s28.fsf@riseup.net> <20230128132519.28a85205@sybil.lepiller.eu> <87edrebgqh.fsf@riseup.net> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 58495-close Cc: 58495-close@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: -1.0 (-) Le Sat, 28 Jan 2023 20:28:59 +0100, Csepp a =C3=A9crit : > Julien Lepiller writes: >=20 > > Le Thu, 13 Oct 2022 18:16:18 +0200, > > Csepp a =C3=A9crit : > > =20 > >> Julien Lepiller writes: > >> =20 > >> > Maybe this could be fixed in the dune-build-system? > >> > =20 > >> Actually, good call. I'll look into it, unless you want to take a > >> stab at it. =20 > > > > With the test-target argument removed, do you consider this fixed? =20 >=20 > Yup, it's fixed now, thanks for closing these. Closing, thanks ------------=_1674940022-29239-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 13 Oct 2022 15:32:35 +0000 Received: from localhost ([127.0.0.1]:34581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0CI-0004uQ-Tb for submit@debbugs.gnu.org; Thu, 13 Oct 2022 11:32:35 -0400 Received: from lists.gnu.org ([209.51.188.17]:38190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oj0CF-0004uH-2F for submit@debbugs.gnu.org; Thu, 13 Oct 2022 11:32:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56222) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0CE-0004Y0-Nn for bug-guix@gnu.org; Thu, 13 Oct 2022 11:32:30 -0400 Received: from mx0.riseup.net ([198.252.153.6]:46642) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oj0CC-0004EM-Qr for bug-guix@gnu.org; Thu, 13 Oct 2022 11:32:30 -0400 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4MpD6H5Gk0z9sFV for ; Thu, 13 Oct 2022 15:32:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1665675143; bh=CaTrl85RDifQymeSvwIIGL1mXESMbnzJjMUOa41yMvs=; h=From:To:Subject:Date:From; b=iBq9tzhJHcolgL8eai4QuBTlm33njfX/qKj228zYyNTYT0PhZJWpdS30Jj//7+GPz cULZZAjETeK1SHBkwMdA71GlXo85OG4DutV9f8iAYAwT2qHc409cDuUzh9kzqICugb FthXmSLNr0MY+nynl8/KpNeKZ8rM8S4eA9PtyD60= X-Riseup-User-ID: 9D05083C0F56909383495E0C62F67AEDA0749884040A369F21CE08CF97814A81 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4MpD6H07HLz5vW1 for ; Thu, 13 Oct 2022 15:32:22 +0000 (UTC) From: Csepp To: Bug reports for GNU Guix Subject: opam import generates wrong check phase Date: Thu, 13 Oct 2022 17:03:43 +0200 Message-ID: <87sfjr4u4d.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@riseup.net; helo=mx0.riseup.net 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_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit 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 (--) So I'm working on building MirageOS unikernels with Guix, which means using the OPAM importer *a lot*, which unearths some very Fun TM bugs. Here is the first one: guix import opam mirage-clock The correct check phase is this: ``` (replace 'check (lambda* (#:key tests? #:allow-other-keys) (invoke "dune" "runtest" "--release"))) ``` ------------=_1674940022-29239-1--