Merge branch 'ndk18' into 'master'

Add NDK r18b

See merge request fdroid/fdroidserver!588

buildserver/config.buildserver.py

@@ -8,6 +8,7 @@ ndk_paths = {
     'r15c': "/home/vagrant/android-ndk/r15c",
     'r16b': "/home/vagrant/android-ndk/r16b",
     'r17b': "/home/vagrant/android-ndk/r17b",
+    'r18b': "/home/vagrant/android-ndk/r18b",
 }
 java_paths = {
     '8': "/usr/lib/jvm/java-8-openjdk-amd64",

buildserver/provision-android-ndk

@@ -14,7 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then
     mv android-ndk-r10e r10e
 fi
 
-for version in r11c r12b r13b r14b r15c r16b r17b; do
+for version in r11c r12b r13b r14b r15c r16b r17b r18b; do
     if [ ! -e ${NDK_BASE}/${version} ]; then
         unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
         mv android-ndk-${version} ${version}

examples/config.py

@@ -19,6 +19,7 @@
 #     'r15c': None,
 #     'r16b': None,
 #     'r17b': None,
+#     'r18b': None,
 # }
 
 # Directory to store downloaded tools in (i.e. gradle versions)

makebuildserver

@@ -423,6 +423,8 @@ cachefiles = [
      'bcdea4f5353773b2ffa85b5a9a2ae35544ce88ec5b507301d8cf6a76b765d901'),
     ('https://dl.google.com/android/repository/android-ndk-r17b-linux-x86_64.zip',
      '5dfbbdc2d3ba859fed90d0e978af87c71a91a5be1f6e1c40ba697503d48ccecd'),
+    ('https://dl.google.com/android/repository/android-ndk-r18b-linux-x86_64.zip',
+     '4f61cbe4bbf6406aa5ef2ae871def78010eed6271af72de83f8bd0b07a9fd3fd'),
 ]