From 2577f4af0e695fdf2e3b8c0f01a96ca10fb26c25 Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi>
Date: Wed, 1 Jun 2016 10:57:12 +0300
Subject: [PATCH] gnu-efi: Fix build on ARM

For some reason it detects e.g. armv7l and then can't find
'inc/arm/efibind.h'.
---
 pkgs/development/libraries/gnu-efi/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/gnu-efi/default.nix b/pkgs/development/libraries/gnu-efi/default.nix
index 9d6b3a87034..336785e1abd 100644
--- a/pkgs/development/libraries/gnu-efi/default.nix
+++ b/pkgs/development/libraries/gnu-efi/default.nix
@@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
     "AR=ar"
     "RANLIB=ranlib"
     "OBJCOPY=objcopy"
-  ];
+  ] ++ stdenv.lib.optional stdenv.isArm "ARCH=arm";
 
   meta = with stdenv.lib; {
     description = "GNU EFI development toolchain";