GNU bug report logs - #75299
[PATCH v1] gnu: Add grub-emu.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#75299: closed ([PATCH v1] gnu: Add grub-emu.)
Date: Sun, 23 Feb 2025 22:50:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sun, 23 Feb 2025 23:49:36 +0100
with message-id <87bjusuvi7.fsf <at> gnu.org>
and subject line Re: bug#75299: [PATCH v1] gnu: Add grub-emu.
has caused the debbugs.gnu.org bug report #75299,
regarding [PATCH v1] gnu: Add grub-emu.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
75299: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75299
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
To: guix-patches <at> gnu.org
Cc: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
Subject: [PATCH v1] gnu: Add grub-emu.
Date: Thu,  2 Jan 2025 20:54:13 +0100

* gnu/packages/bootloaders.scm (grub-emu): New variable.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
Change-Id: Ia70246841e612b1fe1cb70001b9a6420cb7a63ea
---
 gnu/packages/bootloaders.scm | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index b5cfacca4b..54162e9d1e 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -475,6 +475,16 @@ (define-public grub-efi32
             (cross-binutils "arm-linux-gnueabihf")))
          (package-native-inputs grub-efi)))))
 
+(define-public grub-emu
+  (package
+    (inherit grub)
+    (name "grub-emu")
+    (synopsis "GRand Unified Boot loader (Emu version)")
+    (arguments
+     (substitute-keyword-arguments (package-arguments grub)
+       ((#:configure-flags flags #~'())
+        #~(cons* "--with-platform=emu" #$flags))))))
+
 ;; Because grub searches hardcoded paths it's easiest to just build grub
 ;; again to make it find both grub-pc and grub-efi.  There is a command
 ;; line argument which allows you to specify ONE platform - but

base-commit: 8c11f8740a52339f51fe1841658e8e549589f2e2
-- 
2.46.0

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
Cc: Vagrant Cascadian <vagrant <at> debian.org>, 75299-done <at> debbugs.gnu.org,
 Efraim Flashner <efraim <at> flashner.co.il>
Subject: Re: bug#75299: [PATCH v1] gnu: Add grub-emu.
Date: Sun, 23 Feb 2025 23:49:36 +0100

[Message part 4 (text/plain, inline)]

Hi Denis,

Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org> skribis:

> * gnu/packages/bootloaders.scm (grub-emu): New variable.
>
> Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
> Change-Id: Ia70246841e612b1fe1cb70001b9a6420cb7a63ea

Applied with the change below (‘package/inherit’ ensures that the
‘replacement’ field, if any, is inherited by variants.)

Ludo’.

[Message part 5 (text/x-patch, inline)]

diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 21cd98a55c2..b2f2adf26e7 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -476,8 +476,7 @@ (define-public grub-efi32
          (package-native-inputs grub-efi)))))
 
 (define-public grub-emu
-  (package
-    (inherit grub)
+  (package/inherit grub
     (name "grub-emu")
     (synopsis "GRand Unified Boot loader (Emu version)")
     (arguments

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.