SHARE
TWEET

eclipse-scala-ide 4.7.0-1

a guest Feb 16th, 2018 300 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #Maintainer: Andrzej Giniewicz <gginiu@gmail.com>
  2. #Contributor: Kristof Jozsa <kjozsa@fsdev.hu>
  3.  
  4. pkgname=eclipse-scala-ide
  5. pkgver=4.7.0
  6. pkgrel=1
  7. pkgdesc="Scala IDE for Eclipse"
  8. arch=('any')
  9. url="http://www.scala-ide.org/"
  10. license=('custom')
  11. depends=('eclipse>=4.7')
  12.  
  13. source=($pkgname-$pkgver.zip::"http://download.scala-ide.org/sdk/lithium/e47/scala212/stable/update-site.zip"
  14.         "LICENSE" "scala-ide.desktop" "product.png"
  15. )
  16. sha512sums=('331b35466574423c8bf2ca2accd71e95b3b66548911a6d2b258df278a605dcee30638fe36a1969a8f2dd9a2453c51b2f1255f63cd399f81067458c58a1d31f6c'
  17.             '8fc7bc4f43590d477955dc2334a9489d8825b4d363d1b09f987aa93626a8ee58ec48072e1378b776937867553bc9d4aff18652d605518532efe43a8e12757a71'
  18.             '33ef15cbb30e868f2e1560da3ce3e1dae0e4944d6a21fb22a8827d500e3540b82ace19fd7e1629a6fe338eab47cf7f1f249ab5dfd0fd7e413f5249d7929fbb6d'
  19.             '7e3e8c874cd57f0413a84c9bfe6beff18aa442a4a74f4be0ef5d223407ddd12408f97b329a8e2ed9acad3867bfbea6c878d5d4dc3fb3592f3b05819e346e8544')
  20.  
  21. package() {
  22.   install -D -m0644 "${srcdir}"/LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
  23.   install -D -m0644 "${srcdir}"/scala-ide.desktop "${pkgdir}/usr/share/applications/scala-ide.desktop"
  24.   install -D -m0644 "${srcdir}"/product.png "${pkgdir}/usr/lib/eclipse/dropins/scala-ide/icon.png"
  25.  
  26.   _dest="${pkgdir}/usr/lib/eclipse/dropins/${pkgname/eclipse-}/eclipse"
  27.   cd "${srcdir}/base"
  28.  
  29.   # Features
  30.   find features -type f | while read -r _feature ; do
  31.     if [[ "${_feature}" =~ (.*\.jar$) ]] ; then
  32.       install -dm755 "${_dest}/${_feature%*.jar}"
  33.       cd "${_dest}/${_feature/.jar}"
  34.       # extract features (otherwise they are not visible in about dialog)
  35.       jar xf "${srcdir}/base/${_feature}" || return 1
  36.     else
  37.       install -Dm644 "${_feature}" "${_dest}/${_feature}"
  38.     fi
  39.   done
  40.  
  41.   # Plugins
  42.   find plugins -type f | while read -r _plugin ; do
  43.     install -Dm644 "${_plugin}" "${_dest}/${_plugin}"
  44.   done
  45. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top