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 | ef73840b77393cf4ccc5ece3856d480fa45ca465 (patch) | |
tree | 6c0b313b389af4a2dccc98c28def052f5e40829c /app-editors/jedit | |
parent | Version Bump and bug fixes. Closes #50136 (diff) | |
download | historical-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/ChangeLog | 6 | ||||
-rw-r--r-- | app-editors/jedit/Manifest | 8 | ||||
-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 |
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" -} |