diff options
author | Petteri Räty <betelgeuse@gentoo.org> | 2007-11-17 22:50:31 +0000 |
---|---|---|
committer | Petteri Räty <betelgeuse@gentoo.org> | 2007-11-17 22:50:31 +0000 |
commit | 00d048e3d43d7ed2d6a2755ddef743d69a9203bc (patch) | |
tree | 891450d0a8a568525e3083aae2640a43b5b9cb4a /app-editors | |
parent | change dependency as audacious had an API change. Thanks to Philip in bug #19... (diff) | |
download | gentoo-2-00d048e3d43d7ed2d6a2755ddef743d69a9203bc.tar.gz gentoo-2-00d048e3d43d7ed2d6a2755ddef743d69a9203bc.tar.bz2 gentoo-2-00d048e3d43d7ed2d6a2755ddef743d69a9203bc.zip |
Version bump. Fixes bug #196961.
(Portage version: 2.1.3.19)
Diffstat (limited to 'app-editors')
-rw-r--r-- | app-editors/jedit/ChangeLog | 8 | ||||
-rw-r--r-- | app-editors/jedit/files/digest-jedit-4.3_pre11 | 3 | ||||
-rw-r--r-- | app-editors/jedit/jedit-4.3_pre11.ebuild | 99 |
3 files changed, 109 insertions, 1 deletions
diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog index a378d56e7010..c1e0bb93d609 100644 --- a/app-editors/jedit/ChangeLog +++ b/app-editors/jedit/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for app-editors/jedit # Copyright 2002-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.79 2007/11/13 06:50:26 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.80 2007/11/17 22:50:30 betelgeuse Exp $ + +*jedit-4.3_pre11 (17 Nov 2007) + + 17 Nov 2007; Petteri Räty <betelgeuse@gentoo.org> + +jedit-4.3_pre11.ebuild: + Version bump. Fixes bug #196961. 13 Nov 2007; Christian Faulhammer <opfer@gentoo.org> jedit-4.2-r2.ebuild, jedit-4.3_pre9.ebuild: diff --git a/app-editors/jedit/files/digest-jedit-4.3_pre11 b/app-editors/jedit/files/digest-jedit-4.3_pre11 new file mode 100644 index 000000000000..e2c1a1f23bb9 --- /dev/null +++ b/app-editors/jedit/files/digest-jedit-4.3_pre11 @@ -0,0 +1,3 @@ +MD5 c6aeebf42f03a9ea622160579acaa1ba jedit4.3pre11source.tar.bz2 1461550 +RMD160 fa845acc1e298851e135b27d035027103a9824b5 jedit4.3pre11source.tar.bz2 1461550 +SHA256 78cc5ab5215f064ae866f71bd90db4adeb1d744fd5cdcc1f1946a4c1bbdff250 jedit4.3pre11source.tar.bz2 1461550 diff --git a/app-editors/jedit/jedit-4.3_pre11.ebuild b/app-editors/jedit/jedit-4.3_pre11.ebuild new file mode 100644 index 000000000000..48552aeda2c9 --- /dev/null +++ b/app-editors/jedit/jedit-4.3_pre11.ebuild @@ -0,0 +1,99 @@ +# Copyright 1999-2007 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.3_pre11.ebuild,v 1.1 2007/11/17 22:50:30 betelgeuse Exp $ + +WANT_ANT_TASKS="ant-nodeps" + +inherit java-pkg-2 java-ant-2 eutils fdo-mime + +# TODO use versionator +MY_PV="${PV//_/}" + +DESCRIPTION="Programmer's editor written in Java" +HOMEPAGE="http://www.jedit.org" +SRC_URI="mirror://sourceforge/${PN}/${PN}${MY_PV}source.tar.bz2" +LICENSE="GPL-2" +KEYWORDS="~amd64 ~ppc ~ppc64 ~x86 ~x86-fbsd" +SLOT="0" +IUSE="doc" + +RDEPEND=">=virtual/jre-1.5 + =dev-java/gnu-regexp-1*" +DEPEND=">=virtual/jdk-1.5 + doc? ( + =app-text/docbook-xml-dtd-4.3* + >=app-text/docbook-xsl-stylesheets-1.65.1 + dev-libs/libxslt + ) + =dev-java/gnu-regexp-1*" + +S="${WORKDIR}/jEdit" + +JEDIT_HOME="/usr/share/${PN}" + +src_unpack() { + unpack ${A} + cd "${S}" + + # we need to use our own classpath + java-ant_rewrite-classpath build.xml + + if use doc; then + local xsl=$(echo /usr/share/sgml/docbook/xsl-stylesheets-*) + xsl=${xsl// *} + + local xml=$(echo /usr/share/sgml/docbook/xml-dtd-4.3*) + xml=${xml// *} + + echo "build.directory=." > build.properties + echo "docbook.dtd.catalog=${xml}/docbook.cat" >> build.properties + echo "docbook.xsl=${xsl}" >> build.properties + fi + + # remove bundled sources + rm -r gnu/* # gnu-regexp + # still need to do: bsh, com.microstar.xml.*, org.gjt.* + java-pkg_filter-compiler jikes +} +src_compile() { + # TODO could build more docs, ie userdocs target instead of generate-javadoc + eant build $(use_doc generate-javadoc) \ + -Dgentoo.classpath=$(java-pkg_getjars gnu-regexp-1):$(java-config --tools) +} + +src_install () { + dodir ${JEDIT_HOME} + cp -R build/${PN}.jar jars doc macros modes properties startup \ + "${D}/usr/share/jedit" + + java-pkg_regjar ${JEDIT_HOME}/${PN}.jar + + java-pkg_dolauncher ${PN} --pwd ${JEDIT_HOME} --main org.gjt.sp.jedit.jEdit + + use doc && java-pkg_dojavadoc build/classes/javadoc/api + + make_desktop_entry ${PN} \ + jEdit \ + ${JEDIT_HOME}/doc/${PN}.png \ + "Development;Utility;TextEditor" + + # keep the plugin directory + keepdir ${JEDIT_HOME}/jars +} + +pkg_postinst() { + fdo-mime_desktop_database_update + elog "The system directory for jEdit plugins is" + elog "${JEDIT_HOME}/jars" +} + +pkg_postrm() { + fdo-mime_desktop_database_update + elog "jEdit plugins installed into /usr/share/jedit/jars" + elog "(after installation of jEdit itself) haven't been" + elog "removed. To get rid of jEdit completely, you may" + elog "want to run" + elog "" + elog "\trm -r ${JEDIT_HOME}" + elog "Ignore this message if you are reinstalling or upgrading." +} |