summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Aniszczyk <zx@gentoo.org>2004-05-16 18:01:24 +0000
committerChris Aniszczyk <zx@gentoo.org>2004-05-16 18:01:24 +0000
commitef73840b77393cf4ccc5ece3856d480fa45ca465 (patch)
tree6c0b313b389af4a2dccc98c28def052f5e40829c /app-editors/jedit
parentVersion Bump and bug fixes. Closes #50136 (diff)
downloadhistorical-ef73840b77393cf4ccc5ece3856d480fa45ca465.tar.gz
historical-ef73840b77393cf4ccc5ece3856d480fa45ca465.tar.bz2
historical-ef73840b77393cf4ccc5ece3856d480fa45ca465.zip
Clean up train coming through... chooo chooo...
Diffstat (limited to 'app-editors/jedit')
-rw-r--r--app-editors/jedit/ChangeLog6
-rw-r--r--app-editors/jedit/Manifest8
-rw-r--r--app-editors/jedit/files/digest-jedit-4.2_pre111
-rw-r--r--app-editors/jedit/files/digest-jedit-4.2_pre81
-rw-r--r--app-editors/jedit/files/digest-jedit-4.2_pre91
-rw-r--r--app-editors/jedit/jedit-4.2_pre11.ebuild76
-rw-r--r--app-editors/jedit/jedit-4.2_pre8.ebuild76
-rw-r--r--app-editors/jedit/jedit-4.2_pre9.ebuild76
8 files changed, 6 insertions, 239 deletions
diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog
index 92aeeda0ccd7..5588d7adb257 100644
--- a/app-editors/jedit/ChangeLog
+++ b/app-editors/jedit/ChangeLog
@@ -1,6 +1,10 @@
# 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.30 2004/05/16 17:58:49 zx Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.31 2004/05/16 18:01:24 zx Exp $
+
+ 16 May 2004; Chris Aniszczyk <zx@gentoo.org> -jedit-4.2_pre11.ebuild,
+ -jedit-4.2_pre8.ebuild, -jedit-4.2_pre9.ebuild:
+ Clean up
*jedit-4.2_pre13 (16 May 2004)
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index 48ec8a2dac66..aa430fbb1172 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,17 +1,11 @@
MD5 781ac3fbd0b5c1d132d2caf40a862c94 jedit-4.0.3-r2.ebuild 1700
MD5 eb41287356a230a9b9f652e9e924df54 jedit-4.1.ebuild 1876
-MD5 90c5645c6c3da55ff58d7dd3493eb86d jedit-4.2_pre11.ebuild 1884
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 df1221eaa48298acca25f38d51f122f8 ChangeLog 4919
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
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_pre11 b/app-editors/jedit/files/digest-jedit-4.2_pre11
deleted file mode 100644
index 5894c9b8a6ee..000000000000
--- a/app-editors/jedit/files/digest-jedit-4.2_pre11
+++ /dev/null
@@ -1 +0,0 @@
-MD5 61dc295d12f29a204d508373c1efadf4 jedit42pre11source.tar.gz 1796036
diff --git a/app-editors/jedit/files/digest-jedit-4.2_pre8 b/app-editors/jedit/files/digest-jedit-4.2_pre8
deleted file mode 100644
index 395ca5a1a06d..000000000000
--- a/app-editors/jedit/files/digest-jedit-4.2_pre8
+++ /dev/null
@@ -1 +0,0 @@
-MD5 744bf4625e286e532a29d20e1314fb74 jedit42pre8source.tar.gz 1754895
diff --git a/app-editors/jedit/files/digest-jedit-4.2_pre9 b/app-editors/jedit/files/digest-jedit-4.2_pre9
deleted file mode 100644
index 3486b7ed9233..000000000000
--- a/app-editors/jedit/files/digest-jedit-4.2_pre9
+++ /dev/null
@@ -1 +0,0 @@
-MD5 8599870f561e14295d435b5f45db94b2 jedit42pre9source.tar.gz 1781027
diff --git a/app-editors/jedit/jedit-4.2_pre11.ebuild b/app-editors/jedit/jedit-4.2_pre11.ebuild
deleted file mode 100644
index 37cf94516960..000000000000
--- a/app-editors/jedit/jedit-4.2_pre11.ebuild
+++ /dev/null
@@ -1,76 +0,0 @@
-# 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_pre11.ebuild,v 1.1 2004/03/22 17:06:21 anti Exp $
-
-MY_PV="42pre11"
-
-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"
-
-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
-
- ant ${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"
-}
diff --git a/app-editors/jedit/jedit-4.2_pre8.ebuild b/app-editors/jedit/jedit-4.2_pre8.ebuild
deleted file mode 100644
index 177c183886eb..000000000000
--- a/app-editors/jedit/jedit-4.2_pre8.ebuild
+++ /dev/null
@@ -1,76 +0,0 @@
-# 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_pre8.ebuild,v 1.5 2004/02/17 07:59:23 absinthe Exp $
-
-MY_PV="42pre8"
-
-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 ~amd64"
-SLOT="0"
-IUSE="jikes"
-
-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
-
- ant ${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"
-}
diff --git a/app-editors/jedit/jedit-4.2_pre9.ebuild b/app-editors/jedit/jedit-4.2_pre9.ebuild
deleted file mode 100644
index 10933872b75a..000000000000
--- a/app-editors/jedit/jedit-4.2_pre9.ebuild
+++ /dev/null
@@ -1,76 +0,0 @@
-# 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_pre9.ebuild,v 1.4 2004/02/17 07:59:23 absinthe Exp $
-
-MY_PV="42pre9"
-
-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"
-
-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
-
- ant ${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"
-}