# Maintainer: Jakub Schmidtke _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" }