# Contributor: Jaroslav Lichtblau # Contributor: Jeff Mickey # Contributor: Dusty Phillips # Maintainer: Daniel J Griffiths pkgname=jedit ADDRB="jre >= 6u23" pkgver=4.3.2 pkgrel=3 pkgdesc="Java based extensible text editor" arch=('any') url="http://www.jedit.org/" license=('GPL') depends=('java-runtime') source=(http://downloads.sourceforge.net/${pkgname}/${pkgname}${pkgver}install.jar jedit-bin jedit.desktop) md5sums=('0d2ec0d877abac09316793f16e1bc87b' 'b31829a0cc606caf555d35458b501e03' '71546caddc1f6c4a8cb632af2d88cc83') noextract=(${pkgname}${pkgver}install.jar) build() { /bin/true } package() { cd ${srcdir} java -jar ${pkgname}${pkgver}install.jar auto \ ${pkgdir}/usr/share/java/${pkgname}/ \ unix-script=${pkgdir}/usr/bin/ \ unix-man=${pkgdir}/usr/man/man1 || return 1 install -m755 ${srcdir}/jedit-bin ${pkgdir}/usr/bin/jedit || return 1 install -Dm755 ${srcdir}/jedit.desktop \ ${pkgdir}/usr/share/applications/jedit.desktop || return 1 }