diff options
author | Ray Russell Reese III <anti@gentoo.org> | 2004-06-23 20:48:37 +0000 |
---|---|---|
committer | Ray Russell Reese III <anti@gentoo.org> | 2004-06-23 20:48:37 +0000 |
commit | 0f2b97aef1650b4eb436e23aa6373cd93bd7b11a (patch) | |
tree | b754c55f4a92881c6d0b97ea22edac0ffe0a8916 /app-editors | |
parent | Added to ~ppc (diff) | |
download | historical-0f2b97aef1650b4eb436e23aa6373cd93bd7b11a.tar.gz historical-0f2b97aef1650b4eb436e23aa6373cd93bd7b11a.tar.bz2 historical-0f2b97aef1650b4eb436e23aa6373cd93bd7b11a.zip |
Version bump
Diffstat (limited to 'app-editors')
-rw-r--r-- | app-editors/jedit/ChangeLog | 7 | ||||
-rw-r--r-- | app-editors/jedit/Manifest | 12 | ||||
-rw-r--r-- | app-editors/jedit/files/digest-jedit-4.2_pre14 | 1 | ||||
-rw-r--r-- | app-editors/jedit/jedit-4.2_pre14.ebuild | 78 |
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" +} |