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 {
|
2015-05-20 08:27:03 +01:00
|
|
|
name = "gummiboot-48";
|
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 {
|
2015-05-20 08:27:03 +01:00
|
|
|
url = http://pkgs.fedoraproject.org/repo/pkgs/gummiboot/gummiboot-48.tar.xz/05ef3951e8322b76c31f2fd14efdc185/gummiboot-48.tar.xz;
|
|
|
|
|
sha256 = "1bzygyglgglhb3aj77w2qcb0dz9sxgb7lq5krxf6417431h198rg";
|
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:42:19 +00:00
|
|
|
};
|
|
|
|
|
}
|
