New package: jedit-5.6.0

srcpkgs/jedit/files/build.properties

@@ -0,0 +1,6 @@
+# a simple ant property file for void's jedit build
+lib.dir=lib
+build.dir=build
+dist.dir=dist
+config.build.debug=true
+config.build.debuglevel=lines,vars,source

srcpkgs/jedit/files/jedit

@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# openjdk11 is required
+. /etc/profile.d/10_openjdk11.sh
+
+# default to gtk3, use antialiased fonts
+exec "${JAVA_HOME}/bin/java" \
+    -Djdk.gtk.version=3 \
+    -Dawt.useSystemAAFontSettings=on \
+    -Dswing.aatext=true \
+    -jar "/usr/share/jedit/jedit.jar" -reuseview "$@"

srcpkgs/jedit/patches/system-docbook.patch

@@ -0,0 +1,28 @@
+From 178df7e2027a28223e5e7e85392d858df63142e7 Mon Sep 17 00:00:00 2001
+From: Daniel Kolesa <daniel@octaforge.org>
+Date: Wed, 9 Sep 2020 22:55:19 +0200
+Subject: [PATCH] use system stylesheets
+
+---
+ build.xml | 4 ++--
+ 1 file changed, 2 insertions(+), 2 deletions(-)
+
+diff --git build.xml build.xml
+index 57916c0..7adc89a 100644
+--- build.xml
++++ build.xml
+@@ -718,9 +718,9 @@
+ 			<factory name="com.icl.saxon.TransformerFactoryImpl"/>
+ 			<xmlcatalog>
+ 				<entity publicid="http://docbook.sourceforge.net/release/xsl/current/html/chunk.xsl"
+-					location="${build.dir}/docbook-xsl/docbook/html/chunk.xsl"/>
++					location="/usr/share/xsl/docbook/html/chunk.xsl"/>
+ 				<entity publicid="http://docbook.sourceforge.net/release/xsl/current/fo/docbook.xsl"
+-					location="${build.dir}/docbook-xsl/docbook/fo/docbook.xsl"/>
++					location="/usr/share/xsl/docbook/fo/docbook.xsl"/>
+ 			</xmlcatalog>
+ 			<sysproperty key="javax.xml.parsers.DocumentBuilderFactory"
+ 				     value="org.apache.xerces.jaxp.DocumentBuilderFactoryImpl"/>
+-- 
+2.28.0
+

srcpkgs/jedit/template

@@ -0,0 +1,57 @@
+# Template file for 'jedit'
+pkgname=jedit
+version=5.6.0
+revision=1
+wrksrc=jEdit
+hostmakedepends="apache-ant openjdk11 docbook-xsl"
+depends="openjdk11 desktop-file-utils"
+short_desc="Plugin-based editor for programmers"
+maintainer="q66 <daniel@octaforge.org>"
+license="GPL-2.0-or-later"
+homepage="http://jedit.org"
+distfiles="${SOURCEFORGE_SITE}/${pkgname}/${version}/${pkgname}${version}source.tar.bz2"
+checksum=76c16ae0168d9b64ecddd8bf08aa49ab352adb2c9687191bc71895a96a8dfe1d
+
+post_patch() {
+	# skip junit stuff, fails in chroot
+	vsed -i 's/,test//' build.xml
+}
+
+do_build() {
+	. /etc/profile.d/apache-ant.sh
+	. /etc/profile.d/10_openjdk11.sh
+
+	ant -propertyfile ${FILESDIR}/build.properties build
+	ant -propertyfile ${FILESDIR}/build.properties docs-html
+}
+
+do_install() {
+	# stuff from build/
+	vmkdir usr/share/jedit
+	vinstall build/jedit.jar 644 usr/share/jedit
+	vcopy build/jars usr/share/jedit
+	vcopy build/keymaps usr/share/jedit
+	vcopy build/macros usr/share/jedit
+	vcopy build/modes usr/share/jedit
+	vcopy build/properties usr/share/jedit
+	vcopy build/startup usr/share/jedit
+
+	# documentation
+	vmkdir usr/share/doc/${pkgname}
+	vcopy "build/doc/*" usr/share/doc/${pkgname}
+
+	# man page
+	cp package-files/linux/jedit.1 build
+	vsed -i "s,@jedit.version@,${version},g" build/jedit.1
+	vman build/jedit.1
+
+	# desktop file
+	vmkdir usr/share/applications
+	cp package-files/linux/deb/jedit.desktop build
+	vsed -i "s,usr/share/jEdit/doc,usr/share/doc/${pkgname},g" \
+		build/jedit.desktop
+	vinstall build/jedit.desktop 755 usr/share/applications
+
+	# launcher
+	vbin ${FILESDIR}/jedit
+}