jedit/Pkgfile



    1 # Description: Java programmer's text editor
    2 # URL: http://www.jedit.org
    3 # Maintainer: Mikhail Kolesnik, mike at openbunker dot org
    4 # Packager: Simone Rota, sip at crux dot nu
    5 # Depends on: jre, unzip
    6 
    7 name=jedit
    8 version=5.0.0
    9 release=1
   10 source=(http://downloads.sourceforge.net/project/$name/$name/$version/${name}${version}install.jar)
   11 
   12 build() {
   13 	mkdir -p $PKG/usr/lib/jedit
   14 	mkdir -p $PKG/usr/bin
   15 	unzip jedit${version}install.jar
   16 	cd installer
   17 	tar xvfj jedit-program.tar.bz2 -C $PKG/usr/lib/jedit
   18 	tar xvfj jedit-macros.tar.bz2 -C $PKG/usr/lib/jedit
   19 	tar xvfj jedit-api.tar.bz2 -C $PKG/usr/lib/jedit
   20 	rm -r $PKG/usr/lib/jedit/doc
   21 	rm $PKG/usr/lib/jedit/properties/README.txt
   22 	rm $PKG/usr/lib/jedit/startup/README.txt
   23 	find $PKG/usr/lib/jedit -type f -exec chmod 644 {} \;
   24 
   25 cat << "EOF" > $PKG/usr/bin/jedit
   26 #!/bin/bash
   27 JAVA_HEAP_SIZE=32
   28 exec /usr/lib/java/bin/java -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar /usr/lib/jedit/jedit.jar $@
   29 EOF
   30 	chmod 0755 $PKG/usr/bin/jedit
   31 }