systems: remove android armv5te platform

this isn’t useful any more because the ndk we use no longer supports it.
This commit is contained in:
Matthew Bauer 2019-04-10 01:31:04 -04:00
parent 67e6e031e1
commit ac491d2df7
2 changed files with 1 additions and 11 deletions

View file

@ -253,16 +253,6 @@ rec {
kernelTarget = "zImage";
};
# https://developer.android.com/ndk/guides/abis#armeabi
armv5te-android = {
name = "armeabi";
gcc = {
arch = "armv5te";
float = "soft";
float-abi = "soft";
};
};
# https://developer.android.com/ndk/guides/abis#v7a
armv7a-android = {
name = "armeabi-v7a";

View file

@ -27,7 +27,7 @@ let
"x86_64-unknown-linux-android" = {
triple = "x86_64-linux-android";
arch = "x86_64";
toolchain = "x86";
toolchain = "x86_64";
gccVer = "4.9";
};
"armv7a-unknown-linux-androideabi" = {