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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 75299 in the body.
You can then email your comments to 75299 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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 #10 received at 75299-done <at> debbugs.gnu.org (full text, mbox):

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 1 (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 2 (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.