[Android] Update to NDK 15 (#3233)

Also improve SDK installation for ease of setting up development system.

This also puts in place most of the missing pieces to finish the intent in #3064.
This commit is contained in:
Frans de Jonge
2017-09-17 16:04:43 +02:00
committed by GitHub
parent 80d8e44bde
commit 4360837e3b
3 changed files with 3 additions and 3 deletions

2
base

Submodule base updated: 999741af6d...ba97174c9a

2
kodev
View File

@@ -157,7 +157,7 @@ ${SUPPORTED_TARGETS}"
# some distributions use `ANDROID_NDK` instead, fall back to it
export NDK="${ANDROID_NDK}"
else
export NDK="${CURDIR}/base/toolchain/android-ndk-r12b"
export NDK="${CURDIR}/base/toolchain/android-ndk-r15c"
fi
fi
[ -e "${CURDIR}/base/toolchain/android-toolchain/bin/arm-linux-androideabi-gcc" ] || {