From unknown Fri Jun 20 19:49: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#63893 <63893@debbugs.gnu.org> To: bug#63893 <63893@debbugs.gnu.org> Subject: Status: [PATCH v3 2/2] gnu: nix: Update to 2.16.1 Reply-To: bug#63893 <63893@debbugs.gnu.org> Date: Sat, 21 Jun 2025 02:49:13 +0000 retitle 63893 [PATCH v3 2/2] gnu: nix: Update to 2.16.1 reassign 63893 guix-patches submitter 63893 Zhu Zihao severity 63893 normal tag 63893 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 04 12:31:07 2023 Received: (at submit) by debbugs.gnu.org; 4 Jun 2023 16:31:07 +0000 Received: from localhost ([127.0.0.1]:46978 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qdH-0006z3-5n for submit@debbugs.gnu.org; Sun, 04 Jun 2023 12:31:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:56178) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qdE-0006yt-Jq for submit@debbugs.gnu.org; Sun, 04 Jun 2023 12:31:06 -0400 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 1q5qcx-0001eo-QY for guix-patches@gnu.org; Sun, 04 Jun 2023 12:31:02 -0400 Received: from m12.mail.163.com ([220.181.12.199]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q5qcv-000081-13 for guix-patches@gnu.org; Sun, 04 Jun 2023 12:30:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version: Content-Type; bh=2YM7wwwK87cL4ACqoJ49reNxRmxzgFh6zM/W+kDkerc=; b=TvGEBBDfFBeIQEDib5GJQ0r4nOBGCLi3i36hsGFk1xV2umIsdNlyquBEHn9rmU fJGSr5GJQl8WDitcqTgg5h4gdWCTxvy7s9z1Mpkp6bCR5uYI9wovtxgw2PyuZX1R GlgdieNQ9SebFYPUYbp7aUf76SmdWFwPSXR8Co5RbpVzU= Received: from asus-laptop (unknown [218.18.128.204]) by zwqz-smtp-mta-g1-2 (Coremail) with SMTP id _____wDX5pYmvHxkTzwHBg--.56687S2; Mon, 05 Jun 2023 00:30:36 +0800 (CST) User-agent: mu4e 1.10.2; emacs 30.0.50 From: Zhu Zihao To: guix-patches@gnu.org Subject: [PATCH]: gnu: nix: Update to 2.16.0. Date: Mon, 05 Jun 2023 00:29:51 +0800 Message-ID: <86o7lvfaw1.fsf@163.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-CM-TRANSID: _____wDX5pYmvHxkTzwHBg--.56687S2 X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU7xwIDUUUU X-Originating-IP: [218.18.128.204] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/1tbiKQeEr1Xl5+GcQAABsu Received-SPF: pass client-ip=220.181.12.199; envelope-from=all_but_last@163.com; helo=m12.mail.163.com X-Spam_score_int: -3 X-Spam_score: -0.4 X-Spam_bar: / X-Spam_report: (-0.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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_BL=0.01, RCVD_IN_MSPIKE_L4=1.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no 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 (--) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable This is a series of patch update nix to 2.16.0. =2D-=20 Retrieve my PGP public key: gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC Zihao --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIsEARYIADMWIQT4UAIrVkIEZilSHr2K2nJqP6LM8gUCZHy8HhUcYWxsX2J1dF9s YXN0QDE2My5jb20ACgkQitpyaj+izPJD7wD+JySetnMPbjIuTxquXs3rjN/IBmay eSBrT0ZYJX3uQvUA/1aiV7IzmWqA9WE7FOf3aqgMt55qTQbQr/og0d6dNcoG =ul6j -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 04 12:35:36 2023 Received: (at 63893) by debbugs.gnu.org; 4 Jun 2023 16:35:36 +0000 Received: from localhost ([127.0.0.1]:46983 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qhb-00076K-RD for submit@debbugs.gnu.org; Sun, 04 Jun 2023 12:35:36 -0400 Received: from m12.mail.163.com ([220.181.12.215]:39456) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qhZ-00076A-Bl for 63893@debbugs.gnu.org; Sun, 04 Jun 2023 12:35:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-Id:MIME-Version; bh=IWx5Y XtX6YqwBW5FYbf8NOKEvmyjcd748djxxHzQZN0=; b=SkLpSAUwXylx+j6aCpWHC La6q4ax5ycCiUqyDVTjnGjMsT/FNtju3yu5kn6wm9TjbTR/1L40DMtTG0rOKqx7s Xk7UYP6qzHQmJvvxURtLWgXPEkyvvzplGTw4ndSrwnhgtki3gJhD0/uaudqdjlcn P3qTe2joXHsmdsVNtfJ1Dk= Received: from localhost.localdomain (unknown [218.18.128.204]) by zwqz-smtp-mta-g0-4 (Coremail) with SMTP id _____wDHja5DvXxk7JnuBQ--.64956S4; Mon, 05 Jun 2023 00:35:28 +0800 (CST) From: Zhu Zihao To: 63893@debbugs.gnu.org Subject: [PATCH 3/3] gnu: nix: Use HTTPS for package source. Date: Mon, 5 Jun 2023 00:34:34 +0800 Message-Id: <8d460978346295701104f12ea7c0877594ca89ea.1685896014.git.all_but_last@163.com> X-Mailer: git-send-email 2.40.1 In-Reply-To: <89f7dfb39f6e4010d962b392772409c756f0e562.1685896014.git.all_but_last@163.com> References: <89f7dfb39f6e4010d962b392772409c756f0e562.1685896014.git.all_but_last@163.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CM-TRANSID: _____wDHja5DvXxk7JnuBQ--.64956S4 X-Coremail-Antispam: 1Uf129KBjvdXoW7Wr1kJryfCw1DZw1UuF15Arb_yoWxCrc_uF Z7Jrn2gwsYgrWDKw4rt3WIy345WF4UXF42k3WUtFWv9F1fZrWDWF1DCry7JF1kCa1Uta4F 9rZ8GryUZryrujkaLaAFLSUrUUUUUb8apTn2vfkv8UJUUUU8Yxn0WfASr-VFAUDa7-sFnT 9fnUUvcSsGvfC2KfnxnUUI43ZEXa7xRNdb1DUUUUU== X-Originating-IP: [218.18.128.204] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBaxCEr1et9FT+iAABs9 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: Zhu Zihao 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 (-) * gnu/packages/package-management.scm (nix)[source]: Use HTTPS. --- gnu/packages/package-management.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-management.scm index 238914a955..9c51c3275d 100644 --- a/gnu/packages/package-management.scm +++ b/gnu/packages/package-management.scm @@ -736,7 +736,7 @@ (define-public nix (origin (method git-fetch) (uri (git-reference - (url "http://github.com/NixOS/nix") + (url "https://github.com/NixOS/nix") (commit version))) (file-name (git-file-name name version)) (sha256 -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 04 12:38:41 2023 Received: (at 63893) by debbugs.gnu.org; 4 Jun 2023 16:38:41 +0000 Received: from localhost ([127.0.0.1]:46993 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qkb-0007CA-02 for submit@debbugs.gnu.org; Sun, 04 Jun 2023 12:38:41 -0400 Received: from m12.mail.163.com ([220.181.12.198]:47916) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qkY-0007Bx-9f for 63893@debbugs.gnu.org; Sun, 04 Jun 2023 12:38:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version: Content-Type; bh=aU06koCDI5891LNEVvzgZoPTF+TBjXfk8Mj3sPhlaf0=; b=aVNUdMZL5MTTeO7uS9fIj84VqFRorEOTB61LnSmX4p1vPh/hTiPsJSLAkXOLr9 ROHxr3UvixR0F5/Fk+7g8fagBpAp/XsVKOoXKsDAvD5cvWVT+5uIPNFB+DQ3A+SI seOh2/6Sv3BLbfmBsLXWPUiIvis0yzP22fo/Rd0OykEnQ= Received: from asus-laptop (unknown [218.18.128.204]) by zwqz-smtp-mta-g2-0 (Coremail) with SMTP id _____wDHcyEDvnxkZgq8BQ--.50236S2; Mon, 05 Jun 2023 00:38:33 +0800 (CST) References: <86o7lvfaw1.fsf@163.com> User-agent: mu4e 1.10.2; emacs 30.0.50 From: Zhu Zihao To: 63893@debbugs.gnu.org Subject: Re: bug#63893: Acknowledgement ([PATCH]: gnu: nix: Update to 2.16.0.) Date: Mon, 05 Jun 2023 00:37:59 +0800 In-reply-to: Message-ID: <86edmrfait.fsf@163.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-CM-TRANSID: _____wDHcyEDvnxkZgq8BQ--.50236S2 X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxUbbyZUUUUU X-Originating-IP: [218.18.128.204] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBawuEr1et9FUCXgAAsM X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 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 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable This patch should close https://issues.guix.gnu.org/63546 =2D-=20 Retrieve my PGP public key: gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC Zihao --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIsEARYIADMWIQT4UAIrVkIEZilSHr2K2nJqP6LM8gUCZHy9+xUcYWxsX2J1dF9s YXN0QDE2My5jb20ACgkQitpyaj+izPL89wD6ArGvpk/FRbaXZ8dlNG2wbdIwaJqv kIqFr1C0TWbukEMA/05VBoD58SUmXxvIeyiKKhlh4EEOJcZDi88pqxHxDhoK =Xktr -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 04 12:42:59 2023 Received: (at 63893) by debbugs.gnu.org; 4 Jun 2023 16:42:59 +0000 Received: from localhost ([127.0.0.1]:46997 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qok-0007In-L0 for submit@debbugs.gnu.org; Sun, 04 Jun 2023 12:42:58 -0400 Received: from m12.mail.163.com ([220.181.12.214]:52752) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qoi-0007Ib-5x for 63893@debbugs.gnu.org; Sun, 04 Jun 2023 12:42:57 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-Id:MIME-Version: Content-Type; bh=Bi8nQKZOnflryU0OQpWZwBEuFtA9BOly3bO2BAF46nA=; b=GZh8HZCaxMBg5Pz8N4ZgL8C6ZK+wbi3o3hfeI+TKh8z42gWgVmBeEIUIHIatFo Jrz+7y0SjeQzNY9130kBg+Oac4WOghCDp0/S5Nr0Nt1f8jEVOohSTRrchk5qEvn7 KBVgEqoydLOWFsb5VNrVXAt9p0/9XKx9jn3unE3pMFMdo= Received: from localhost.localdomain (unknown [218.18.128.204]) by zwqz-smtp-mta-g2-1 (Coremail) with SMTP id _____wDX3ir7vnxk4aXdBQ--.14774S2; Mon, 05 Jun 2023 00:42:51 +0800 (CST) From: Zhu Zihao To: 63893@debbugs.gnu.org Subject: [PATCH 1/3] gnu: Add rapidcheck. Date: Mon, 5 Jun 2023 00:41:53 +0800 Message-Id: <89f7dfb39f6e4010d962b392772409c756f0e562.1685896014.git.all_but_last@163.com> X-Mailer: git-send-email 2.40.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-CM-TRANSID: _____wDX3ir7vnxk4aXdBQ--.14774S2 X-Coremail-Antispam: 1Uf129KBjvJXoW7ZrWDuw1fCryrZw4rGw4kWFg_yoW8Kr4UpF 40kw4Y9w48Gr93J3ySqF10vryYq3s3JF1qy3yfAF40kw4Yg3y0qrWfKrW5GF17Xr4xC3W7 Xa15Wa1UCFWUGFJanT9S1TB71UUUUU7qnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDUYxBIdaVFxhVjvjDU0xZFpf9x0pME_MLUUUUU= X-Originating-IP: [218.18.128.204] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBawuEr1et9FUCXgABsN X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: Zhu Zihao 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 (-) * gnu/packages/check.scm (rapidcheck): New variable. --- gnu/packages/check.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 87728fefa3..470d8c52fa 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -43,6 +43,7 @@ ;;; Copyright © 2022 jgart ;;; Copyright © 2023 Luis Felipe López Acevedo ;;; Copyright © 2023 Timo Wilken +;;; Copyright © 2023 Zhu Zihao ;;; ;;; This file is part of GNU Guix. ;;; @@ -3198,6 +3199,46 @@ (define-public libfaketime provides a simple way to achieve this.") (license license:gpl2))) +(define-public rapidcheck + (let ((commit "a5724ea5b0b00147109b0605c377f1e54c353ba2") + (revision "0")) + (package + (name "rapidcheck") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri + (git-reference + (url "https://github.com/emil-e/rapidcheck") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0f2dmsym8ibnwkaidxmgp73mg0sdniwsyn6ppskh74246h29bbcy")))) + (arguments + (list + #:tests? #f ;require fetching submodules + #:configure-flags #~(list "-DCMAKE_POSITION_INDEPENDENT_CODE=ON") + #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-extra-headers + (lambda _ + (with-directory-excursion "../source/extras" + (for-each + (lambda (dir) + (let ((dir (string-append dir "/include/rapidcheck/")) + (dest (string-append #$output + "/include/rapidcheck"))) + (copy-recursively dir dest))) + '("boost" "boost_test" "catch" "gmock" "gtest")))))))) + (build-system cmake-build-system) + (home-page "https://github.com/emil-e/rapidcheck") + (synopsis "Property based testing framework for C++") + (description "Rapidcheck is a property based testing framework for C++. +It works by generating random data to try and find a case breaks your given +pre-condition.") + (license license:bsd-2)))) + (define-public umockdev (package (name "umockdev") base-commit: ae04b3996be99c89142866afdbba5151099b2064 -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 04 12:44:46 2023 Received: (at 63893) by debbugs.gnu.org; 4 Jun 2023 16:44:46 +0000 Received: from localhost ([127.0.0.1]:47001 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qqU-0007Lo-5X for submit@debbugs.gnu.org; Sun, 04 Jun 2023 12:44:46 -0400 Received: from m12.mail.163.com ([220.181.12.199]:38076) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q5qqQ-0007Lc-Td for 63893@debbugs.gnu.org; Sun, 04 Jun 2023 12:44:44 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-Id:MIME-Version: Content-Type; bh=ZsRtjkHRgjnzD2OxmyzWD+YAvc8ugauDk0fr27AXFMU=; b=K/ZHvj/tgz21zkmZkueiSyeEdQehgtQv24mceI8d87P1yKeHqcF97CgeeztLEl RpVEqvxKThZiQv5dx0NVdlTwt1Khop+fwjouL1UFi2j9zblQg352PmBFKzyVXk5S cQwWNzPgwmFWD8xXTaAGdI3dKbCtVD/EtWXEftNo9ngrc= Received: from localhost.localdomain (unknown [218.18.128.204]) by zwqz-smtp-mta-g3-3 (Coremail) with SMTP id _____wAXH7dsv3xk_BQgBg--.39500S2; Mon, 05 Jun 2023 00:44:34 +0800 (CST) From: Zhu Zihao To: 63893@debbugs.gnu.org Subject: [PATCH 2/3] gnu: nix: Update to 2.16.0. Date: Mon, 5 Jun 2023 00:43:46 +0800 Message-Id: <98e6750da44a63f49efedbeb602112552c496abc.1685896014.git.all_but_last@163.com> X-Mailer: git-send-email 2.40.1 In-Reply-To: <89f7dfb39f6e4010d962b392772409c756f0e562.1685896014.git.all_but_last@163.com> References: <89f7dfb39f6e4010d962b392772409c756f0e562.1685896014.git.all_but_last@163.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-CM-TRANSID: _____wAXH7dsv3xk_BQgBg--.39500S2 X-Coremail-Antispam: 1Uf129KBjvJXoWxuFWDur4fCw4rKFW8KFWUCFg_yoW7Zr4xpF WYvryrKw4kGayrAw1xWr1Ikr43X3s7AF9Fy3WYvr13Aw4jgw48tr9Iyrs8AF17Wa1xAw4x Cayaq3yUCa4rtrJanT9S1TB71UUUUU7qnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDUYxBIdaVFxhVjvjDU0xZFpf9x0pE4E_DUUUUU= X-Originating-IP: [218.18.128.204] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBaxeEr1et9FUKLgAAso X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: Zhu Zihao 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 (-) * gnu/packages/package-management.scm (nix): Update to 2.16.0. [inputs]: Add nlohmann-json. [native-inputs]: Add rapidcheck. [arguments]<#:phases>: In phase "check", change the value of environment variable "NIX_STORE" to "/nix/store" temporarily. * gnu/packages/patches/nix-dont-build-html-doc.diff: Update. --- gnu/packages/package-management.scm | 25 +++++++++++--- .../patches/nix-dont-build-html-doc.diff | 33 ++++++++++++++----- 2 files changed, 45 insertions(+), 13 deletions(-) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-management.scm index a856ff2726..238914a955 100644 --- a/gnu/packages/package-management.scm +++ b/gnu/packages/package-management.scm @@ -20,7 +20,7 @@ ;;; Copyright © 2021 Ivan Gankevich ;;; Copyright © 2021, 2022, 2023 Maxim Cournoyer ;;; Copyright © 2021 John Kehayias -;;; Copyright © 2022 Zhu Zihao +;;; Copyright © 2022, 2023 Zhu Zihao ;;; ;;; This file is part of GNU Guix. ;;; @@ -56,6 +56,7 @@ (define-module (gnu packages package-management) #:use-module (gnu packages compression) #:use-module (gnu packages cmake) #:use-module (gnu packages cpio) + #:use-module (gnu packages cpp) #:use-module (gnu packages crypto) #:use-module (gnu packages curl) #:use-module (gnu packages databases) @@ -730,7 +731,7 @@ (define-public guix-modules (define-public nix (package (name "nix") - (version "2.5.1") + (version "2.16.0") (source (origin (method git-fetch) @@ -739,7 +740,7 @@ (define-public nix (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "1m8rmv8i6lg83pmalvjlq1fn8mcghn3ngjv3kw1kqsa45ymj5sqq")) + (base32 "0jizpci4zspqpqqy3n780m4wh8dzhfywaiz953xv70c7in810dra")) (patches (search-patches "nix-dont-build-html-doc.diff")))) (build-system gnu-build-system) @@ -756,7 +757,19 @@ (define-public nix (apply invoke "make" "install" (string-append "sysconfdir=" etc) (string-append "profiledir=" etc "/profile.d") - make-flags))))))) + make-flags)))) + (replace 'check + (lambda args + ;; Some test expect environment variable NIX_STORE to be + ;; "/nix/store" + (let ((original-NIX_STORE (getenv "NIX_STORE"))) + (dynamic-wind + (lambda () + (setenv "NIX_STORE" "/nix/store")) + (lambda () + (apply (assoc-ref %standard-phases 'check) args)) + (lambda () + (setenv "NIX_STORE" original-NIX_STORE))))))))) (native-inputs (list autoconf autoconf-archive @@ -766,7 +779,8 @@ (define-public nix googletest jq libtool - pkg-config)) + pkg-config + rapidcheck)) (inputs (append (list boost brotli @@ -778,6 +792,7 @@ (define-public nix libseccomp libsodium lowdown + nlohmann-json openssl sqlite xz diff --git a/gnu/packages/patches/nix-dont-build-html-doc.diff b/gnu/packages/patches/nix-dont-build-html-doc.diff index 79142bc215..2eb45117b0 100644 --- a/gnu/packages/patches/nix-dont-build-html-doc.diff +++ b/gnu/packages/patches/nix-dont-build-html-doc.diff @@ -3,24 +3,41 @@ We can't simply disable it because we need manpages. Author: Zhu Zihao -diff --git a/doc/manual/local.mk b/doc/manual/local.mk -index e43d9f2fb..c323d1847 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk -@@ -69,8 +69,6 @@ $(d)/builtins.json: $(bindir)/nix +@@ -138,11 +138,6 @@ $(trace-gen) $(dummy-env) NIX_PATH=nix/corepkgs=corepkgs $(bindir)/nix __dump-builtins > $@.tmp @mv $@.tmp $@ -# Generate the HTML manual. +-.PHONY: manual-html +-manual-html: $(docdir)/manual/index.html -install: $(docdir)/manual/index.html - +- # Generate 'nix' manpages. install: $(mandir)/man1/nix3-manpages -@@ -94,7 +92,5 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli + man: doc/manual/generated/man1/nix3-manpages +@@ -167,23 +162,4 @@ done @touch $@ --$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/command-ref/conf-file.md $(d)/src/expressions/builtins.md $(call rwildcard, $(d)/src, *.md) -- $(trace-gen) RUST_LOG=warn mdbook build doc/manual -d $(DESTDIR)$(docdir)/manual - +-$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.jq $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/contributing/experimental-feature-descriptions.md $(d)/src/command-ref/conf-file.md $(d)/src/language/builtins.md +- $(trace-gen) \ +- tmp="$$(mktemp -d)"; \ +- cp -r doc/manual "$$tmp"; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- $(call process-includes,$$file,$$file); \ +- done; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- docroot="$$(realpath --relative-to="$$(dirname "$$file")" $$tmp/manual/src)"; \ +- sed -i "s,@docroot@,$$docroot,g" "$$file"; \ +- done; \ +- set -euo pipefail; \ +- RUST_LOG=warn mdbook build "$$tmp/manual" -d $(DESTDIR)$(docdir)/manual.tmp 2>&1 \ +- | { grep -Fv "because fragment resolution isn't implemented" || :; }; \ +- rm -rf "$$tmp/manual" +- @rm -rf $(DESTDIR)$(docdir)/manual +- @mv $(DESTDIR)$(docdir)/manual.tmp/html $(DESTDIR)$(docdir)/manual +- @rm -rf $(DESTDIR)$(docdir)/manual.tmp +- endif -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 11 10:11:49 2023 Received: (at 63893) by debbugs.gnu.org; 11 Jun 2023 14:11:49 +0000 Received: from localhost ([127.0.0.1]:37551 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8LnJ-0004V6-14 for submit@debbugs.gnu.org; Sun, 11 Jun 2023 10:11:49 -0400 Received: from mx2.dismail.de ([159.69.191.136]:23095) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8LnF-0004Ug-IW for 63893@debbugs.gnu.org; Sun, 11 Jun 2023 10:11:47 -0400 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 5a80ad2d; Sun, 11 Jun 2023 16:11:38 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:mime-version:content-type :content-transfer-encoding; s=20190914; bh=eswDNpDyLJdLq/7sNrpXN lJnOqc9RBk85Gi2W7Lmsyg=; b=q9886d/tGWFjeyCWoIIo0s1sRcpWeVB03/g4z YrWKGGa70XTckApyid4IVnQ+OBqeLCEjdsUzYsNfTVHz84du38uK+hlN7SpV90CR /xB/rfUNrIk0dxWetrZg+DSN4ac7RHLWJ2mhf4DEZvauSnVy5ZN8XRRiliC9Dw+a 2uxSkUJSdpTPMugugSuTNOVUkJ6HtPVBTUHCG1toaqFJhQD0v5wLgU1Q+1N3kR2X h9ljpNsYLiH9d3uI0utEsExchMpwVTdI2lluxj0OabY99tAMe13Ae2Ja+pIhlZk8 2PZwS7PIS4QC4ebc7/N+qd8OmXSRLCWFwpv9fowERytBIO8KQ== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 60dc195b; Sun, 11 Jun 2023 16:11:38 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id af92aae0; Sun, 11 Jun 2023 16:11:38 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id b535bae8 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 11 Jun 2023 16:11:37 +0200 (CEST) From: jgart To: 63893@debbugs.gnu.org Subject: [PATCH v2 1/2] gnu: Add rapidcheck. Date: Sun, 11 Jun 2023 09:11:10 -0500 Message-Id: X-Mailer: git-send-email 2.40.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 63893 Cc: jgart , Zhu Zihao 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: -3.3 (---) * gnu/packages/check.scm (rapidcheck): New variable. --- gnu/packages/check.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 87728fefa3..470d8c52fa 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -43,6 +43,7 @@ ;;; Copyright © 2022 jgart ;;; Copyright © 2023 Luis Felipe López Acevedo ;;; Copyright © 2023 Timo Wilken +;;; Copyright © 2023 Zhu Zihao ;;; ;;; This file is part of GNU Guix. ;;; @@ -3198,6 +3199,46 @@ (define-public libfaketime provides a simple way to achieve this.") (license license:gpl2))) +(define-public rapidcheck + (let ((commit "a5724ea5b0b00147109b0605c377f1e54c353ba2") + (revision "0")) + (package + (name "rapidcheck") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri + (git-reference + (url "https://github.com/emil-e/rapidcheck") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0f2dmsym8ibnwkaidxmgp73mg0sdniwsyn6ppskh74246h29bbcy")))) + (arguments + (list + #:tests? #f ;require fetching submodules + #:configure-flags #~(list "-DCMAKE_POSITION_INDEPENDENT_CODE=ON") + #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-extra-headers + (lambda _ + (with-directory-excursion "../source/extras" + (for-each + (lambda (dir) + (let ((dir (string-append dir "/include/rapidcheck/")) + (dest (string-append #$output + "/include/rapidcheck"))) + (copy-recursively dir dest))) + '("boost" "boost_test" "catch" "gmock" "gtest")))))))) + (build-system cmake-build-system) + (home-page "https://github.com/emil-e/rapidcheck") + (synopsis "Property based testing framework for C++") + (description "Rapidcheck is a property based testing framework for C++. +It works by generating random data to try and find a case breaks your given +pre-condition.") + (license license:bsd-2)))) + (define-public umockdev (package (name "umockdev") base-commit: 6fe9a004dba2d4ddf69ff6f1714af15ffaa7e62a -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 11 10:11:50 2023 Received: (at 63893) by debbugs.gnu.org; 11 Jun 2023 14:11:51 +0000 Received: from localhost ([127.0.0.1]:37553 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8LnK-0004VE-Br for submit@debbugs.gnu.org; Sun, 11 Jun 2023 10:11:50 -0400 Received: from mx2.dismail.de ([159.69.191.136]:23095) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8LnH-0004Ug-Jc for 63893@debbugs.gnu.org; Sun, 11 Jun 2023 10:11:48 -0400 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 2b18ea39; Sun, 11 Jun 2023 16:11:40 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=20190914; bh=ThEvcO3D WoYlrB3rQVlh4S+I2ZDHM6QbBbPw7b+LcmM=; b=WHFksfnJh8sRJNj9dIARQjUo Orluwv9tFZMZ/XSxzdAHwSs2y7bOVK7436r+4bQZ34J1S/4NmtGeDRrcioDw62I/ Wufuvw/BXyax0PDeEynOUuFCKy48bGNvK+9nJXSanKLzuHcW2PuOUxIIsHPMmHUf L5G6Z9s1FjOKMC5kgiaNnWeU9qRgQiTFi3PJNs3a+jNMvEqn30bsKWPosT//5WEI 0gOJbmsv8p7eZ/uKxaVo9dTDJAgdsdDBJvANlwz75FGJoFE1I27BVCxZXkq6/vbz oslHgakHhXTThYIlQ2Pi1FdYDhFUwzvo4rxlv9f18BFVt5oU6iH5bzC1AwpO7Q== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id cdbc4f5e; Sun, 11 Jun 2023 16:11:40 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 9e5b87da; Sun, 11 Jun 2023 16:11:39 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id b05b3717 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 11 Jun 2023 16:11:38 +0200 (CEST) From: jgart To: 63893@debbugs.gnu.org Subject: [PATCH v2 2/2] gnu: nix: Update to 2.16.1. Date: Sun, 11 Jun 2023 09:11:11 -0500 Message-Id: <3400f62ade7fcb01c0e119b62198d1baff42138d.1686492434.git.jgart@dismail.de> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 63893 Cc: jgart , Zhu Zihao 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: -3.3 (---) * gnu/packages/package-management.scm (nix): Update to 2.16.1. [source]: Use HTTPS for package source. [inputs]: Add nlohmann-json. [native-inputs]: Add rapidcheck. [arguments]<#:phases>: In phase "check", change the value of environment variable "NIX_STORE" to "/nix/store" temporarily. * gnu/packages/patches/nix-dont-build-html-doc.diff: Update. Co-authored-by: jgart --- Hi Zhu, Here's a v2 updating your patchset to use nix at 2.16.1. I also squashed the commit that uses HTTPS in the source field. all best, jgart gnu/packages/package-management.scm | 27 +++++++++++---- .../patches/nix-dont-build-html-doc.diff | 33 ++++++++++++++----- 2 files changed, 46 insertions(+), 14 deletions(-) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-management.scm index 4791880375..1dedfe5600 100644 --- a/gnu/packages/package-management.scm +++ b/gnu/packages/package-management.scm @@ -20,7 +20,7 @@ ;;; Copyright © 2021 Ivan Gankevich ;;; Copyright © 2021, 2022, 2023 Maxim Cournoyer ;;; Copyright © 2021 John Kehayias -;;; Copyright © 2022 Zhu Zihao +;;; Copyright © 2022, 2023 Zhu Zihao ;;; ;;; This file is part of GNU Guix. ;;; @@ -56,6 +56,7 @@ (define-module (gnu packages package-management) #:use-module (gnu packages compression) #:use-module (gnu packages cmake) #:use-module (gnu packages cpio) + #:use-module (gnu packages cpp) #:use-module (gnu packages crypto) #:use-module (gnu packages curl) #:use-module (gnu packages databases) @@ -731,16 +732,16 @@ (define-public guix-modules (define-public nix (package (name "nix") - (version "2.5.1") + (version "2.16.0") (source (origin (method git-fetch) (uri (git-reference - (url "http://github.com/NixOS/nix") + (url "https://github.com/NixOS/nix") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "1m8rmv8i6lg83pmalvjlq1fn8mcghn3ngjv3kw1kqsa45ymj5sqq")) + (base32 "0jizpci4zspqpqqy3n780m4wh8dzhfywaiz953xv70c7in810dra")) (patches (search-patches "nix-dont-build-html-doc.diff")))) (build-system gnu-build-system) @@ -757,7 +758,19 @@ (define-public nix (apply invoke "make" "install" (string-append "sysconfdir=" etc) (string-append "profiledir=" etc "/profile.d") - make-flags))))))) + make-flags)))) + (replace 'check + (lambda args + ;; Some test expect environment variable NIX_STORE to be + ;; "/nix/store" + (let ((original-NIX_STORE (getenv "NIX_STORE"))) + (dynamic-wind + (lambda () + (setenv "NIX_STORE" "/nix/store")) + (lambda () + (apply (assoc-ref %standard-phases 'check) args)) + (lambda () + (setenv "NIX_STORE" original-NIX_STORE))))))))) (native-inputs (list autoconf autoconf-archive @@ -767,7 +780,8 @@ (define-public nix googletest jq libtool - pkg-config)) + pkg-config + rapidcheck)) (inputs (append (list boost brotli @@ -779,6 +793,7 @@ (define-public nix libseccomp libsodium lowdown + nlohmann-json openssl sqlite xz diff --git a/gnu/packages/patches/nix-dont-build-html-doc.diff b/gnu/packages/patches/nix-dont-build-html-doc.diff index 79142bc215..2eb45117b0 100644 --- a/gnu/packages/patches/nix-dont-build-html-doc.diff +++ b/gnu/packages/patches/nix-dont-build-html-doc.diff @@ -3,24 +3,41 @@ We can't simply disable it because we need manpages. Author: Zhu Zihao -diff --git a/doc/manual/local.mk b/doc/manual/local.mk -index e43d9f2fb..c323d1847 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk -@@ -69,8 +69,6 @@ $(d)/builtins.json: $(bindir)/nix +@@ -138,11 +138,6 @@ $(trace-gen) $(dummy-env) NIX_PATH=nix/corepkgs=corepkgs $(bindir)/nix __dump-builtins > $@.tmp @mv $@.tmp $@ -# Generate the HTML manual. +-.PHONY: manual-html +-manual-html: $(docdir)/manual/index.html -install: $(docdir)/manual/index.html - +- # Generate 'nix' manpages. install: $(mandir)/man1/nix3-manpages -@@ -94,7 +92,5 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli + man: doc/manual/generated/man1/nix3-manpages +@@ -167,23 +162,4 @@ done @touch $@ --$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/command-ref/conf-file.md $(d)/src/expressions/builtins.md $(call rwildcard, $(d)/src, *.md) -- $(trace-gen) RUST_LOG=warn mdbook build doc/manual -d $(DESTDIR)$(docdir)/manual - +-$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.jq $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/contributing/experimental-feature-descriptions.md $(d)/src/command-ref/conf-file.md $(d)/src/language/builtins.md +- $(trace-gen) \ +- tmp="$$(mktemp -d)"; \ +- cp -r doc/manual "$$tmp"; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- $(call process-includes,$$file,$$file); \ +- done; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- docroot="$$(realpath --relative-to="$$(dirname "$$file")" $$tmp/manual/src)"; \ +- sed -i "s,@docroot@,$$docroot,g" "$$file"; \ +- done; \ +- set -euo pipefail; \ +- RUST_LOG=warn mdbook build "$$tmp/manual" -d $(DESTDIR)$(docdir)/manual.tmp 2>&1 \ +- | { grep -Fv "because fragment resolution isn't implemented" || :; }; \ +- rm -rf "$$tmp/manual" +- @rm -rf $(DESTDIR)$(docdir)/manual +- @mv $(DESTDIR)$(docdir)/manual.tmp/html $(DESTDIR)$(docdir)/manual +- @rm -rf $(DESTDIR)$(docdir)/manual.tmp +- endif -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 11 10:29:57 2023 Received: (at 63893) by debbugs.gnu.org; 11 Jun 2023 14:29:57 +0000 Received: from localhost ([127.0.0.1]:37591 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8M4r-00050T-2Q for submit@debbugs.gnu.org; Sun, 11 Jun 2023 10:29:57 -0400 Received: from mx1.dismail.de ([78.46.223.134]:13919) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8M4n-000503-O8 for 63893@debbugs.gnu.org; Sun, 11 Jun 2023 10:29:55 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 2e3a8232; Sun, 11 Jun 2023 16:29:47 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:mime-version:content-type :content-transfer-encoding; s=20190914; bh=eswDNpDyLJdLq/7sNrpXN lJnOqc9RBk85Gi2W7Lmsyg=; b=b5S7+fXPBsoAp7bsdhTZ+SRZzqvWUfqwIza2b KGXrznU8oA0S30J/IUSKQekU8fFwIcwuUQCFARto9c2rfw7oQxaAAzfBekTVqVf3 ADed+EHNKyiKdhk7HgrcNptSKZYlZgyrlIX7uRUJZj/xSjVc7poW8eBWqCy2cA1g US8r/u2PEEx0q55jIodCeC3kanxWBT6CHztuuDUh7RZf+iPTSSN+CJBCwV1NXTK6 Is2Fi2YmtYgkQDuJJHqBWR1ZetkzI4uOKVw2/Onnuh2KHi4VfzWfrQ7WwsBn1Od2 g9rZfE4WKKI9sO5uzUp0wW7eJOp9BGBRO8Z8rIGANwlTAWKOw== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id c51f886d; Sun, 11 Jun 2023 16:29:47 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id 4936266b; Sun, 11 Jun 2023 16:29:47 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id e0eb1e68 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 11 Jun 2023 16:29:46 +0200 (CEST) From: jgart To: 63893@debbugs.gnu.org Subject: [PATCH v3 1/2] gnu: Add rapidcheck. Date: Sun, 11 Jun 2023 09:29:25 -0500 Message-Id: X-Mailer: git-send-email 2.40.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893 Cc: jgart , Zhu Zihao 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.7 (-) * gnu/packages/check.scm (rapidcheck): New variable. --- gnu/packages/check.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 87728fefa3..470d8c52fa 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -43,6 +43,7 @@ ;;; Copyright © 2022 jgart ;;; Copyright © 2023 Luis Felipe López Acevedo ;;; Copyright © 2023 Timo Wilken +;;; Copyright © 2023 Zhu Zihao ;;; ;;; This file is part of GNU Guix. ;;; @@ -3198,6 +3199,46 @@ (define-public libfaketime provides a simple way to achieve this.") (license license:gpl2))) +(define-public rapidcheck + (let ((commit "a5724ea5b0b00147109b0605c377f1e54c353ba2") + (revision "0")) + (package + (name "rapidcheck") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri + (git-reference + (url "https://github.com/emil-e/rapidcheck") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0f2dmsym8ibnwkaidxmgp73mg0sdniwsyn6ppskh74246h29bbcy")))) + (arguments + (list + #:tests? #f ;require fetching submodules + #:configure-flags #~(list "-DCMAKE_POSITION_INDEPENDENT_CODE=ON") + #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-extra-headers + (lambda _ + (with-directory-excursion "../source/extras" + (for-each + (lambda (dir) + (let ((dir (string-append dir "/include/rapidcheck/")) + (dest (string-append #$output + "/include/rapidcheck"))) + (copy-recursively dir dest))) + '("boost" "boost_test" "catch" "gmock" "gtest")))))))) + (build-system cmake-build-system) + (home-page "https://github.com/emil-e/rapidcheck") + (synopsis "Property based testing framework for C++") + (description "Rapidcheck is a property based testing framework for C++. +It works by generating random data to try and find a case breaks your given +pre-condition.") + (license license:bsd-2)))) + (define-public umockdev (package (name "umockdev") base-commit: 6fe9a004dba2d4ddf69ff6f1714af15ffaa7e62a -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 11 10:30:00 2023 Received: (at 63893) by debbugs.gnu.org; 11 Jun 2023 14:30:00 +0000 Received: from localhost ([127.0.0.1]:37593 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8M4t-00050c-Eh for submit@debbugs.gnu.org; Sun, 11 Jun 2023 10:30:00 -0400 Received: from mx1.dismail.de ([78.46.223.134]:13919) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q8M4p-000503-HP for 63893@debbugs.gnu.org; Sun, 11 Jun 2023 10:29:56 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 6edb046e; Sun, 11 Jun 2023 16:29:50 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:date:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=20190914; bh=lHxDduRD kX6w79pIWlrUZWCwrduQyWFOZjchwoxKT2s=; b=tvcaz5LJZBbU0n4Nhz70gSpq TxzF/q4SNwX5HopSeVPPy3ys+HJeBDONKj4DFhsEzplHXHZa8BebQAHBSABXscnN /pAVOMGO7TnGsjx02vNA7JrTrGnz4BS6kLwKVXmJI/6dbOsCvIcfY3X9ov4zr2px w4gwcJM44fGaHZwMnTRxFvVb7/eWTOcGJAKbgs8/eeKsDrQwDoFI2f0zVAHaZhoz HZ5vKbWoaj7eAcTSDMNVbrMkC5doQ+jfVXb/22Yt79oySclPjSjnAnSlaLUiKL50 GMXfw7tDfBQ9RUICxkuw6IyULv3IxvteW+PbMvcqlE7AH1hxC6aZ3FluuhAJzw== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 5eda8f8d; Sun, 11 Jun 2023 16:29:50 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id 7746230c; Sun, 11 Jun 2023 16:29:49 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id ee37aa14 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 11 Jun 2023 16:29:47 +0200 (CEST) From: jgart To: 63893@debbugs.gnu.org Subject: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. Date: Sun, 11 Jun 2023 09:29:26 -0500 Message-Id: <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> X-Mailer: git-send-email 2.40.1 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893 Cc: jgart , Zhu Zihao 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.7 (-) * gnu/packages/package-management.scm (nix): Update to 2.16.1. [source]: Use HTTPS for package source. [inputs]: Add nlohmann-json. [native-inputs]: Add rapidcheck. [arguments]<#:phases>: In phase "check", change the value of environment variable "NIX_STORE" to "/nix/store" temporarily. * gnu/packages/patches/nix-dont-build-html-doc.diff: Update. Co-authored-by: jgart --- Oops v3, forgot to add in the actual changes that were in the staging area ;() gnu/packages/package-management.scm | 28 ++++++++++++---- .../patches/nix-dont-build-html-doc.diff | 33 ++++++++++++++----- 2 files changed, 47 insertions(+), 14 deletions(-) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-management.scm index 4791880375..bd989405c2 100644 --- a/gnu/packages/package-management.scm +++ b/gnu/packages/package-management.scm @@ -20,7 +20,8 @@ ;;; Copyright © 2021 Ivan Gankevich ;;; Copyright © 2021, 2022, 2023 Maxim Cournoyer ;;; Copyright © 2021 John Kehayias -;;; Copyright © 2022 Zhu Zihao +;;; Copyright © 2022, 2023 Zhu Zihao +;;; Copyright © 2023 jgart ;;; ;;; This file is part of GNU Guix. ;;; @@ -56,6 +57,7 @@ (define-module (gnu packages package-management) #:use-module (gnu packages compression) #:use-module (gnu packages cmake) #:use-module (gnu packages cpio) + #:use-module (gnu packages cpp) #:use-module (gnu packages crypto) #:use-module (gnu packages curl) #:use-module (gnu packages databases) @@ -731,16 +733,16 @@ (define-public guix-modules (define-public nix (package (name "nix") - (version "2.5.1") + (version "2.16.1") (source (origin (method git-fetch) (uri (git-reference - (url "http://github.com/NixOS/nix") + (url "https://github.com/NixOS/nix") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "1m8rmv8i6lg83pmalvjlq1fn8mcghn3ngjv3kw1kqsa45ymj5sqq")) + (base32 "1rca8ljd33dmvh9bqk6sy1zxk97aawcr6k1f7hlm4d1cd9mrcw7x")) (patches (search-patches "nix-dont-build-html-doc.diff")))) (build-system gnu-build-system) @@ -757,7 +759,19 @@ (define-public nix (apply invoke "make" "install" (string-append "sysconfdir=" etc) (string-append "profiledir=" etc "/profile.d") - make-flags))))))) + make-flags)))) + (replace 'check + (lambda args + ;; Some test expect environment variable NIX_STORE to be + ;; "/nix/store" + (let ((original-NIX_STORE (getenv "NIX_STORE"))) + (dynamic-wind + (lambda () + (setenv "NIX_STORE" "/nix/store")) + (lambda () + (apply (assoc-ref %standard-phases 'check) args)) + (lambda () + (setenv "NIX_STORE" original-NIX_STORE))))))))) (native-inputs (list autoconf autoconf-archive @@ -767,7 +781,8 @@ (define-public nix googletest jq libtool - pkg-config)) + pkg-config + rapidcheck)) (inputs (append (list boost brotli @@ -779,6 +794,7 @@ (define-public nix libseccomp libsodium lowdown + nlohmann-json openssl sqlite xz diff --git a/gnu/packages/patches/nix-dont-build-html-doc.diff b/gnu/packages/patches/nix-dont-build-html-doc.diff index 79142bc215..2eb45117b0 100644 --- a/gnu/packages/patches/nix-dont-build-html-doc.diff +++ b/gnu/packages/patches/nix-dont-build-html-doc.diff @@ -3,24 +3,41 @@ We can't simply disable it because we need manpages. Author: Zhu Zihao -diff --git a/doc/manual/local.mk b/doc/manual/local.mk -index e43d9f2fb..c323d1847 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk -@@ -69,8 +69,6 @@ $(d)/builtins.json: $(bindir)/nix +@@ -138,11 +138,6 @@ $(trace-gen) $(dummy-env) NIX_PATH=nix/corepkgs=corepkgs $(bindir)/nix __dump-builtins > $@.tmp @mv $@.tmp $@ -# Generate the HTML manual. +-.PHONY: manual-html +-manual-html: $(docdir)/manual/index.html -install: $(docdir)/manual/index.html - +- # Generate 'nix' manpages. install: $(mandir)/man1/nix3-manpages -@@ -94,7 +92,5 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli + man: doc/manual/generated/man1/nix3-manpages +@@ -167,23 +162,4 @@ done @touch $@ --$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/command-ref/conf-file.md $(d)/src/expressions/builtins.md $(call rwildcard, $(d)/src, *.md) -- $(trace-gen) RUST_LOG=warn mdbook build doc/manual -d $(DESTDIR)$(docdir)/manual - +-$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.jq $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/contributing/experimental-feature-descriptions.md $(d)/src/command-ref/conf-file.md $(d)/src/language/builtins.md +- $(trace-gen) \ +- tmp="$$(mktemp -d)"; \ +- cp -r doc/manual "$$tmp"; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- $(call process-includes,$$file,$$file); \ +- done; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- docroot="$$(realpath --relative-to="$$(dirname "$$file")" $$tmp/manual/src)"; \ +- sed -i "s,@docroot@,$$docroot,g" "$$file"; \ +- done; \ +- set -euo pipefail; \ +- RUST_LOG=warn mdbook build "$$tmp/manual" -d $(DESTDIR)$(docdir)/manual.tmp 2>&1 \ +- | { grep -Fv "because fragment resolution isn't implemented" || :; }; \ +- rm -rf "$$tmp/manual" +- @rm -rf $(DESTDIR)$(docdir)/manual +- @mv $(DESTDIR)$(docdir)/manual.tmp/html $(DESTDIR)$(docdir)/manual +- @rm -rf $(DESTDIR)$(docdir)/manual.tmp +- endif -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 13 05:19:16 2023 Received: (at 63893) by debbugs.gnu.org; 13 Jun 2023 09:19:16 +0000 Received: from localhost ([127.0.0.1]:41311 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q90BI-0003iC-88 for submit@debbugs.gnu.org; Tue, 13 Jun 2023 05:19:16 -0400 Received: from m12.mail.163.com ([220.181.12.197]:50726) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q90BF-0003hz-KN for 63893@debbugs.gnu.org; Tue, 13 Jun 2023 05:19:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version: Content-Type; bh=1TXuj0v2cvz1BM2e1J44zg40coouQDA87so1dmNixGk=; b=Ay1QmVSoHewUNwIn4oQvLIfxXnZN3hjeTVjeau7wu3h/N8ziImFTcvnU80vOL0 3rg/YCf5DwcF/0IlppNA0hSifypbJZNZTOv/PnVGHYAHDX8Kbw0Kglygs/L1nR+A PHnMl8LSyWiB6xsa/t1tBz0LGcK5AlPu/h3n20F9ztUPA= Received: from asus-laptop (unknown [119.123.65.159]) by zwqz-smtp-mta-g1-1 (Coremail) with SMTP id _____wDHzz+FNIhkW_6rAQ--.3929S2; Tue, 13 Jun 2023 17:19:02 +0800 (CST) References: <3400f62ade7fcb01c0e119b62198d1baff42138d.1686492434.git.jgart@dismail.de> User-agent: mu4e 1.10.2; emacs 30.0.50 From: Zhu Zihao To: jgart Subject: Re: [PATCH v2 2/2] gnu: nix: Update to 2.16.1. Date: Tue, 13 Jun 2023 17:17:50 +0800 In-reply-to: <3400f62ade7fcb01c0e119b62198d1baff42138d.1686492434.git.jgart@dismail.de> Message-ID: <86wn07vhys.fsf@163.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-CM-TRANSID: _____wDHzz+FNIhkW_6rAQ--.3929S2 X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvj4RJCztUUUUU X-Originating-IP: [119.123.65.159] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBawqNr1et9L4JbQAAsX X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@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 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable jgart writes: LGTM, thanks a lot! =2D-=20 Retrieve my PGP public key: gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC Zihao --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIsEARYIADMWIQT4UAIrVkIEZilSHr2K2nJqP6LM8gUCZIg0SxUcYWxsX2J1dF9s YXN0QDE2My5jb20ACgkQitpyaj+izPJuMgEA+/EOfs0+MGoeccFDcvPAfl+WafJS oYemDAtj0LeIiMMA/incwbx87M9ZWTuUDjihNMXzhp+K2rKSTV1yK1D0HQAL =ML6W -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 19 11:50:32 2023 Received: (at 63893) by debbugs.gnu.org; 19 Jun 2023 15:50:32 +0000 Received: from localhost ([127.0.0.1]:57078 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qBH9D-0003Qt-Ng for submit@debbugs.gnu.org; Mon, 19 Jun 2023 11:50:31 -0400 Received: from m12.mail.163.com ([220.181.12.198]:34544) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qBH98-0003Qc-5o for 63893@debbugs.gnu.org; Mon, 19 Jun 2023 11:50:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version: Content-Type; bh=SmqkrbNrU2rb3QTln02/JlVcylJiDZtpT5S9fQEZ06w=; b=HZPLpXCGL03+0ygscw9IWy4K206GAv3osk3e8bkPpq45njvsVrX4YKND5RP8lp vQgSe6AZcHeGoMHOXI3TjycRg/fqwwhNM0pr8bliV1PK6VXjBM2i1Qg6vaoQnAmX rX/HrUo024Gxg3Q2bA134MetWMpz5wUFCTGxZa/WAjL1I= Received: from asus-laptop (unknown [218.18.128.230]) by zwqz-smtp-mta-g1-1 (Coremail) with SMTP id _____wBnImw6eZBkg+tiAQ--.49120S2; Mon, 19 Jun 2023 23:50:19 +0800 (CST) References: <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> User-agent: mu4e 1.10.2; emacs 30.0.50 From: Zhu Zihao To: jgart Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. Date: Mon, 19 Jun 2023 23:47:40 +0800 In-reply-to: <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> Message-ID: <86a5wvjvtm.fsf@163.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-CM-TRANSID: _____wBnImw6eZBkg+tiAQ--.49120S2 X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxUeFApUUUUU X-Originating-IP: [218.18.128.230] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/1tbiKRuTr1Xl6JUTQAAAsQ X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@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 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi, jgart! I think the patch (includes your modification) is quite good for daily usage, and I don't meet any bugs. Can you help commit these changes? Thanks! =2D-=20 Retrieve my PGP public key: gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC Zihao --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIsEARYIADMWIQT4UAIrVkIEZilSHr2K2nJqP6LM8gUCZJB5JRUcYWxsX2J1dF9s YXN0QDE2My5jb20ACgkQitpyaj+izPJ5vQD6Axytwx4gcRAlw3jAzuO/WjGSWsav m8VFcEdUb9gcvboA+gPk67WRxdi+j3TfD4NJtV1n9B8ISPYKrM3tAiZ8N6cL =4jHj -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 24 13:12:44 2023 Received: (at 63893) by debbugs.gnu.org; 24 Jun 2023 17:12:44 +0000 Received: from localhost ([127.0.0.1]:41424 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD6oW-0002oS-FL for submit@debbugs.gnu.org; Sat, 24 Jun 2023 13:12:44 -0400 Received: from mx1.dismail.de ([78.46.223.134]:22916) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD6oR-0002o6-9e; Sat, 24 Jun 2023 13:12:42 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 8bde353f; Sat, 24 Jun 2023 19:12:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:cc:in-reply-to:references; s=20190914; bh=zg pr5nGiRO69OdruF4f0/73tchIi2bInzqzS4Ljq+Ec=; b=TwsCJ1WxCRcnzSDMbj 7GabFDNkE+vp6gPmPaAaoGgLvdI2PtjRIYjAFqpyjUOnxQWQhgNBoyws5DStqQZu GFRxovzy/8VUkxhnhl5TI1HvLsIe6HOfPDY4PxnjF8SaXCCTA6WdA1mN+HeepSp6 4mkSNlY6bbbf7PoOlP7NwBDPCsa/8bDRFJR+DRs5GsIT0N+kXUVe60RV9DPrco0n sC5ykd+wiqorpnrGwlXiPF0IIXonTW93Htt9D+AvnGPcOxy7jpetxUtW+4ZWiMp5 6b7Ki0zrPLkBbRGd2LSyX0XvlfKHz1awZqQUT/BAq4Mjnexn/iqLCnmELHKz1z5z 4r4A== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id b29e2bd5; Sat, 24 Jun 2023 19:12:30 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id e28e3717; Sat, 24 Jun 2023 19:12:30 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id afbc6c36 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 24 Jun 2023 19:12:30 +0200 (CEST) MIME-Version: 1.0 Date: Sat, 24 Jun 2023 17:12:29 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. In-Reply-To: <86a5wvjvtm.fsf@163.com> References: <86a5wvjvtm.fsf@163.com> <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> X-Spam-Score: 0.5 (/) X-Debbugs-Envelope-To: 63893 Cc: control@debbugs.gnu.org, 63893@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: -0.5 (/) retitle 63893 [PATCH v3 2/2] gnu: nix: Update to 2.16.1 From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 24 13:20:40 2023 Received: (at 63893) by debbugs.gnu.org; 24 Jun 2023 17:20:40 +0000 Received: from localhost ([127.0.0.1]:41451 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD6wC-0005XA-BQ for submit@debbugs.gnu.org; Sat, 24 Jun 2023 13:20:40 -0400 Received: from mx1.dismail.de ([78.46.223.134]:39385) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD6w7-0005Ws-0f for 63893@debbugs.gnu.org; Sat, 24 Jun 2023 13:20:38 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id a8543146; Sat, 24 Jun 2023 19:20:28 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc:in-reply-to:references; s=20190914; bh=AjZA2Ir4Gfo31mbKSjt49ygbrGmn29GES6r4SEfejKw=; b=YSOZh0gD06MC frE7m2Rb2hLac/FsSqxwlxUYmqc68ap/RvEbj4yC3tTr/wr1YugX6l6VmUjG3C20 nKUS+r/3Km4bDXc3X3NBAT+4v4Spz+GSl6ik7NIxZyXb6rJYuS7GcIhECADzDg9C qbHpBcVMIj0lm81dW1UOeFl4WP/hpB/OqJF7sXLpt0FtAaYcRPhYC/An6ORYgQRr 6RPYBmO2Q/oIisNhHUzIaJjwzXHqcAcsdelcR6t/K6ZZA0herzuwWh6Gn72K0OTp PFK+gv4c6y77V3WBEl/r20QVB6mDw4ios37X63Swr4QxxK8OiaMRekRaqd3M7Tcg cpacsurGgA== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 2f61aaa6; Sat, 24 Jun 2023 19:20:28 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 80e193d6; Sat, 24 Jun 2023 19:20:28 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 1a2ec604 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 24 Jun 2023 19:20:27 +0200 (CEST) MIME-Version: 1.0 Date: Sat, 24 Jun 2023 17:20:27 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: <539dd9efe4a213ea3f6df97cbb2b2f7a@dismail.de> Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. To: "Zhu Zihao" In-Reply-To: <86a5wvjvtm.fsf@163.com> References: <86a5wvjvtm.fsf@163.com> <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893 Cc: Sergey Trofimov , 63893@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.7 (-) Hi Trofi, If you find the time, would you be able to help review this patch series? I saw that you've done a fare amount of work on guix/nix packaging in nix= -guix-gentoo and could use your expertise in this area for reviewing this= patch set: https://github.com/trofi/nix-guix-gentoo Feel free to send a v4 patch and add yourself as co-author if you'd like = to help directly. Also, feel free to ignore if you don't have the time to review this one o= r help out on it. I could particular use some guidance on enabling the tests for rapidcheck= . My cmake knowledge is very fresh. all best, jgart From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 24 13:27:17 2023 Received: (at control) by debbugs.gnu.org; 24 Jun 2023 17:27:17 +0000 Received: from localhost ([127.0.0.1]:41458 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD72b-0005h5-5p for submit@debbugs.gnu.org; Sat, 24 Jun 2023 13:27:17 -0400 Received: from mx2.dismail.de ([159.69.191.136]:42035) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD72Y-0005gr-Cy for control@debbugs.gnu.org; Sat, 24 Jun 2023 13:27:15 -0400 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 8d283fee for ; Sat, 24 Jun 2023 19:27:07 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc:in-reply-to:references; s=20190914; bh=zwJ8mD+t6E3Ivda9pbb7ZbbSdaG0+yilacAMm5oyVcY=; b=X/Sjwi+iNvlu KhGZS/NoRbbsV+g/380LRct9BMFrw2iYw/w73jYsfHpc76uN+6QUa8om2zb6oYHf n/OA07jzRSrkPDiSXvYDWDzLUCqWT3lJOORigPagBNfsLv0PnRUWMvyuu17RZB5W cWUnuxHzUJjNJ3B8t7KqUfbVyVk8Vj7n7jSyFWXGUpX1m2WCwpYw+giYiTKyJGs/ dovZmPPmVnoVKAiLc9m7HNLdwHMl2lCicUkRJpofSHWdJcWlFa20IUtk/bbrD03R qLd4GO0+zf4iZKsUPfdHoSjK+bOB/uNFnzZRsY0fJsnGcMUjsrUc6L2yc16H7XJQ WD93L1USvQ== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id a13fe9ce for ; Sat, 24 Jun 2023 19:27:07 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id a031c806 for ; Sat, 24 Jun 2023 19:27:07 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 539570a9 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Sat, 24 Jun 2023 19:27:06 +0200 (CEST) MIME-Version: 1.0 Date: Sat, 24 Jun 2023 17:27:06 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: <5b326a51bbfee6d23f23689c92ae928a@dismail.de> Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. To: control@debbugs.gnu.org In-Reply-To: <86a5wvjvtm.fsf@163.com> References: <86a5wvjvtm.fsf@163.com> <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control Cc: control@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: -3.3 (---) block 63546 by 63893 From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 24 15:37:14 2023 Received: (at 63893) by debbugs.gnu.org; 24 Jun 2023 19:37:14 +0000 Received: from localhost ([127.0.0.1]:41548 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD94M-0003DR-Il for submit@debbugs.gnu.org; Sat, 24 Jun 2023 15:37:14 -0400 Received: from mail-wm1-f53.google.com ([209.85.128.53]:50312) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qD94H-0003D9-EJ for 63893@debbugs.gnu.org; Sat, 24 Jun 2023 15:37:13 -0400 Received: by mail-wm1-f53.google.com with SMTP id 5b1f17b1804b1-3fa798cf201so24075275e9.0 for <63893@debbugs.gnu.org>; Sat, 24 Jun 2023 12:37:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sarg.org.ru; s=google; t=1687635423; x=1690227423; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:from:to:cc:subject:date:message-id:reply-to; bh=f9Ms0NeneE639gGdWchOaAtvgGKQhDkTW/09c1BjnAE=; b=QE12GSdKGdgqsA0LbKUhfwlDnhdeouHGWh0QAaf7lJID5AKqhRMEZh1XyCBAzmZ2wd HYA6ifbnWGOYsCXGfXSF7cfdC0HCeP12DGrIbLnC0bccrQK5l5A+HigFVUpw4/9JKkCX JeUopJF4/r4T19qiC6KBiZ4HobH4r62uLtaNo= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687635423; x=1690227423; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=f9Ms0NeneE639gGdWchOaAtvgGKQhDkTW/09c1BjnAE=; b=C80sXvmt6XU6LetaHKxlQ5CBd9Wp9G/ZS38yFivT9kVjT0AcKRyDdMf196eojoooSn Bd38jwxJpTzbK+p97LeoE+sIV0RA7Ko0NaS1RmNP3NFHPrNSWopRcfnLhyy1DyA4Gm72 mmtyGaKaqOjoIM+fQoA+KT0iwQKeyk1H2IbhIgbb42Z3iWMmM4t4EUV2z6+s0xtE2Dp3 7ppcq2BiQPYEgXXfnlT5oJQIGaHTYszBHL03oaFHyAGGJf1SHUZPg8maO7VCSmnf9QYH zSOQz7G+4AeQseexID75/HTQV9H4FDKrKOLtxfV1AgNpRVHf3FrmANaQ1IX7qPKDiy/9 f+DA== X-Gm-Message-State: AC+VfDxepPachVXCrddY9qIF9+ZYce00VZVFKii8bIfdpgc1EG4t6TvT 4ByrYNJPP9Q3QFDO3nefZ1bMdw== X-Google-Smtp-Source: ACHHUZ7s+LEiK1BSj8bT66+B+mVkOryQ2bMcvpsSIYZcyqI+s1h6Rc5e26ZccSEg0oJFx8M5G78nvQ== X-Received: by 2002:a7b:cd97:0:b0:3f9:a6f3:f23c with SMTP id y23-20020a7bcd97000000b003f9a6f3f23cmr14275625wmj.36.1687635422312; Sat, 24 Jun 2023 12:37:02 -0700 (PDT) Received: from localhost ([77.64.254.239]) by smtp.gmail.com with ESMTPSA id v6-20020a05600c214600b003f7ed463954sm2955377wml.25.2023.06.24.12.37.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Jun 2023 12:37:02 -0700 (PDT) References: <86a5wvjvtm.fsf@163.com> <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> <539dd9efe4a213ea3f6df97cbb2b2f7a@dismail.de> User-agent: mu4e 1.10.2; emacs 29.0.91 From: Sergey Trofimov To: jgart Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. Date: Sat, 24 Jun 2023 21:34:12 +0200 In-reply-to: <539dd9efe4a213ea3f6df97cbb2b2f7a@dismail.de> Message-ID: <878rc8zm77.fsf@sarg.org.ru> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@debbugs.gnu.org, Zhu Zihao 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 (-) Hi jgart, I'm not that trofi you're referencing to. You could find the right email in their github profile. "jgart" writes: > Hi Trofi, > > If you find the time, would you be able to help review this > patch series? > > I saw that you've done a fare amount of work on guix/nix > packaging in > nix-guix-gentoo and could use your expertise in this area for > reviewing this > patch set: > > https://github.com/trofi/nix-guix-gentoo From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 24 23:01:14 2023 Received: (at 63893) by debbugs.gnu.org; 25 Jun 2023 03:01:15 +0000 Received: from localhost ([127.0.0.1]:41780 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDG02-0001cr-Lt for submit@debbugs.gnu.org; Sat, 24 Jun 2023 23:01:14 -0400 Received: from mx1.dismail.de ([78.46.223.134]:23176) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDFzw-0001cY-PF for 63893@debbugs.gnu.org; Sat, 24 Jun 2023 23:01:13 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id b0c868a4; Sun, 25 Jun 2023 05:01:01 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc:in-reply-to:references; s=20190914; bh=XbDvttmighur8Qq0hZIw4p9erakl8HXpSznmRlBGRTA=; b=vVbS/Fpo5LBJ geESAewb9NrSZkxziBaH13jTizW2MpgH2ogIrQ6Ft9onAtxCtQrf4oi1nXvQ4PGV m8cx1VW47TDV/JeXmnh317P8/YdexAyXu2Z0tBpq8o7gQn6x2tmB201d1PWeR5Js EnwUSJIl7EBohfvehpQJZ5ZyH8xhFw7c5LS41TMAImEtH9SnQFbXYtZpYA6lU6f2 EZ486Ej1BTWu0eUnupsxpDkIbaivCgnohoQER2CqzH2NcQxGUgDeIUzINEe4Epjo bWgehmkX2cdhZHw5IumPlpX50DHPqBYXoL2v0F1fAkDk4AD1s+gNu09XDbmTNSNo r/IAOrlm/Q== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 60b82868; Sun, 25 Jun 2023 05:01:01 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id adebc0e7; Sun, 25 Jun 2023 05:01:01 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id e3369c1c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 25 Jun 2023 05:01:00 +0200 (CEST) MIME-Version: 1.0 Date: Sun, 25 Jun 2023 03:01:00 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1. To: "Sergey Trofimov" In-Reply-To: <878rc8zm77.fsf@sarg.org.ru> References: <878rc8zm77.fsf@sarg.org.ru> <86a5wvjvtm.fsf@163.com> <1bb01ed6f9710f2cb8cdaac882154de33f56c971.1686493692.git.jgart@dismail.de> <539dd9efe4a213ea3f6df97cbb2b2f7a@dismail.de> X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@debbugs.gnu.org, Zhu Zihao 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.7 (-) hi Sergey, Oh funny, ok, thanks for letting me know ;() From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 26 17:41:32 2023 Received: (at 63893) by debbugs.gnu.org; 26 Jun 2023 21:41:32 +0000 Received: from localhost ([127.0.0.1]:47160 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDtxk-0007sn-6L for submit@debbugs.gnu.org; Mon, 26 Jun 2023 17:41:32 -0400 Received: from mx1.dismail.de ([78.46.223.134]:16678) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDtxi-0007sX-1e for 63893@debbugs.gnu.org; Mon, 26 Jun 2023 17:41:31 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 88bb297e; Mon, 26 Jun 2023 23:41:22 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc; s=20190914; bh=wJChvNiQVWecHYaEjFiFyN bkBD4/vnPhoereu2V4h04=; b=DZfoeQAeTxkM75hHwSnHWczZkyOmJq8jFIoOUm IU9i0SYppvlS+7tIAJViHGL/eheoIUl37A6KKPfCv42lu34j0bjiKIHy6S4ae0mp kx1gGi0MukMHOjQOsRiz2LTAc3uBPtNlQmUCvh61TsFbqKljNQIcBOYrLTPajP1e Ib98F42aJPRsGymS8ggwsCupdtYDG9isN9iQ3oWQ79ywUdH6koEZ4mn1BAjx5NSe KEOszZ5pN8HSdzKB1jKE+l59RDufiIoskxI4l7YurQ5qfh4s9vN0jKZ1fK8ABPDS Dj8iw3p1/zA63QqDTCfmsnryg6xuCbVywpgwYIIBQPCkNOnA== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id a4182be5; Mon, 26 Jun 2023 23:41:22 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 9be191d4; Mon, 26 Jun 2023 23:41:22 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 41d6ebc6 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Mon, 26 Jun 2023 23:41:21 +0200 (CEST) MIME-Version: 1.0 Date: Mon, 26 Jun 2023 21:41:21 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: Subject: gnu: nix: Update to 2.16.1 To: slyich@gmail.com X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@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.7 (-) Hi Trofi, I saw that you've done a fare amount of work on guix/nix packaging in nix= -guix-gentoo and could use your expertise in this area for reviewing this= patch set: https://github.com/trofi/nix-guix-gentoo If you find the time, would you be able to help review this patch series?= It would be much appreciated. Feel free to send a v4 patch and add yourself as co-author if you'd like = to help directly. Also, feel free to ignore if you don't have the time to review this one o= r help out on it. I could particular use some guidance on enabling the tests for rapidcheck= . My cmake knowledge is very fresh. all best, jgart https://whereis.=E3=81=BF=E3=82=93=E3=81=AA/ From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 26 18:16:19 2023 Received: (at 63893) by debbugs.gnu.org; 26 Jun 2023 22:16:19 +0000 Received: from localhost ([127.0.0.1]:47234 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDuVO-0000PQ-S7 for submit@debbugs.gnu.org; Mon, 26 Jun 2023 18:16:19 -0400 Received: from mail-wm1-f45.google.com ([209.85.128.45]:50661) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qDuVL-0000PD-SQ for 63893@debbugs.gnu.org; Mon, 26 Jun 2023 18:16:16 -0400 Received: by mail-wm1-f45.google.com with SMTP id 5b1f17b1804b1-3f9c2913133so49357315e9.1 for <63893@debbugs.gnu.org>; Mon, 26 Jun 2023 15:16:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1687817770; x=1690409770; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:from:to:cc:subject:date :message-id:reply-to; bh=yQN2FuTMlcZF8rtnV8iGqIuW4M2HK8tCeqqocdoa9ZE=; b=E9XH2fNhIaFRE5s+ptxEu+dZ+YUQlv86wx6sVLLfk09GTKDJKMYktSzsuXYO4ayL/G SrRfyXUYQnUqJUcMTH0JGqw7+J1uehqD2ggr/F7492QlOfeI3NCP0Rx28xVP2fqMDWhM KmKWEQ2T3IbgM0e6mWi0+KNXUoq/k8NBJUMD+zemY0GLQJofKTdGdMFNKp3Qf7FSj0/o 0iNkkjnV1ua69Niha7I4/WYAskdhAEjshLAHu1FHlPF0dA2/I2Wyo01/UmOsEiwR3etc MMaV55kbGTNQSBxnu2F1aijzj+XPaLRFcDieiD35E2Hyw5rSFKFelXiivE35Rmvat74K Xe7w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687817770; x=1690409770; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=yQN2FuTMlcZF8rtnV8iGqIuW4M2HK8tCeqqocdoa9ZE=; b=VzSJP2L7RuRNssCWuJmKZPIyo2t+vppm7HuUIcQmBSak90hn6lzQ3JvkVcaHYA0pCf /WrOL6gGUOnk412jQ8qaNDEFjI8vLLUo3SP/v9j6orIe4eby4Q7T7yn4g7hJ7hVkpvdZ 7B2YmUDmcz2veu/Iv4+fU8GkpwBI4IHGOVDAxIQGWHvgTRNbawnmSE9MFverd7924bAS vi69xP8dpPRth7aHcoQ1vEff0ItPkjWh8XkCx7764miTy/hxb9TG74nbiy31s+E/iRy3 9+bbTWmyA/K+v4ZceY+dHCxXNAuAdigfHZ9NkSnhtGCGiQX0DzCsHI8XqaroFwDzXm3o i7cg== X-Gm-Message-State: AC+VfDyIkxzA/tK8SdBr3IllnqLZxx+9ubjudgcVc9pc4MtgAVH+iL06 6gGVDbrVIQ2Oe0z5IchfEqI= X-Google-Smtp-Source: ACHHUZ75ZhnprM45K1H9EtdX8+K97I+lWvKLf7Ww4IeqI01uqRIBafWen/z3qgF0Go1U0oxm611yYA== X-Received: by 2002:a05:600c:b56:b0:3fb:40ff:1cbd with SMTP id k22-20020a05600c0b5600b003fb40ff1cbdmr1311245wmr.10.1687817769652; Mon, 26 Jun 2023 15:16:09 -0700 (PDT) Received: from nz ([2a00:23c8:a613:101:729c:d1ff:fe4f:94a3]) by smtp.gmail.com with ESMTPSA id a10-20020a05600c224a00b003faef96ee78sm2675397wmm.33.2023.06.26.15.16.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 26 Jun 2023 15:16:09 -0700 (PDT) Date: Mon, 26 Jun 2023 23:16:08 +0100 From: Sergei Trofimovich To: "jgart" Subject: Re: gnu: nix: Update to 2.16.1 Message-ID: <20230626231608.355b90b1@nz> In-Reply-To: References: X-Mailer: Claws Mail 4.1.1 (GTK 3.24.38; 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: 63893 Cc: 63893@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 (-) On Mon, 26 Jun 2023 21:41:21 +0000 "jgart" wrote: > Hi Trofi, >=20 > I saw that you've done a fare amount of work on guix/nix packaging in nix= -guix-gentoo and could use your expertise in this area for reviewing this p= atch set: >=20 > https://github.com/trofi/nix-guix-gentoo >=20 > If you find the time, would you be able to help review this patch series?= It would be much appreciated. >=20 > Feel free to send a v4 patch and add yourself as co-author if you'd like = to help directly. >=20 > Also, feel free to ignore if you don't have the time to review this one o= r help out on it. >=20 > I could particular use some guidance on enabling the tests for rapidcheck= . My cmake knowledge is very fresh. >=20 > all best, >=20 > jgart >=20 > https://whereis.=E3=81=BF=E3=82=93=E3=81=AA/ Hi Jorge! I guess you mean this series: https://issues.guix.gnu.org/63893 https://mail.gnu.org/archive/html/guix-patches/2023-06/msg00525.html Those look good to me. I did not runtime-test it though. Note: I don't have push access to `guix` repository and I don't use `guix` on a daily basis. I mainly maintain `guix` install on top of gentoo as defined in https://github.com/trofi/nix-guix-gentoo I suggest runtime-testing it as well locally: try to install `nix` and run a few commands like `nix-channel --update` / `nix-shell -p re2c` just to make sure daemon is configured correctly. Hope that helps. Good luck! --=20 Sergei From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 27 02:03:14 2023 Received: (at 63893) by debbugs.gnu.org; 27 Jun 2023 06:03:15 +0000 Received: from localhost ([127.0.0.1]:47453 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qE1nG-0005Xu-KU for submit@debbugs.gnu.org; Tue, 27 Jun 2023 02:03:14 -0400 Received: from mx1.dismail.de ([78.46.223.134]:27146) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qE1nE-0005Xf-DU for 63893@debbugs.gnu.org; Tue, 27 Jun 2023 02:03:13 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 9dd3f9fb; Tue, 27 Jun 2023 08:03:05 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc:in-reply-to:references; s=20190914; bh=POC4KbUCYifgxYWXB+iOLPV5JFjZR/oeBuR7DPkT8jQ=; b=uOSdBB0uWS6K g+00aR2njGLp05UGXHnsdj/ZH/A9AA2SzOzwubgCbqEeHlMZWOCa/2Gp7hqGDfq7 lWdfv3U6SijvY54LVJ0vfjWvc4YBq9DAOTpv5jJb2Qp144RDlg36shTQ+sRxSn73 gZYJ00bM6q1uN1CuhtMGznw3f/lsFpMgE6LqSbGj1kDrJ63I8lJZ6kjuc3z9pNfX Yu94S5u+gr+LBSRVA26b/Yw24WJe27P5rDOrlab513Dybtq55xGKysekSkIjZ5rp cXYXrjWZLDjajKt+XCqd+8Fm6v9IY+n/li5E3ix1+Rqhhcze4bDIovtTWgFCqt+a NF25lubzLw== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 5c9d5cf9; Tue, 27 Jun 2023 08:03:04 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id 7b9a4636; Tue, 27 Jun 2023 08:03:04 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id dccd6d8d (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Tue, 27 Jun 2023 08:03:04 +0200 (CEST) MIME-Version: 1.0 Date: Tue, 27 Jun 2023 06:03:03 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: <6616df3cc64662087b859521664f3387@dismail.de> Subject: Re: gnu: nix: Update to 2.16.1 To: "Sergei Trofimovich" In-Reply-To: <20230626231608.355b90b1@nz> References: <20230626231608.355b90b1@nz> X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@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.7 (-) > Those look good to me. I did not runtime-test it though. Hi Sergei, Thanks for the message. Are you running the tests successfully for rapidcheck in your ebuild vers= ion?=20 I=20don't know portage, unfortunately. We'd like to get the tests running and passing for rapidcheck but they ar= e currently disabled because we are not sure how to run the test suite fo= r rapidcheck. Have you had any success running the tests for rapidcheck? all best, jgart (Jorge) From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 27 03:05:53 2023 Received: (at 63893) by debbugs.gnu.org; 27 Jun 2023 07:05:53 +0000 Received: from localhost ([127.0.0.1]:47476 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qE2lt-0007CL-41 for submit@debbugs.gnu.org; Tue, 27 Jun 2023 03:05:53 -0400 Received: from mail-wr1-f53.google.com ([209.85.221.53]:56385) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qE2lp-0007C6-Uw for 63893@debbugs.gnu.org; Tue, 27 Jun 2023 03:05:50 -0400 Received: by mail-wr1-f53.google.com with SMTP id ffacd0b85a97d-311099fac92so5550133f8f.0 for <63893@debbugs.gnu.org>; Tue, 27 Jun 2023 00:05:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1687849544; x=1690441544; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:from:to:cc:subject:date :message-id:reply-to; bh=nupv1yrJclPkOYNc2skRspSaPlNIyH3vPL7hZN54xOY=; b=h4+Ps3Kl7wdOTCbCu8faN944OL9D3GW1aEmqcvFeTvh82Bgn7Jta1on1bsUF9GEFG+ WBVX+UcAkyh6DjH5mKf+Jv3SOgAsa14b1NxmAN6qOiM77MTmU+q/aSW1hss0RkQD/02x cDwnBgIsRcv6lLOeKYVBnc+dAEJ0h6GjkxjwAWGjHG3s9m8wfbfDels/Igu8hzODGVN2 xZWUyQUq9cO9oNXkAWaas0E2dpgAUAit6v11KrUrItZQtAHJ2vROpnzwHfUWGNbNfD2j HlLvgA539bTPz8qjV9ZBi0vuJbwlcQGTw33ofsRn7EFHKdft7MTfVpnTL9gw6jDF2+7a BjAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687849544; x=1690441544; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=nupv1yrJclPkOYNc2skRspSaPlNIyH3vPL7hZN54xOY=; b=X0P2OpoAK9dbkkDmW4WtlgnA4HP6o9lLfxW3zXUh4qLm+WzZmBrxn2XAfzQNkFQudy /FqoxD7N83bdPkRXQEWf/EVn7V1K3qHLbpSbdEaEkBLLOigy1HMeM0gihmp4n8skSbOA KAxTtfcvKTCVLiE2s+GUCYABos8j+b6s+DQKq0Ajdlzp5uiL7gUjicI5h8c7yqNopPI5 UvkcRI9vjlqdb7r8/Kxpm9B2jk8mSokN561j4+bkmQSsWcMJ4nEcSLy9IcYBrqGvCggU /BuzUu2ilydZP4OjnmKUStaZ6P+xaGcZGBvGpCNc2WEvVU29crHS9bjEOBVhb/t3BdKd /fjg== X-Gm-Message-State: AC+VfDzm1x/ivULLeCVro91mQHRuWRfYQu6Uyj38BLPnXk6K9OG4uF36 WeNTUNd5k46akn1buyviSGg= X-Google-Smtp-Source: ACHHUZ4BqhQWZi6mVz5g73ppr+se1bk8aCP+Kki4TmoPHWOEcw1mTKaz6YMVAKk706aiOz+PJgdXfg== X-Received: by 2002:adf:fc90:0:b0:313:e8b6:1699 with SMTP id g16-20020adffc90000000b00313e8b61699mr7262327wrr.55.1687849543756; Tue, 27 Jun 2023 00:05:43 -0700 (PDT) Received: from nz ([2a00:23c8:a613:101:b403:decb:497c:7282]) by smtp.gmail.com with ESMTPSA id a16-20020adfdd10000000b00313ef2150dcsm5775877wrm.45.2023.06.27.00.05.43 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 27 Jun 2023 00:05:43 -0700 (PDT) Date: Tue, 27 Jun 2023 08:05:42 +0100 From: Sergei Trofimovich To: "jgart" Subject: Re: gnu: nix: Update to 2.16.1 Message-ID: <20230627080542.6e7ed518@nz> In-Reply-To: <6616df3cc64662087b859521664f3387@dismail.de> References: <20230626231608.355b90b1@nz> <6616df3cc64662087b859521664f3387@dismail.de> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.38; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 63893 Cc: 63893@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 (-) On Tue, 27 Jun 2023 06:03:03 +0000 "jgart" wrote: > > Those look good to me. I did not runtime-test it though. > > Hi Sergei, > > Thanks for the message. > > Are you running the tests successfully for rapidcheck in your ebuild version? I do not enable `rapidcheck` tests. At least in theory enabling tests via `-DRC_ENABLE_TESTS=ON` should be enough. In practice `ext/CMakeLists.txt` implies a certain layout of `check2`, `gtest` and `boost` dependencies checked out locally: git submodule: if (RC_ENABLE_TESTS OR RC_ENABLE_CATCH) add_subdirectory(catch) endif() another git submodule: if ((RC_ENABLE_GMOCK OR RC_ENABLE_GTEST) AND RC_ENABLE_TESTS) # On Windows, gmock/gtest defaults to static CRT which is not compatible # with the way RapidCheck is currently built set(gtest_force_shared_crt ON CACHE BOOL "" FORCE) add_subdirectory(googletest) endif() ad-hoc checkout with a stand alone script: if (RC_ENABLE_BOOST AND RC_ENABLE_TESTS) if (NOT EXISTS "${CMAKE_CURRENT_LIST_DIR}/boost") execute_process( COMMAND "sh" "get_boost.sh" WORKING_DIRECTORY "${CMAKE_CURRENT_LIST_DIR}") endif() add_library(boost INTERFACE) target_include_directories(boost INTERFACE boost) endif() I did not try to satisfy these requirements. Ideally upstream should be fixed to use already installed libraries. But I'm not very well versed in `cmake` to propose such a change just yet. > I don't know portage, unfortunately. > > We'd like to get the tests running and passing for rapidcheck but they are currently disabled because we are not sure how to run the test suite for rapidcheck. > > Have you had any success running the tests for rapidcheck? > > all best, > > jgart (Jorge) -- Sergei From debbugs-submit-bounces@debbugs.gnu.org Wed Jul 12 00:00:55 2023 Received: (at 63893-done) by debbugs.gnu.org; 12 Jul 2023 04:00:55 +0000 Received: from localhost ([127.0.0.1]:51394 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qJR23-0007sb-FZ for submit@debbugs.gnu.org; Wed, 12 Jul 2023 00:00:55 -0400 Received: from mx1.dismail.de ([78.46.223.134]:26504) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qJR1v-0007sD-8M; Wed, 12 Jul 2023 00:00:48 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 3875dd89; Wed, 12 Jul 2023 06:00:35 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc; s=20190914; bh=kSBOSojKPNntSaNMdJuQOS SQzZgCiTEw5OxgFuA+TZg=; b=galEbDQrTkd2k5vl21XbI8dZ3VuLWCov45oUqg b/0vNX+HfNzXh0O5Urz8kh1AhvDN7IjNNXHqpQ4sW/7m9GuihcFmYAHkM+2KPuvS 02HwQi1bjh5uhVpFEpgb5LqJUBKIPtaTxW5vlUkY8BSVac8k/UyU9vvRtrscS6Ru Zsa9zGmwDjfez723hx6PkhSfiLlQNbwo6iGZ4BwH8zbONgMHH8JaTn/7iaJMX42h NR1YrJj89wziMwLuSTADUarE+J0hQxr2rlFdKgSTu0ZXX4Xv6za04YK8TxPhakOC 7LwVmPWjZ6Fu45uTl9FK7XDDC01KxdPRBpnbr+XpZro8jRew== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 7b607d25; Wed, 12 Jul 2023 06:00:35 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id d9c7d018; Wed, 12 Jul 2023 06:00:35 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 4cc3defd (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Wed, 12 Jul 2023 06:00:34 +0200 (CEST) MIME-Version: 1.0 Date: Wed, 12 Jul 2023 04:00:33 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: Subject: Re: [PATCH v3 2/2] gnu: nix: Update to 2.16.1 To: 63893-done@debbugs.gnu.org, "Zhu Zihao" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63893-done Cc: control@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.7 (-) Hi Zhu, Thanks for the contribution. APPLIED. Sorry for the delay. I tested this patch series in the following Guix container: (use-modules (gnu)) (use-package-modules certs package-management) (use-service-modules nix) (define %simple-os (operating-system (host-name "komputilo") (timezone "Europe/Berlin") (locale "en_US.UTF-8") (bootloader (bootloader-configuration (bootloader grub-bootloader) (targets '("/dev/sdX")))) (file-systems (cons (file-system (device (file-system-label "my-root")) (mount-point "/") (type "ext4")) %base-file-systems)) (firmware '()) (packages (cons nss-certs %base-packages)) (users (cons (user-account (name "alice") (comment "Bob's sister") (group "users") (supplementary-groups '("wheel" "audio" "video"))) %base-user-accounts)))) (define-syntax-rule (simple-operating-system user-services ...) "Return an operating system that includes USER-SERVICES in addition to %BASE-SERVICES." (operating-system (inherit %simple-os) (services (cons* user-services ... %base-services)))) (simple-operating-system (service nix-service-type)) Session: root@komputilo /# nnn bash: nnn: command not found root@komputilo /# ls . ./ ../=20 root@komputilo=20/# ls -a ./ ../ bin/ dev/ etc/ gnu/ home/ nix/ proc/ root/ run/ tmp/ usr= / var/ root@komputilo /# cd root root@komputilo /root# ls root@komputilo /root# ls -a ./ ../ .Xdefaults .bash_profile .bashrc .cache/ .config/ .guile .ni= x-channels .nix-defexpr/ .nix-profile .zprofile root@komputilo /root# ls .nix-profile bin manifest.nix share root@komputilo /root# ls .nix-profile/bin/ nnn root@komputilo /root# .nix-profile/bin/nnn=20=20=20 set=20HOME root@komputilo /root# ./.nix-profile/bin/nnn set HOME root@komputilo /root# export HOME=3D/home/root root@komputilo /root# ./.nix-profile/bin/nnn root@komputilo /root# nix-env -q WARNING: terminal is not fully functional Press RETURN to continue=20 nnn-4.8 root@komputilo=20/root# nix-env --version nix-env (Nix) 2.16.1 From unknown Fri Jun 20 19:49: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: Wed, 09 Aug 2023 11:24:15 +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