# $Id: PKGBUILD 82 2009-07-17 19:56:55Z aaron $ # Maintainer: Jeff Mickey # Contributor: Dusty Phillips pkgname=jedit pkgver=4.2 pkgrel=8 pkgdesc="Java based extensible text editor" url="http://www.jedit.org" license=("GPL") arch=('i686' 'x86_64') depends=('bash' 'java-runtime') source=(http://downloads.sourceforge.net/jedit/jedit42install.jar \ jedit-bin ) md5sums=('4d3f709778d619ccf9fc2d56b60b7cb9' '771cd959e2112cd2774f1d20de3afe79') build() { cd $startdir/src mkdir jedit java -jar jedit42install.jar auto jedit install -D $startdir/src/jedit/jedit.jar $startdir/pkg/usr/share/java/jedit/jedit.jar mv $startdir/src/jedit $startdir/pkg/usr/share install -D -m 755 $startdir/src/jedit-bin $startdir/pkg/usr/bin/jedit }