diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py index 31b33271..aeeaa0e8 100644 --- a/buildserver/config.buildserver.py +++ b/buildserver/config.buildserver.py @@ -9,6 +9,7 @@ ndk_paths = { 'r16b': "/home/vagrant/android-ndk/r16b", 'r17b': "/home/vagrant/android-ndk/r17b", 'r18b': "/home/vagrant/android-ndk/r18b", + 'r19': "/home/vagrant/android-ndk/r19", } java_paths = { '8': "/usr/lib/jvm/java-8-openjdk-amd64", diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk index 1a382563..ce5608a0 100644 --- a/buildserver/provision-android-ndk +++ b/buildserver/provision-android-ndk @@ -15,7 +15,7 @@ if [ ! -e $NDK_BASE/r10e ]; then mv android-ndk-r10e r10e fi -for version in r11c r12b r13b r14b r15c r16b r17b r18b; do +for version in r11c r12b r13b r14b r15c r16b r17b r18b r19; do if [ ! -e ${NDK_BASE}/${version} ]; then unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null mv android-ndk-${version} ${version} diff --git a/examples/config.py b/examples/config.py index 42ef3cd3..5f0be273 100644 --- a/examples/config.py +++ b/examples/config.py @@ -20,6 +20,7 @@ # 'r16b': None, # 'r17b': None, # 'r18b': None, +# 'r19': None, # } # Directory to store downloaded tools in (i.e. gradle versions) diff --git a/makebuildserver b/makebuildserver index 4a1f932c..8023fc58 100755 --- a/makebuildserver +++ b/makebuildserver @@ -373,6 +373,8 @@ cachefiles = [ '5dfbbdc2d3ba859fed90d0e978af87c71a91a5be1f6e1c40ba697503d48ccecd'), ('https://dl.google.com/android/repository/android-ndk-r18b-linux-x86_64.zip', '4f61cbe4bbf6406aa5ef2ae871def78010eed6271af72de83f8bd0b07a9fd3fd'), + ('https://dl.google.com/android/repository/android-ndk-r19-linux-x86_64.zip', + 'c0a2425206191252197b97ea5fcc7eab9f693a576e69ef4773a9ed1690feed53'), ]