chiark / gitweb /
makebuildserver: remove NDK r9b to save 1.6 GB of disk space
[fdroidserver.git] / buildserver / provision-android-ndk
1 #!/bin/bash
2 #
3
4 echo $0
5 set -e
6
7 NDK_BASE=$1
8
9 test -e $NDK_BASE || mkdir -p $NDK_BASE
10 cd $NDK_BASE
11
12 if [ ! -e $NDK_BASE/r10e ]; then
13     7zr x /vagrant/cache/android-ndk-r10e-linux-x86_64.bin > /dev/null
14     mv android-ndk-r10e r10e
15 fi
16
17 for f in /vagrant/cache/android-ndk-r[1-9][0-9]*-linux-x86_64.zip; do
18     version=`echo $f |sed  's,.*\(r[1-9][0-9][a-z]\?\).*,\1,'`
19     if [ ! -e ${NDK_BASE}/${version} ]; then
20         unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
21         mv android-ndk-${version} ${version}
22     fi
23 done
24
25 chmod -R a+rX $NDK_BASE/
26 find $NDK_BASE/ -type f -executable -print0 | xargs -0 chmod a+x