2013-02-21 17:06:03 +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-02-21 17:06:03 +00:00
|
|
|
name = "gummiboot-23";
|
2013-02-01 22:42:19 +00:00
|
|
|
|
2013-02-21 17:06:03 +00:00
|
|
|
buildInputs = [ unzip pkgconfig utillinux libxslt docbook_xsl docbook_xml_dtd_42 ];
|
2013-02-03 00:38:56 +00:00
|
|
|
|
2013-02-01 22:42:19 +00:00
|
|
|
patches = [ ./no-usr.patch ];
|
|
|
|
|
2013-02-21 17:06:03 +00:00
|
|
|
buildFlags = [ "GNU_EFI=${gnu_efi}" ];
|
2013-02-01 22:42:19 +00:00
|
|
|
|
2013-02-21 17:06:03 +00:00
|
|
|
makeFlags = [ "PREFIX=$(out)" ];
|
2013-02-01 22:42:19 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2013-02-03 00:38:56 +00:00
|
|
|
url = "http://cgit.freedesktop.org/gummiboot/snapshot/${name}.zip";
|
2013-02-21 17:06:03 +00:00
|
|
|
sha256 = "1lmfk4k52ha00ppna5g7h51vhd27i9fipf5k7mc2d9jkm2480z4j";
|
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
|
|
|
};
|
|
|
|
}
|