aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/gnu-efi
diff options
context:
space:
mode:
authorWilliam A. Kennington III <william@wkennington.com>2014-06-18 19:39:47 -0500
committerWilliam A. Kennington III <william@wkennington.com>2014-06-24 16:10:13 -0500
commit565f67b15d16861ff386488facaff4a451766875 (patch)
treea0a03de35da831845d1901f4f70a88637c2799fb /pkgs/development/libraries/gnu-efi
parente543a74011fc4079cf82a3c83b0cce3098ae2e07 (diff)
gnu-efi: Update 3.0u -> 3.0v
Additionally, create the include directories so that install populates them.
Diffstat (limited to 'pkgs/development/libraries/gnu-efi')
-rw-r--r--pkgs/development/libraries/gnu-efi/default.nix31
1 files changed, 16 insertions, 15 deletions
diff --git a/pkgs/development/libraries/gnu-efi/default.nix b/pkgs/development/libraries/gnu-efi/default.nix
index 07c3c668793c..f038883bd670 100644
--- a/pkgs/development/libraries/gnu-efi/default.nix
+++ b/pkgs/development/libraries/gnu-efi/default.nix
@@ -1,23 +1,15 @@
-{ stdenv
-, fetchurl
-}:
+{ stdenv, fetchurl }:
-let version = "3.0u"; in stdenv.mkDerivation {
-
- name = "gnu-efi-${version}";
+stdenv.mkDerivation rec {
+ name = "gnu-efi_${version}";
+ version = "3.0v";
src = fetchurl {
- url = "mirror://sourceforge/gnu-efi/gnu-efi_${version}.orig.tar.gz";
- sha256 = "0klkdxh1aqwwfm393q67nxww6liffyp2lfybbnh4q819b06la39w";
+ url = "mirror://sourceforge/gnu-efi/${name}.orig.tar.gz";
+ sha256 = "1pqgpm999l7zb8gh3s0zd2ax6f0n2l4jip7h0d2y91hhcy6zjxn7";
};
- meta = {
- description = "GNU EFI development toolchain";
- homepage = http://sourceforge.net/projects/gnu-efi/;
- license = "GPL";
- maintainers = [ stdenv.lib.maintainers.shlevy ];
- platforms = ["x86_64-linux" "i686-linux"];
- };
+ arch = with stdenv.lib; head (splitString "-" stdenv.system);
makeFlags = [
"CC=gcc"
@@ -34,8 +26,17 @@ let version = "3.0u"; in stdenv.mkDerivation {
'';
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/;
+ license = licenses.bsd3;
+ maintainers = [ stdenv.lib.maintainers.shlevy ];
+ platforms = platforms.linux;
+ };
}