eje/PKGBUILD

   1 # Contributor: yannsen <ynnsen@gmail.com>
   2 pkgname=eje
   3 pkgver=5.1b179
   4 pkgrel=2
   5 pkgdesc="Editing Java Easily (EJE) is an IDE designed especially for programming novices"
   6 arch=(i686 x86_64)
   7 url="http://www.eje-home.de"
   8 license=('custom')
   9 depends=('java-runtime>=1.5')
  10 makedepends=('unzip')
  11 source=(http://www.mps.de/kuestermann/eje/resources/5.1/$pkgname-$pkgver.zip)
  12 md5sums=('d11ad27139155f8d7673283749e5b6a9')
  13
  14 build() {
  15   install -d $pkgdir/usr/bin/
  16   install -d $pkgdir/usr/share/java/eje/
  17   install -d $pkgdir/usr/share/eje/
  18   cd $startdir/src/
  19   sed -i '5c "$JAVA_HOME/bin/java" -jar /usr/share/java/eje/eje.jar' eje.sh
  20   install -m755 eje.sh $pkgdir/usr/bin/eje
  21   cp -R $startdir/src/{docs,images,legal} $pkgdir/usr/share/eje
  22   cp $startdir/src/bin/{*.jar,*.zip} $pkgdir/usr/share/java/eje/
  23   cp $startdir/src/bin/{*.png,*ico} $pkgdir/usr/share/eje/images
  24
  25 }
  26