summaryrefslogtreecommitdiffstats
path: root/pkgs/development
diff options
context:
space:
mode:
authorMichael Raskin <7c6f434c@mail.ru>2014-06-30 10:29:28 +0400
committerMichael Raskin <7c6f434c@mail.ru>2014-06-30 10:29:28 +0400
commit5a8a92c01a889f070d932508e6ad0ab9db7116cb (patch)
treebc409cc2f3293eed4b7739e040c05aa3a69eeb38 /pkgs/development
parentd001de0100c60c6b809b6aa95e8c4996097f4c2d (diff)
parentaac54c6699cd165177508d0b835e5e081b818057 (diff)
Merge pull request #3007 from wkennington/master.syslinux
syslinux: Update 4.07 -> 6.02
Diffstat (limited to 'pkgs/development')
-rw-r--r--pkgs/development/compilers/nasm/default.nix7
-rw-r--r--pkgs/development/libraries/gnu-efi/default.nix31
2 files changed, 20 insertions, 18 deletions
diff --git a/pkgs/development/compilers/nasm/default.nix b/pkgs/development/compilers/nasm/default.nix
index 8098b9d278f4..8219882a2a21 100644
--- a/pkgs/development/compilers/nasm/default.nix
+++ b/pkgs/development/compilers/nasm/default.nix
@@ -1,11 +1,12 @@
{ stdenv, fetchurl }:
stdenv.mkDerivation rec {
- name = "nasm-2.11.01";
+ name = "nasm-${version}";
+ version = "2.11.05";
src = fetchurl {
- url = "http://www.nasm.us/pub/nasm/releasebuilds/2.11.01/${name}.tar.bz2";
- sha256 = "0p0rhq18in2hyv3gircgxj72n2b1mvr8bvjlqscpaz8m62cyvam7";
+ url = "http://www.nasm.us/pub/nasm/releasebuilds/${version}/${name}.tar.bz2";
+ sha256 = "1sgspnascc0asmwlv3jm1mq4vzx653sa7vlg48z20pfybk7pnhaa";
};
meta = {
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;
+ };
}