Version bump to 4.3pre12 - bug #196961. Fix building of 4.2 with jdk 1.6 - bug #189815, patch by Yoann Pannier <gentoo-bugs@umsar.org>. Remove 4.3pre9.

Package-Manager: portage-2.1.4_rc10

1 files changed, 99 insertions, 0 deletions

diff --git a/app-editors/jedit/jedit-4.3_pre12.ebuild b/app-editors/jedit/jedit-4.3_pre12.ebuild
new file mode 100644
index 000000000000..c3ec35b721a8
--- /dev/null
+++ b/app-editors/jedit/jedit-4.3_pre12.ebuild
@@ -0,0 +1,99 @@
+# Copyright 1999-2007 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.3_pre12.ebuild,v 1.1 2007/12/20 10:39:45 caster Exp $
+
+WANT_ANT_TASKS="ant-nodeps"
+
+inherit java-pkg-2 java-ant-2 eutils fdo-mime
+
+# TODO use versionator
+MY_PV="${PV//_/}"
+
+DESCRIPTION="Programmer's editor written in Java"
+HOMEPAGE="http://www.jedit.org"
+SRC_URI="mirror://sourceforge/${PN}/${PN}${MY_PV}source.tar.bz2"
+LICENSE="GPL-2"
+KEYWORDS="~amd64 ~ppc ~ppc64 ~x86 ~x86-fbsd"
+SLOT="0"
+IUSE="doc"
+
+RDEPEND=">=virtual/jre-1.5
+	=dev-java/gnu-regexp-1*"
+DEPEND=">=virtual/jdk-1.5
+	doc? (
+		=app-text/docbook-xml-dtd-4.3*
+		>=app-text/docbook-xsl-stylesheets-1.65.1
+		dev-libs/libxslt
+	)
+	=dev-java/gnu-regexp-1*"
+
+S="${WORKDIR}/jEdit"
+
+JEDIT_HOME="/usr/share/${PN}"
+
+src_unpack() {
+	unpack ${A}
+	cd "${S}"
+
+	# we need to use our own classpath
+	java-ant_rewrite-classpath build.xml
+
+	if use doc; then
+		local xsl=$(echo /usr/share/sgml/docbook/xsl-stylesheets-*)
+		xsl=${xsl// *}
+
+		local xml=$(echo /usr/share/sgml/docbook/xml-dtd-4.3*)
+		xml=${xml// *}
+
+		echo "build.directory=." > build.properties
+		echo "docbook.dtd.catalog=${xml}/docbook.cat" >> build.properties
+		echo "docbook.xsl=${xsl}" >> build.properties
+	fi
+
+	# remove bundled sources
+	rm -r gnu/* # gnu-regexp
+	# still need to do: bsh, com.microstar.xml.*, org.gjt.*
+	java-pkg_filter-compiler jikes
+}
+src_compile() {
+	# TODO could build more docs, ie userdocs target instead of generate-javadoc
+	eant build $(use_doc generate-javadoc) \
+		-Dgentoo.classpath=$(java-pkg_getjars gnu-regexp-1):$(java-config --tools)
+}
+
+src_install () {
+	dodir ${JEDIT_HOME}
+	cp -R build/${PN}.jar jars doc macros modes properties startup \
+		"${D}/usr/share/jedit"
+
+	java-pkg_regjar ${JEDIT_HOME}/${PN}.jar
+
+	java-pkg_dolauncher ${PN} --pwd ${JEDIT_HOME} --main org.gjt.sp.jedit.jEdit
+
+	use doc && java-pkg_dojavadoc build/classes/javadoc/api
+
+	make_desktop_entry ${PN} \
+		jEdit \
+		${JEDIT_HOME}/doc/${PN}.png \
+		"Development;Utility;TextEditor"
+
+	# keep the plugin directory
+	keepdir ${JEDIT_HOME}/jars
+}
+
+pkg_postinst() {
+	fdo-mime_desktop_database_update
+	elog "The system directory for jEdit plugins is"
+	elog "${JEDIT_HOME}/jars"
+}
+
+pkg_postrm() {
+	fdo-mime_desktop_database_update
+	elog "jEdit plugins installed into /usr/share/jedit/jars"
+	elog "(after installation of jEdit itself) haven't been"
+	elog "removed. To get rid of jEdit completely, you may"
+	elog "want to run"
+	elog ""
+	elog "\trm -r ${JEDIT_HOME}"
+	elog "Ignore this message if you are reinstalling or upgrading."
+}