opt/jedit/Pkgfile
2006-02-23 15:26:10 +00:00

31 lines
844 B
Plaintext

# Description: Java programmer's text editor
# URL: http://www.jedit.org
# Maintainer: Simone Rota, sip at varlock dot com
# Packager: Simone Rota, sip at varlock dot com
# Depends on: j2re, unzip
name=jedit
version=4.2
release=3
source=(http://dl.sourceforge.net/sourceforge/jedit/jedit42install.jar)
build() {
mkdir -p $PKG/usr/lib/jedit
mkdir -p $PKG/usr/bin
unzip jedit42install.jar
cd installer
tar xvfj jedit-program.tar.bz2 -C $PKG/usr/lib/jedit
tar xvfj jedit-macros.tar.bz2 -C $PKG/usr/lib/jedit
tar xvfj jedit-api.tar.bz2 -C $PKG/usr/lib/jedit
rm -r $PKG/usr/lib/jedit/doc
find $PKG/usr/lib/jedit -type f -exec chmod 644 {} \;
cat << "EOF" > $PKG/usr/bin/jedit
#!/bin/bash
JAVA_HEAP_SIZE=32
exec /usr/lib/java/bin/java -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar /usr/lib/jedit/jedit.jar $@
EOF
chmod 0755 $PKG/usr/bin/jedit
}