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
commit1ab862d3b0899fff23b0685e0b61509d731d6e6a (patch)
tree0aa4c71feb9bb6d27757177c5cb777224e94cb88 /app-editors
parentVersion Bump and bug fixes. Closes #50136 (Manifest recommit) (diff)
downloadgentoo-2-1ab862d3b0899fff23b0685e0b61509d731d6e6a.tar.gz
gentoo-2-1ab862d3b0899fff23b0685e0b61509d731d6e6a.tar.bz2
gentoo-2-1ab862d3b0899fff23b0685e0b61509d731d6e6a.zip
Clean up train coming through... chooo chooo...
Diffstat (limited to 'app-editors')
-rw-r--r--app-editors/jedit/ChangeLog6
-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
7 files changed, 5 insertions, 232 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/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"
-}