summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRay Russell Reese III <anti@gentoo.org>2004-06-23 20:48:37 +0000
committerRay Russell Reese III <anti@gentoo.org>2004-06-23 20:48:37 +0000
commit0f2b97aef1650b4eb436e23aa6373cd93bd7b11a (patch)
treeb754c55f4a92881c6d0b97ea22edac0ffe0a8916 /app-editors/jedit
parentAdded to ~ppc (diff)
downloadhistorical-0f2b97aef1650b4eb436e23aa6373cd93bd7b11a.tar.gz
historical-0f2b97aef1650b4eb436e23aa6373cd93bd7b11a.tar.bz2
historical-0f2b97aef1650b4eb436e23aa6373cd93bd7b11a.zip
Version bump
Diffstat (limited to 'app-editors/jedit')
-rw-r--r--app-editors/jedit/ChangeLog7
-rw-r--r--app-editors/jedit/Manifest12
-rw-r--r--app-editors/jedit/files/digest-jedit-4.2_pre141
-rw-r--r--app-editors/jedit/jedit-4.2_pre14.ebuild78
4 files changed, 92 insertions, 6 deletions
diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog
index 16967447d279..b2bfecbace5e 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.34 2004/06/19 16:33:39 weeve Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.35 2004/06/23 20:48:37 anti Exp $
+
+*jedit-4.2_pre14 (23 Jun 2004)
+
+ 23 Jun 2004; Ray Russell Reese III <anti@gentoo.org> jedit-4.2_pre14.ebuild:
+ Version bump.
19 Jun 2004; Jason Wever <weeve@gentoo.org> jedit-4.1.ebuild:
Stable on sparc.
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index 184a68fc8ff0..ee6838dbeed2 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,9 +1,11 @@
-MD5 8169688e2c6e63d16efcfe26edba63ba ChangeLog 5241
-MD5 73c0043d8b61ec7039c2beeeb200730c jedit-4.1.ebuild 1867
-MD5 ef4dfb743cf75464f36bbbf74d225903 jedit-4.2_pre13.ebuild 1936
MD5 0c1bc759b6cafc454c336cb35fd05550 metadata.xml 257
-MD5 06fcf408adba0fdc3818d9e2e23574f4 jedit-4.2_pre12.ebuild 1952
+MD5 f353d638e3da4d182e57308dcffc6418 jedit-4.2_pre14.ebuild 1931
+MD5 73c0043d8b61ec7039c2beeeb200730c jedit-4.1.ebuild 1867
+MD5 248f6ce5838ae9a5f64380b55786b421 ChangeLog 5368
+MD5 6db6e61b0afbe150d403bff333f4e5d5 jedit-4.2_pre13.ebuild 1935
+MD5 0bc7fdff19924c896e004e946333c7c4 jedit-4.2_pre12.ebuild 1951
MD5 4ac4f20a8627c48f7d87491623f88c3a files/digest-jedit-4.2_pre13 71
MD5 c29174550ae9f95fc60afd5cbf079f0c files/digest-jedit-4.1 66
-MD5 9310de740b7b3ffacf2c96fe446b1ab8 files/digest-jedit-4.2_pre12 71
+MD5 81f506cd1acce828eff86acf6dc18331 files/digest-jedit-4.2_pre14 71
MD5 c3d71c0ba59148476f840c60b999c6b6 files/jedit-4.2_pre12.jikes-and-lock-fix.patch 10873
+MD5 9310de740b7b3ffacf2c96fe446b1ab8 files/digest-jedit-4.2_pre12 71
diff --git a/app-editors/jedit/files/digest-jedit-4.2_pre14 b/app-editors/jedit/files/digest-jedit-4.2_pre14
new file mode 100644
index 000000000000..bed262554d96
--- /dev/null
+++ b/app-editors/jedit/files/digest-jedit-4.2_pre14
@@ -0,0 +1 @@
+MD5 9c37960df75e8fe8379a55c80f23b04c jedit42pre14source.tar.gz 1821873
diff --git a/app-editors/jedit/jedit-4.2_pre14.ebuild b/app-editors/jedit/jedit-4.2_pre14.ebuild
new file mode 100644
index 000000000000..aca880166c1f
--- /dev/null
+++ b/app-editors/jedit/jedit-4.2_pre14.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_pre14.ebuild,v 1.1 2004/06/23 20:48:37 anti Exp $
+
+MY_PV="42pre14"
+
+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"
+}