diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2016-10-20 17:26:52 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2016-12-19 23:43:47 +0100 |
| commit | acb5f7c3fcdd0666ed21dd9979d905d6a2b064cd (patch) | |
| tree | 9c20a679d2088b068d9065e328f00aef12c420c7 | |
| parent | 7d0910d4a7670d353f7eeab44ee72e943fed234b (diff) | |
| download | patches-acb5f7c3fcdd0666ed21dd9979d905d6a2b064cd.tar patches-acb5f7c3fcdd0666ed21dd9979d905d6a2b064cd.tar.gz | |
gnu: Add grub-efi.
* gnu/packages/grub.scm (grub-efi): New variable.
| -rw-r--r-- | gnu/packages/grub.scm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm index 317ed03573..3658f221ce 100644 --- a/gnu/packages/grub.scm +++ b/gnu/packages/grub.scm @@ -133,3 +133,29 @@ on the same computer; upon booting the computer, the user is presented with a menu to select one of the installed operating systems.") (license gpl3+) (properties '((cpe-name . "grub2"))))) + +(define-public grub-efi + (package + (inherit grub) + (name "grub-efi") + (synopsis "GRand Unified Boot loader (UEFI version)") + (inputs + `(("efibootmgr" ,efibootmgr) + ,@(package-inputs grub))) + (arguments + `(;; TODO: Tests need a UEFI firmware for qemu. There is one at + ;; https://github.com/tianocore/edk2/tree/master/OvmfPkg . + ;; Search for 'OVMF' in "tests/util/grub-shell.in". + #:tests? #f + ,@(substitute-keyword-arguments (package-arguments grub) + ((#:configure-flags flags) `(cons* "--with-platform=efi" + ,flags)) + ((#:phases phases) + `(modify-phases ,phases + (add-after 'patch-stuff 'use-absolute-efibootmgr-path + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "grub-core/osdep/unix/platform.c" + (("efibootmgr") + (string-append (assoc-ref inputs "efibootmgr") + "/sbin/efibootmgr"))) + #t))))))))) |