From unknown Wed Jun 18 23:11:13 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#58495 <58495@debbugs.gnu.org> To: bug#58495 <58495@debbugs.gnu.org> Subject: Status: opam import generates wrong check phase Reply-To: bug#58495 <58495@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:11:13 +0000 retitle 58495 opam import generates wrong check phase reassign 58495 guix submitter 58495 Csepp severity 58495 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 13 11:32:35 2022 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"))) ``` From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 13 11:44:38 2022 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 To: bug-guix@gnu.org, Csepp , 58495@debbugs.gnu.org Subject: Re: bug#58495: opam import generates wrong check phase 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-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.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 debbugs-submit-bounces@debbugs.gnu.org Thu Oct 13 12:17:00 2022 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 To: Julien Lepiller Subject: Re: bug#58495: opam import generates wrong check phase 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-Debbugs-Envelope-To: submit Cc: 58495@debbugs.gnu.org, bug-guix@gnu.org, Csepp 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 debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 07:25:32 2023 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 To: Csepp Subject: Re: bug#58495: opam import generates wrong check phase 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-Debbugs-Envelope-To: submit Cc: 58495@debbugs.gnu.org, bug-guix@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 (--) 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 debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 14:29:23 2023 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 To: Julien Lepiller Subject: Re: bug#58495: opam import generates wrong check phase 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-Debbugs-Envelope-To: submit Cc: 58495@debbugs.gnu.org, bug-guix@gnu.org, Csepp 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 debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 16:06:11 2023 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 From unknown Wed Jun 18 23:11:13 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 26 Feb 2023 12: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