From 9f79ac6f3bbbdee1ea006c292a867184f3985c2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bastian=20K=C3=B6cher?= Date: Tue, 15 May 2018 16:58:37 +0200 Subject: [PATCH] androidndk: Drop 32bit support --- pkgs/development/mobile/androidenv/androidndk.nix | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/pkgs/development/mobile/androidenv/androidndk.nix b/pkgs/development/mobile/androidenv/androidndk.nix index 2fe4005532d..a9908d67f1d 100644 --- a/pkgs/development/mobile/androidenv/androidndk.nix +++ b/pkgs/development/mobile/androidenv/androidndk.nix @@ -6,16 +6,10 @@ stdenv.mkDerivation rec { name = "android-ndk-r10e"; - src = if stdenv.system == "i686-linux" - then fetchurl { - url = "http://dl.google.com/android/ndk/${name}-linux-x86.bin"; - sha256 = "1xbxra5v3bm6cmxyx8yyya5r93jh5m064aibgwd396xdm8jpvc4j"; - } - else if stdenv.system == "x86_64-linux" then fetchurl { + src = if stdenv.system == "x86_64-linux" then fetchurl { url = "http://dl.google.com/android/ndk/${name}-linux-x86_64.bin"; sha256 = "0nhxixd0mq4ib176ya0hclnlbmhm8f2lab6i611kiwbzyqinfb8h"; - } - else throw "platform ${stdenv.system} not supported!"; + } else throw "platform ${stdenv.system} not supported!"; phases = "buildPhase";