summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Aniszczyk <zx@gentoo.org>2004-05-16 17:58:49 +0000
committerChris Aniszczyk <zx@gentoo.org>2004-05-16 17:58:49 +0000
commit85fea172ac61f193f218f40a842a277cb752e9c5 (patch)
tree1139859f33b0700f770d9ac9feda4b8bb830d9f0 /app-editors
parentUpdated metadata.xml, herd is now java (Manifest recommit) (diff)
downloadgentoo-2-85fea172ac61f193f218f40a842a277cb752e9c5.tar.gz
gentoo-2-85fea172ac61f193f218f40a842a277cb752e9c5.tar.bz2
gentoo-2-85fea172ac61f193f218f40a842a277cb752e9c5.zip
Version Bump and bug fixes. Closes #50136
Diffstat (limited to 'app-editors')
-rw-r--r--app-editors/jedit/ChangeLog7
-rw-r--r--app-editors/jedit/Manifest2
-rw-r--r--app-editors/jedit/files/digest-jedit-4.2_pre131
-rw-r--r--app-editors/jedit/jedit-4.2_pre13.ebuild78
4 files changed, 87 insertions, 1 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..9ba0e9c7e338 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -6,6 +6,7 @@ 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 cf15cd624becd1fef8b16bbe612f973c jedit-4.2_pre13.ebuild 1936
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"
+}