diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..88d34beba81b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,23 @@ +# Maintainer: Jakub Schmidtke <sjakub-at-gmail-dot-com> + +_rev=r05 +_ver=4.1.2 +_api=16 +pkgname=android-platform-${_api} +pkgver=${_ver}_${_rev} +pkgrel=1 +pkgdesc="Android SDK Platform, API-${_api}" +arch=('any') +url="http://developer.android.com/sdk/index.html" +license=('custom') +depends=('android-sdk') +options=('!strip') +source=("http://dl-ssl.google.com/android/repository/android-${_api}_${_rev}.zip") +sha1sums=('12a5ce6235a76bc30f62c26bda1b680e336abd07') + +package() { + mkdir -p "${pkgdir}/opt/android-sdk/platforms/" + mv "${srcdir}/android-${_ver}" "${pkgdir}/opt/android-sdk/platforms/android-${_api}" + + chmod -R ugo+rX "${pkgdir}/opt" +} |