Advertisement
Guest User

Scala IDE PKGBUILD

a guest
Mar 10th, 2013
43
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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