mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-04 22:40:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

makebuildserver: add NDK r15b

Browse source
This commit is contained in:
relan 2017-07-04 11:44:25 +03:00
parent ecdb2c685a
commit 86b403b599
5 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
buildserver/config.buildserver.py
View file

@ -6,6 +6,7 @@ ndk_paths = {
'r12b': "/home/vagrant/android-ndk/r12b",
'r13b': "/home/vagrant/android-ndk/r13b",
'r14b': "/home/vagrant/android-ndk/r14b",
'r15b': "/home/vagrant/android-ndk/r15b",
}
qt_sdk_path = "/home/vagrant/qt-sdk/5.7.0/5.7"
java_paths = {

5
buildserver/provision-android-ndk
View file

@ -40,5 +40,10 @@ if [ ! -e $NDK_BASE/r14b ]; then
mv android-ndk-r14b r14b
fi
if [ ! -e $NDK_BASE/r15b ]; then
unzip /vagrant/cache/android-ndk-r15b-linux-x86_64.zip > /dev/null
mv android-ndk-r15b r15b
fi
chmod -R a+rX $NDK_BASE/
find $NDK_BASE/ -type f -executable -print0 | xargs -0 chmod a+x