diff options
author | Chris Aniszczyk <zx@gentoo.org> | 2004-05-16 18:01:24 +0000 |
---|---|---|
committer | Chris Aniszczyk <zx@gentoo.org> | 2004-05-16 18:01:24 +0000 |
commit | 1ab862d3b0899fff23b0685e0b61509d731d6e6a (patch) | |
tree | 0aa4c71feb9bb6d27757177c5cb777224e94cb88 /app-editors | |
parent | Version Bump and bug fixes. Closes #50136 (Manifest recommit) (diff) | |
download | gentoo-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/ChangeLog | 6 | ||||
-rw-r--r-- | app-editors/jedit/files/digest-jedit-4.2_pre11 | 1 | ||||
-rw-r--r-- | app-editors/jedit/files/digest-jedit-4.2_pre8 | 1 | ||||
-rw-r--r-- | app-editors/jedit/files/digest-jedit-4.2_pre9 | 1 | ||||
-rw-r--r-- | app-editors/jedit/jedit-4.2_pre11.ebuild | 76 | ||||
-rw-r--r-- | app-editors/jedit/jedit-4.2_pre8.ebuild | 76 | ||||
-rw-r--r-- | app-editors/jedit/jedit-4.2_pre9.ebuild | 76 |
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" -} |