Version Bump and bug fixes. Closes #50136

4 files changed, 88 insertions, 2 deletions

diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog
index d30a53425939..92aeeda0ccd7 100644
--- a/app-editors/jedit/ChangeLog
+++ b/app-editors/jedit/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for app-editors/jedit
 # Copyright 2002-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.29 2004/05/12 11:46:43 aliz Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.30 2004/05/16 17:58:49 zx Exp $
+
+*jedit-4.2_pre13 (16 May 2004)
+
+  16 May 2004; Chris Aniszczyk <zx@gentoo.org> +jedit-4.2_pre13.ebuild:
+  Version Bump. Closes #50136
 
 *jedit-4.2_pre12 (02 May 2004)
 
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index cf98ddb95adc..48ec8a2dac66 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,4 +1,3 @@
-MD5 8c73408ed0f1dcb0646230533bb40060 ChangeLog 4652
 MD5 781ac3fbd0b5c1d132d2caf40a862c94 jedit-4.0.3-r2.ebuild 1700
 MD5 eb41287356a230a9b9f652e9e924df54 jedit-4.1.ebuild 1876
 MD5 90c5645c6c3da55ff58d7dd3493eb86d jedit-4.2_pre11.ebuild 1884
@@ -6,6 +5,8 @@ MD5 b0d565005de7f4d2ba2168dd7daef077 jedit-4.2_pre12.ebuild 1935
 MD5 559240b355a84eb49645e40cd1c0a689 jedit-4.2_pre8.ebuild 1881
 MD5 3d27e7a97347a908c7c9a93f4ba91f2d jedit-4.2_pre9.ebuild 1886
 MD5 0c1bc759b6cafc454c336cb35fd05550 metadata.xml 257
+MD5 1c714f3cefe989d2f95c572a84a2f97e jedit-4.2_pre13.ebuild 1935
+MD5 3cecd6f78c956bbb95147c32e520ef7f ChangeLog 4785
 MD5 8d7f7bff147c59acb0ea9c3e4163ecae files/digest-jedit-4.0.3-r2 67
 MD5 c29174550ae9f95fc60afd5cbf079f0c files/digest-jedit-4.1 66
 MD5 21c6cb5f4b7869ed7d1569ca83dc6a84 files/digest-jedit-4.2_pre11 71
@@ -13,3 +14,4 @@ MD5 9310de740b7b3ffacf2c96fe446b1ab8 files/digest-jedit-4.2_pre12 71
 MD5 90d4525ec3c60d3ab5530c5229d187c0 files/digest-jedit-4.2_pre8 70
 MD5 ba9c93600a84c73d76bf88817a1d2fc5 files/digest-jedit-4.2_pre9 70
 MD5 c3d71c0ba59148476f840c60b999c6b6 files/jedit-4.2_pre12.jikes-and-lock-fix.patch 10873
+MD5 4ac4f20a8627c48f7d87491623f88c3a files/digest-jedit-4.2_pre13 71
diff --git a/app-editors/jedit/files/digest-jedit-4.2_pre13 b/app-editors/jedit/files/digest-jedit-4.2_pre13
new file mode 100644
index 000000000000..77450b6527ec
--- /dev/null
+++ b/app-editors/jedit/files/digest-jedit-4.2_pre13
@@ -0,0 +1 @@
+MD5 6a391aa2877982eac17a6ed42ade01c2 jedit42pre13source.tar.gz 1816101
diff --git a/app-editors/jedit/jedit-4.2_pre13.ebuild b/app-editors/jedit/jedit-4.2_pre13.ebuild
new file mode 100644
index 000000000000..3478290b9826
--- /dev/null
+++ b/app-editors/jedit/jedit-4.2_pre13.ebuild
@@ -0,0 +1,78 @@
+# Copyright 1999-2004 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.2_pre13.ebuild,v 1.1 2004/05/16 17:58:49 zx Exp $
+
+MY_PV="42pre13"
+
+DESCRIPTION="Programmer's editor written in Java"
+HOMEPAGE="http://www.jedit.org"
+SRC_URI="mirror://sourceforge/jedit/jedit${MY_PV}source.tar.gz"
+LICENSE="GPL-2"
+KEYWORDS="~x86 ~sparc ~ppc ~amd64"
+SLOT="0"
+IUSE="jikes doc"
+
+RDEPEND=">=virtual/jdk-1.3"
+DEPEND="${RDEPEND}
+	>=dev-java/ant-1.5.4
+	jikes? ( >=dev-java/jikes-1.17 )"
+
+S="${WORKDIR}/jEdit"
+
+src_compile() {
+	local antflags
+
+	if [ -z "$JAVA_HOME" ]; then
+		einfo
+		einfo "\$JAVA_HOME not set!"
+		einfo "Please use java-config to configure your JVM and try again."
+		einfo
+		die "\$JAVA_HOME not set."
+	fi
+
+	antflags=""
+	if [ `use jikes` ] ; then
+		einfo "Please ignore the following compiler warnings."
+		einfo "Jikes is just too pedantic..."
+		antflags="${antflags} -Dbuild.compiler=jikes"
+	fi
+
+	use doc && antflags="${antflags} javadoc"
+
+	ant dist ${antflags} || die "compile problem"
+}
+
+src_install () {
+	dodir /usr/share/jedit
+	dodir /usr/bin
+
+	cp -R jedit.jar jars doc macros modes properties startup ${D}/usr/share/jedit
+	cd ${D}/usr/share/jedit
+	chmod -R u+rw,ug-s,go+u,go-w \
+		jedit.jar jars doc macros modes properties startup
+
+	cat >${D}/usr/share/jedit/jedit.sh <<-EOF
+		#!/bin/bash
+
+		java -jar /usr/share/jedit/jedit.jar \$@
+	EOF
+	chmod 755 ${D}/usr/share/jedit/jedit.sh
+
+	ln -s ../share/jedit/jedit.sh ${D}/usr/bin/jedit
+
+	keepdir /usr/share/jedit/jars
+}
+
+pkg_postinst() {
+	einfo "The system directory for jEdit plugins is"
+	einfo "/usr/share/jedit/jars"
+}
+
+pkg_postrm() {
+	einfo "jEdit plugins installed into /usr/share/jedit/jars"
+	einfo "(after installation of jEdit itself) haven't been"
+	einfo "removed. To get rid of jEdit completely, you may"
+	einfo "want to run"
+	einfo ""
+	einfo "\trm -r /usr/share/jedit"
+}