bug#65225: ‘guix shell --system=ALIEN’ builds for both systems

Hi Simon, Simon Tournier writes: > Hi Maxim, > > On Fri, 20 Oct 2023 at 18:46, Maxim Cournoyer > wrote: > >> I see the cover letter, but not the patches :-). Where did they go? > > They are in #66640 [1]. The cover letter had been CC: > 65...@debbugs.gnu.org, I guess. Thanks! -- Maxim

bug#65225: ‘guix shell --system=ALIEN’ builds for both systems

Hi Maxim, On Fri, 20 Oct 2023 at 18:46, Maxim Cournoyer wrote: > I see the cover letter, but not the patches :-). Where did they go? They are in #66640 [1]. The cover letter had been CC: 65...@debbugs.gnu.org, I guess. 1: https://issues.guix.gnu.org/issue/66640 Cheers, simon

bug#65225: ‘guix shell --system=ALIEN’ builds for both systems

Hi, Ludovic Courtès writes: > Hello Guix, > > This fixes , ensuring that profile > hooks are built for the right system. It does so by passing each > profile hook the targeted system. > > Thoughts? > > Thanks, > Ludo'. > > Ludovic Courtès (2): > packages: Ad

bug#65225: ‘guix shell --system=ALIEN’ builds for both systems

Oh OK. the code that's injecting a spurious extra ‘(system . (%current-system))’ that's causing these double builds is not actually the problem. Instead, the profile hooks are unconditionally built for the host's (%current-system). Forcing them to match ‘--system=’ does the trick. Simple™

bug#65225: ‘guix shell --system=ALIEN’ builds for both systems

Oh, OK. Parts of scripts/shell.scm (and perhaps environment.scm) assume that $ guix build --system={x86_64,riscv64}-linux foo is equivalent to $ guix build --system=riscv64-linux foo It's not. This includes and causes things like commit 9c513303156b418567b9d2cde9f8df66190051ac. There's a l

bug#65225: ‘guix shell --system=ALIEN’ builds for both systems

Hi, ekaitz noticed this when building a mes-derived package that fails on x86_64. Here's a reproducer that uses upstream Guix: $ guix shell --system=riscv64-linux drawterm --no-grafts --rebuild-cache --dry-run | grep drv$ /gnu/store/4c02fgswkbldys93w4vgj0gwax2ly4bh-profile.drv $ guix bui