2013-10-09 13:52:08 +00: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 {
|
2013-10-09 13:52:08 +00:00
|
|
|
name = "gummiboot-38";
|
2013-02-01 22:42:19 +00:00
|
|
|
|
2013-10-09 13:52:08 +00:00
|
|
|
buildInputs = [ gnu-efi pkgconfig libxslt utillinux ];
|
2013-02-03 00:38:56 +00:00
|
|
|
|
2013-10-09 13:52:08 +00: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 {
|
2013-10-09 13:52:08 +00:00
|
|
|
url = http://pkgs.fedoraproject.org/repo/pkgs/gummiboot/gummiboot-38.tar.xz/0504791387e1998bf2075728c237f27e/gummiboot-38.tar.xz;
|
|
|
|
|
sha256 = "1aid2a29ym8dqldxpcihnrls7vrr9ijbla3dad0r8qwkca43d4lm";
|
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
|
|
|
};
|
|
|
|
|
}
|
