gnu-efi: 3.0b -> 3.0.2

wip/yesman
William A. Kennington III 9 years ago
parent 3ee72b7379
commit d220ea72e5
  1. 25
      pkgs/development/libraries/gnu-efi/default.nix

@ -1,17 +1,18 @@
{ stdenv, fetchurl }:
{ stdenv, fetchurl, pciutils }:
stdenv.mkDerivation rec {
name = "gnu-efi_${version}";
version = "3.0u";
name = "gnu-efi-${version}";
version = "3.0.2";
src = fetchurl {
url = "mirror://sourceforge/gnu-efi/${name}.orig.tar.gz";
sha256 = "0klkdxh1aqwwfm393q67nxww6liffyp2lfybbnh4q819b06la39w";
url = "mirror://sourceforge/gnu-efi/${name}.tar.bz2";
sha256 = "1mxl6xarwickhssn0nc5hyvayyf2cjh5p10l37jd1ymirl75hjqr";
};
arch = with stdenv.lib; head (splitString "-" stdenv.system);
buildInputs = [ pciutils ];
makeFlags = [
"PREFIX=\${out}"
"CC=gcc"
"AS=as"
"LD=ld"
@ -20,18 +21,6 @@ stdenv.mkDerivation rec {
"OBJCOPY=objcopy"
];
buildPhase = ''
make $makeFlags
make $makeFlags -C apps clean all
'';
installPhase = ''
mkdir -pv $out/include/efi/{protocol,$arch}
make PREFIX="$out" $makeFlags install
mkdir -pv $out/share/gnu-efi
install -D -m644 apps/*.efi $out/share/gnu-efi
'';
meta = with stdenv.lib; {
description = "GNU EFI development toolchain";
homepage = http://sourceforge.net/projects/gnu-efi/;

Loading…
Cancel
Save