From unknown Sat Aug 16 13:49:46 2025 X-Loop: help-debbugs@gnu.org Subject: bug#55951: Lowering an is sensitive to (%current-system) Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 13 Jun 2022 21:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 55951 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 55951@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.165515540325238 (code B ref -1); Mon, 13 Jun 2022 21:24:02 +0000 Received: (at submit) by debbugs.gnu.org; 13 Jun 2022 21:23:23 +0000 Received: from localhost ([127.0.0.1]:60627 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o0rWt-0006Z0-9Q for submit@debbugs.gnu.org; Mon, 13 Jun 2022 17:23:23 -0400 Received: from lists.gnu.org ([209.51.188.17]:36686) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o0rWr-0006Ys-HC for submit@debbugs.gnu.org; Mon, 13 Jun 2022 17:23:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46068) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o0rWq-00011O-E2 for bug-guix@gnu.org; Mon, 13 Jun 2022 17:23:21 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:48572) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o0rWm-0000qm-Kc for bug-guix@gnu.org; Mon, 13 Jun 2022 17:23:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:Subject:To:From:in-reply-to: references; bh=RwWqWu13XphSph+4djbFTGp7lXcciIXAVTRz28LeaPk=; b=LZyLjaCEwhbDqM ek1jxvw5Y6T9O10n1BMxAovRAHPpe6nO3cAR2Beek09XDp5vFyk1awDi1o4BjS2usQJUYwZoHW+1l iQeDqKykXebiAkVr+Eiwj8NViNDmZ0bbDw5Vof6BIuJ5WHPRez0WCRCf8VlBGbSjRZ1PKIubk3RvV qQlxUiFsoBxo1JuGGqyzQl12WPsmuiPkeDIaRstRQkM0+wOpBLP8veIxVY+Vrj8UWQfMTyHd2zvwM tdWH0Pkycw8e5J3DNLkAqwBSykilnEI5kn7RKR0b9D0QsQPMqGi8vVWC2LYHhozJLz9WC3RnZzaGR OYgIpr33jHagI7GkmdGA==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:64737 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o0rWm-0007Ih-83 for bug-guix@gnu.org; Mon, 13 Jun 2022 17:23:16 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Quintidi 25 Prairial an 230 de la =?UTF-8?Q?R=C3=A9volution,?= jour de la Tanche X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Jun 2022 23:23:14 +0200 Message-ID: <87fsk8ntq5.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Consider this file: --8<---------------cut here---------------start------------->8--- (use-modules (guix)) (lambda () (lower-object (load "overdrive1.scm") "aarch64-linux")) --8<---------------cut here---------------end--------------->8--- When ran on x86_64-linux, these two commands return different derivations, contrary to what one might expect: guix build -f that-file.scm -d --no-grafts -s aarch64-linux guix build -f that-file.scm -d --no-grafts That demonstrates that the result depends on (%current-system), even though it shouldn=E2=80=99t because we=E2=80=99re explicitly specifying the= system. This has implications on =E2=80=98guix deploy=E2=80=99: if you try to deploy aarch64-linux boxes from x86_64-linux (say), some of the derivations are going to be for x86_64-linux instead of aarch64-linux, which can lead to unbootable systems, as Ricardo reported a while back. In particular, /gnu/store/=E2=80=A6-activate.scm.drv (a direct dependency /gnu/store/=E2=80=A6-system.drv) is one of those derivations sensitive to (%current-system). Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 14 02:54:19 2022 Received: (at control) by debbugs.gnu.org; 14 Jun 2022 06:54:19 +0000 Received: from localhost ([127.0.0.1]:60994 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o10RP-0004qS-Dj for submit@debbugs.gnu.org; Tue, 14 Jun 2022 02:54:19 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55518) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o10RK-0004qC-Qg for control@debbugs.gnu.org; Tue, 14 Jun 2022 02:54:18 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:58408) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o10RF-0006IV-HU for control@debbugs.gnu.org; Tue, 14 Jun 2022 02:54:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:Subject:From:To:Date:in-reply-to: references; bh=BvmULkd5wuAbwEG33CMdSTZcmyvIYHjbTpQwLobphRY=; b=TRLiNCMnb/FaoO PV4VqvLjJ5mJHjJ3cf28f0jbMXDk84FioM65KDvUdi61c5+JltwAC5KkomTBu9fyrfP1WCW1kIXSQ 7iZvO5x7u+cjoTIWi1wIcYIfBrlBRhmi2EYTVHp+4iCLj/CFXSR/cF1ENg3lbxsrfIRblQWxDUMqP sehioOiMBwYCmGSOFDGjNPBgV0sLcpXCfcaefDSFCdXzkPMc6hg73eZUq9Feqtt8I8NSdlVoAQcYr 0bTXM6NxazEdUVAtIFWFXMZkNx7fPCm1PrpVaM4+RUeseK1R0/2vw45Nefp1fMMMbBNBfg1ifgJPy wPXKlMyP18A3c5+L4g7A==; Received: from [193.50.110.53] (port=46532 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o10RF-0003Vj-4Y for control@debbugs.gnu.org; Tue, 14 Jun 2022 02:54:09 -0400 Date: Tue, 14 Jun 2022 08:54:07 +0200 Message-Id: <87edzrohv4.fsf@gnu.org> To: control@debbugs.gnu.org From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: control message for bug #55951 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control 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 (---) severity 55951 important quit From unknown Sat Aug 16 13:49:46 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Subject: bug#55951: closed (Re: bug#55951: Lowering an is sensitive to (%current-system)) Message-ID: References: <87sfo6vpt5.fsf@gnu.org> <87fsk8ntq5.fsf@inria.fr> X-Gnu-PR-Message: they-closed 55951 X-Gnu-PR-Package: guix Reply-To: 55951@debbugs.gnu.org Date: Tue, 14 Jun 2022 22:34:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1655246042-17690-1" This is a multi-part message in MIME format... ------------=_1655246042-17690-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #55951: Lowering an is sensitive to (%current-system) which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 55951@debbugs.gnu.org. --=20 55951: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D55951 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1655246042-17690-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 55951-done) by debbugs.gnu.org; 14 Jun 2022 22:33:03 +0000 Received: from localhost ([127.0.0.1]:36034 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o1F5r-0004a7-5G for submit@debbugs.gnu.org; Tue, 14 Jun 2022 18:33:03 -0400 Received: from eggs.gnu.org ([209.51.188.92]:47888) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o1F5q-0004Zc-1j for 55951-done@debbugs.gnu.org; Tue, 14 Jun 2022 18:33:02 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46042) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o1F5k-0005Jv-R5 for 55951-done@debbugs.gnu.org; Tue, 14 Jun 2022 18:32:56 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=UZ1wN84VlhUNMunrkxa3Zwf0rE6T/W3z4T2fiilZuOA=; b=Pmt+96uewooxCwOh/uEH 5UuPNxpO07vDSXd6/XzIGSTkaWKQsdDk915rJ9sLajt0ZD29PJo+8fEPKBag/XQOe7wFSP59/Q9ae Rj+oy6hbmFTv5dnTrEl2KMJPXsMANgIidBrkpGV5uRBVGpAaynDVgWOuFSTduFJ655nuXH8KmdtUp AWibqtxN7SdJMOMVyrXcrMk3H3RG1xYU/A29rFuDpEugqwaLtkhZclWG7bLE3zwdcFUMOUbG3NuQ2 YDEY0QjjKQGp1c9kMs/DbsUe266yuGpV2/eJ6jQKbsMDzBEd89L/VxMZPgcJJ/OKZPXCESfgKEvuw e3ia4MUV7xBdBg==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:50958 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o1F5k-0000az-Dr for 55951-done@debbugs.gnu.org; Tue, 14 Jun 2022 18:32:56 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: 55951-done@debbugs.gnu.org Subject: Re: bug#55951: Lowering an is sensitive to (%current-system) References: <87fsk8ntq5.fsf@inria.fr> Date: Wed, 15 Jun 2022 00:32:54 +0200 In-Reply-To: <87fsk8ntq5.fsf@inria.fr> ("Ludovic =?utf-8?Q?Court=C3=A8s=22?= =?utf-8?Q?'s?= message of "Mon, 13 Jun 2022 23:23:14 +0200") Message-ID: <87sfo6vpt5.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 55951-done 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 (---) Ludovic Court=C3=A8s skribis: > Consider this file: > > (use-modules (guix)) > > (lambda () > (lower-object (load "overdrive1.scm") "aarch64-linux")) > > When ran on x86_64-linux, these two commands return different > derivations, contrary to what one might expect: > > guix build -f that-file.scm -d --no-grafts -s aarch64-linux > guix build -f that-file.scm -d --no-grafts Fixed in 7046e777212233b89df68379c270b448c45195ce. Ludo=E2=80=99. ------------=_1655246042-17690-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 13 Jun 2022 21:23:23 +0000 Received: from localhost ([127.0.0.1]:60627 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o0rWt-0006Z0-9Q for submit@debbugs.gnu.org; Mon, 13 Jun 2022 17:23:23 -0400 Received: from lists.gnu.org ([209.51.188.17]:36686) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o0rWr-0006Ys-HC for submit@debbugs.gnu.org; Mon, 13 Jun 2022 17:23:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46068) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o0rWq-00011O-E2 for bug-guix@gnu.org; Mon, 13 Jun 2022 17:23:21 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:48572) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o0rWm-0000qm-Kc for bug-guix@gnu.org; Mon, 13 Jun 2022 17:23:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:Subject:To:From:in-reply-to: references; bh=RwWqWu13XphSph+4djbFTGp7lXcciIXAVTRz28LeaPk=; b=LZyLjaCEwhbDqM ek1jxvw5Y6T9O10n1BMxAovRAHPpe6nO3cAR2Beek09XDp5vFyk1awDi1o4BjS2usQJUYwZoHW+1l iQeDqKykXebiAkVr+Eiwj8NViNDmZ0bbDw5Vof6BIuJ5WHPRez0WCRCf8VlBGbSjRZ1PKIubk3RvV qQlxUiFsoBxo1JuGGqyzQl12WPsmuiPkeDIaRstRQkM0+wOpBLP8veIxVY+Vrj8UWQfMTyHd2zvwM tdWH0Pkycw8e5J3DNLkAqwBSykilnEI5kn7RKR0b9D0QsQPMqGi8vVWC2LYHhozJLz9WC3RnZzaGR OYgIpr33jHagI7GkmdGA==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:64737 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o0rWm-0007Ih-83 for bug-guix@gnu.org; Mon, 13 Jun 2022 17:23:16 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: bug-guix@gnu.org Subject: Lowering an is sensitive to (%current-system) X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Quintidi 25 Prairial an 230 de la =?utf-8?Q?R=C3=A9v?= =?utf-8?Q?olution=2C?= jour de la Tanche X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Jun 2022 23:23:14 +0200 Message-ID: <87fsk8ntq5.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.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: -3.3 (---) Consider this file: --8<---------------cut here---------------start------------->8--- (use-modules (guix)) (lambda () (lower-object (load "overdrive1.scm") "aarch64-linux")) --8<---------------cut here---------------end--------------->8--- When ran on x86_64-linux, these two commands return different derivations, contrary to what one might expect: guix build -f that-file.scm -d --no-grafts -s aarch64-linux guix build -f that-file.scm -d --no-grafts That demonstrates that the result depends on (%current-system), even though it shouldn=E2=80=99t because we=E2=80=99re explicitly specifying the= system. This has implications on =E2=80=98guix deploy=E2=80=99: if you try to deploy aarch64-linux boxes from x86_64-linux (say), some of the derivations are going to be for x86_64-linux instead of aarch64-linux, which can lead to unbootable systems, as Ricardo reported a while back. In particular, /gnu/store/=E2=80=A6-activate.scm.drv (a direct dependency /gnu/store/=E2=80=A6-system.drv) is one of those derivations sensitive to (%current-system). Ludo=E2=80=99. ------------=_1655246042-17690-1--