diff --git a/srcpkgs/jedit/files/build.properties b/srcpkgs/jedit/files/build.properties new file mode 100644 index 0000000000..813f0ec94c --- /dev/null +++ b/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 diff --git a/srcpkgs/jedit/files/jedit b/srcpkgs/jedit/files/jedit new file mode 100644 index 0000000000..622bb91718 --- /dev/null +++ b/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 "$@" diff --git a/srcpkgs/jedit/patches/system-docbook.patch b/srcpkgs/jedit/patches/system-docbook.patch new file mode 100644 index 0000000000..d5fe9faf6e --- /dev/null +++ b/srcpkgs/jedit/patches/system-docbook.patch @@ -0,0 +1,28 @@ +From 178df7e2027a28223e5e7e85392d858df63142e7 Mon Sep 17 00:00:00 2001 +From: Daniel Kolesa +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 @@ + + + ++ location="/usr/share/xsl/docbook/html/chunk.xsl"/> + ++ location="/usr/share/xsl/docbook/fo/docbook.xsl"/> + + +-- +2.28.0 + diff --git a/srcpkgs/jedit/template b/srcpkgs/jedit/template new file mode 100644 index 0000000000..cf7ac8cdd2 --- /dev/null +++ b/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 " +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 +}