diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-12-16 14:44:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-16 14:45:56 +0100 |
| commit | 3eee16130d858ae96510ec1c7d38d31290de2699 (patch) | |
| tree | 1c34d91218fdfc66ac2fa3d1a77e5287769724f1 /gnu/packages/grub.scm | |
| parent | 5597b3ae0809abd9d94099ea5cd09c2a176e3f6f (diff) | |
| download | patches-3eee16130d858ae96510ec1c7d38d31290de2699.tar patches-3eee16130d858ae96510ec1c7d38d31290de2699.tar.gz | |
gnu: grub: Add dependency on efibootmgr.
Suggested by Marius Bakke <mbakke@fastmail.com>.
* gnu/packages/grub.scm (grub)[arguments]: In 'patch-stuff', set
efibootmgr absolute file name in 'platform.c'.
[inputs]: Add EFIBOOTMGR.
Diffstat (limited to 'gnu/packages/grub.scm')
| -rw-r--r-- | gnu/packages/grub.scm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm index ef7395e95e..83304b8501 100644 --- a/gnu/packages/grub.scm +++ b/gnu/packages/grub.scm @@ -115,6 +115,12 @@ (assoc-ref inputs "mdadm") "/sbin/mdadm\""))) + ;; Ditto for efibootmgr. + (substitute* "grub-core/osdep/unix/platform.c" + (("efibootmgr") + (string-append (assoc-ref inputs "efibootmgr") + "/sbin/efibootmgr"))) + ;; Make the font visible. (copy-file (assoc-ref inputs "unifont") "unifont.bdf.gz") (system* "gunzip" "unifont.bdf.gz") @@ -129,6 +135,9 @@ (inputs `(("gettext" ,gettext-minimal) + ;; For {U,}EFI. + ("efibootmgr" ,efibootmgr) + ;; Depend on LVM2 for libdevmapper, used by 'grub-probe' and ;; 'grub-install' to recognize mapped devices (LUKS, etc.) ("lvm2" ,lvm2) |