2013-10-09 14:52:08 +01:00
|
|
|
{ stdenv, fetchurl, gnu-efi, unzip, pkgconfig, utillinux, libxslt, docbook_xsl, docbook_xml_dtd_42 }:
|
2013-02-01 22:42:19 +00:00
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2014-02-03 23:48:05 +00:00
|
|
|
name = "gummiboot-43";
|
2013-02-01 22:42:19 +00:00
|
|
|
|
2013-10-09 14:52:08 +01:00
|
|
|
buildInputs = [ gnu-efi pkgconfig libxslt utillinux ];
|
2013-02-03 00:38:56 +00:00
|
|
|
|
2013-10-09 14:52:08 +01:00
|
|
|
# Sigh, gummiboot should be able to find this in buildInputs
|
|
|
|
|
configureFlags = [
|
|
|
|
|
"--with-efi-includedir=${gnu-efi}/include"
|
|
|
|
|
"--with-efi-libdir=${gnu-efi}/lib"
|
|
|
|
|
"--with-efi-ldsdir=${gnu-efi}/lib"
|
|
|
|
|
];
|
2013-02-01 22:42:19 +00:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2014-02-03 23:48:05 +00:00
|
|
|
url = http://pkgs.fedoraproject.org/repo/pkgs/gummiboot/gummiboot-43.tar.xz/c9b46a3504a2f7e335404a1475818d98/gummiboot-43.tar.xz;
|
|
|
|
|
sha256 = "1hwaan3985ap9r5ncf9bykbaixbm0xn4x09silssngwfl2srn4iv";
|
2013-02-01 22:42:19 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
|
description = "A simple UEFI boot manager which executes configured EFI images";
|
|
|
|
|
|
|
|
|
|
homepage = http://freedesktop.org/wiki/Software/gummiboot;
|
|
|
|
|
|
|
|
|
|
license = stdenv.lib.licenses.lgpl21Plus;
|
|
|
|
|
|
2013-02-02 16:02:44 +00:00
|
|
|
platforms = [ "x86_64-linux" "i686-linux" ];
|
2013-02-01 22:50:41 +00:00
|
|
|
|
|
|
|
|
maintainers = [ stdenv.lib.maintainers.shlevy ];
|
2013-02-01 22:42:19 +00:00
|
|
|
};
|
|
|
|
|
}
|
