Advertisement
Guest User

ScalaIDE PKGBUILD

a guest
Mar 10th, 2013
50
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 1.07 KB | None | 0 0
  1. # Maintainer: Kristof Jozsa <kjozsa@fsdev.hu>
  2.  
  3. pkgname=eclipse-scala-ide
  4. pkgver=3.0RC2
  5. pkgrel=1
  6. pkgdesc="Scala IDE for Eclipse"
  7. arch=('any')
  8. url="http://www.scala-ide.org/"
  9. license=('custom')
  10. depends=('eclipse>=3.8')
  11.  
  12. source=($pkgname-$pkgver.zip::"http://download.scala-ide.org/sdk/e38/scala210/dev/update-site.zip"
  13.     "LICENSE"
  14. )
  15.  
  16. md5sums=('b55e9356f506c98cb21ae6b735fa6097'
  17.          '58b225f304aaf42c8b8738894a10cb96')
  18.  
  19. package() {
  20.   install -D -m0644 "$srcdir"/LICENSE "$pkgdir"/usr/share/licenses/${pkgname}/LICENSE
  21.  
  22.   _dest="${pkgdir}"/usr/share/eclipse/dropins/${pkgname/eclipse-}/eclipse
  23.   cd "${srcdir}"/site
  24.  
  25.   # Features
  26.   find features -type f | while read _feature ; do
  27.     if [[ ${_feature} =~ (.*\.jar$) ]] ; then
  28.       install -dm755 ${_dest}/${_feature%*.jar}
  29.       cd ${_dest}/${_feature/.jar}
  30.       jar xf ${srcdir}/site/${_feature}
  31.     else
  32.       install -Dm644 ${_feature} "${_dest}"/${_feature}
  33.     fi
  34.   done
  35.  
  36.   # Plugins
  37.   find plugins -type f | while read _plugin ; do
  38.     install -Dm644 ${_plugin} "${_dest}"/${_plugin}
  39.   done
  40. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement