On Sat, Nov 05, 2016 at 12:55:11PM +0000, Marius Bakke wrote:
> * gnu/packages/grub.scm (grub-efi): New variable.
> ---
> gnu/packages/grub.scm | 21 +++++++++++++++++++++
> 1 file changed, 21 insertions(+)
>
> diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm
> index ffce1bf..e06216f 100644
> --- a/gnu/packages/grub.scm
> +++ b/gnu/packages/grub.scm
> @@ -157,3 +157,24 @@ 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 (string-append (package-synopsis grub) " (UEFI version)"))
> + (inputs
> + `(("efibootmgr" ,efibootmgr)
> + ,@(package-inputs grub)))
> + (arguments
> + #:tests? #f ; FIXME: 40 failures, 24 skipped, 17 passed.
Does this package work for you?
