Lowering an <operating-system> is sensitive to (%current-system)

  • Done
  • quality assurance status badge
Details
One participant
  • Ludovic Courtès
Owner
unassigned
Submitted by
Ludovic Courtès
Severity
important
L
L
Ludovic Courtès wrote on 13 Jun 2022 23:23
(address . bug-guix@gnu.org)
87fsk8ntq5.fsf@inria.fr
Consider this file:

Toggle snippet (6 lines)
(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

That demonstrates that the result depends on (%current-system), even
though it shouldn’t because we’re explicitly specifying the system.

This has implications on ‘guix deploy’: 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/…-activate.scm.drv (a direct dependency
/gnu/store/…-system.drv) is one of those derivations sensitive to
(%current-system).

Ludo’.
L
L
Ludovic Courtès wrote on 14 Jun 2022 08:54
control message for bug #55951
(address . control@debbugs.gnu.org)
87edzrohv4.fsf@gnu.org
severity 55951 important
quit
L
L
Ludovic Courtès wrote on 15 Jun 2022 00:32
Re: bug#55951: Lowering an <operating-system> is sensitive to (%current-system)
(address . 55951-done@debbugs.gnu.org)
87sfo6vpt5.fsf@gnu.org
Ludovic Courtès <ludo@gnu.org> skribis:

Toggle quote (13 lines)
> 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’.
Closed
?