chiark / gitweb /
Merge branch 'master' into 'master'
[fdroidserver.git] / buildserver / provision-gradle
1 #!/bin/bash
2
3 set -e
4
5 test -e /opt/gradle/versions || mkdir -p /opt/gradle/versions
6 cd /opt/gradle/versions
7 for f in /vagrant/cache/gradle-*.zip; do
8     ver=`echo $f | sed 's,.*gradle-\([0-9][0-9.]*\).*\.zip,\1,'`
9     if [ ! -d /opt/gradle/versions/${ver} ]; then
10         unzip -qq $f
11         mv gradle-${ver} /opt/gradle/versions/${ver}
12     fi
13 done
14
15 chmod -R a+rX /opt/gradle
16
17 test -e /opt/gradle/bin || mkdir -p /opt/gradle/bin
18 touch /opt/gradle/bin/gradle
19 chown vagrant.vagrant /opt/gradle/bin/gradle
20 chmod 0755 /opt/gradle/bin/gradle