diff options
author | 2015-08-08 00:36:33 +0000 | |
---|---|---|
committer | 2015-08-08 00:36:33 +0000 | |
commit | d36c3584ccbc5e9db7a060c5f5a58bff4ab541b3 (patch) | |
tree | 452904514e6006b0f0d8cfbc04baf3748688af7f /app-editors | |
parent | dev-java/qdox: Fix homepage (diff) | |
download | gentoo-2-d36c3584ccbc5e9db7a060c5f5a58bff4ab541b3.tar.gz gentoo-2-d36c3584ccbc5e9db7a060c5f5a58bff4ab541b3.tar.bz2 gentoo-2-d36c3584ccbc5e9db7a060c5f5a58bff4ab541b3.zip |
app-editors/jedit: 5.2.0 (bug #552764)
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 0x401A1600)
Diffstat (limited to 'app-editors')
-rw-r--r-- | app-editors/jedit/ChangeLog | 8 | ||||
-rw-r--r-- | app-editors/jedit/files/jedit-5.2.0-build-xml.patch | 24 | ||||
-rw-r--r-- | app-editors/jedit/jedit-5.2.0.ebuild | 99 |
3 files changed, 130 insertions, 1 deletions
diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog index 64d054e4e0d2..bd76e8461379 100644 --- a/app-editors/jedit/ChangeLog +++ b/app-editors/jedit/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for app-editors/jedit # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.111 2015/06/09 09:49:51 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.112 2015/08/08 00:36:33 sping Exp $ + +*jedit-5.2.0 (08 Aug 2015) + + 08 Aug 2015; Sebastian Pipping <sping@gentoo.org> +jedit-5.2.0.ebuild, + +files/jedit-5.2.0-build-xml.patch: + Bump to 5.2.0 (bug #552764) 09 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml: Updating remote-id in metadata.xml diff --git a/app-editors/jedit/files/jedit-5.2.0-build-xml.patch b/app-editors/jedit/files/jedit-5.2.0-build-xml.patch new file mode 100644 index 000000000000..da0a91d54d22 --- /dev/null +++ b/app-editors/jedit/files/jedit-5.2.0-build-xml.patch @@ -0,0 +1,24 @@ +From 4dc53a4c320af0894bd600c77d4432c414cdee16 Mon Sep 17 00:00:00 2001 +From: Sebastian Pipping <sebastian@pipping.org> +Date: Sat, 8 Aug 2015 00:05:20 +0200 +Subject: [PATCH] Do not have target "build" call target "test" + +--- + build.xml | 1 - + 1 file changed, 1 deletion(-) + +diff --git a/build.xml b/build.xml +index f34934f..da5272a 100644 +--- a/build.xml ++++ b/build.xml +@@ -504,7 +504,6 @@ + </copy> + </contrib:then> + </contrib:if> +- <antcall target="test" /> + </target> + + <target name="build-exe-launcher" +-- +2.5.0 + diff --git a/app-editors/jedit/jedit-5.2.0.ebuild b/app-editors/jedit/jedit-5.2.0.ebuild new file mode 100644 index 000000000000..5ed5f7fd53d3 --- /dev/null +++ b/app-editors/jedit/jedit-5.2.0.ebuild @@ -0,0 +1,99 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-5.2.0.ebuild,v 1.1 2015/08/08 00:36:33 sping Exp $ + +EAPI=5 + +JAVA_PKG_IUSE="doc test" + +inherit java-pkg-2 java-ant-2 eutils fdo-mime + +DESCRIPTION="Programmer's editor written in Java" +HOMEPAGE="http://www.jedit.org" +SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2" + +LICENSE="BSD GPL-2" +KEYWORDS="~amd64 ~ppc ~x86" +SLOT="0" +IUSE="" + +# missing from tarball +RESTRICT="test" + +COMMON_DEP=" + dev-java/jsr305:0" +RDEPEND="${COMMON_DEP} + >=virtual/jre-1.7" +DEPEND="${COMMON_DEP} + >=virtual/jdk-1.7 + dev-java/ant-apache-bsf:0 + dev-java/ant-contrib:0 + dev-java/bsh[bsf] + test? ( + dev-java/ant-junit:0 + )" + +S="${WORKDIR}/jEdit" + +JEDIT_HOME="/usr/share/${PN}" + +java_prepare() { + mkdir -p lib/{ant-contrib,compile,default-plugins,scripting} || die + + epatch "${FILESDIR}"/${P}-build-xml.patch +} + +JAVA_ANT_REWRITE_CLASSPATH="true" + +EANT_ANT_TASKS="ant-apache-bsf ant-contrib bsh" +EANT_GENTOO_CLASSPATH="jsr305" +EANT_EXTRA_ARGS="-Divy.jar.present=true -Divy.done=true" +EANT_BUILD_TARGET="build" +# TODO could build more docs, ie generate-doc-faq generate-doc-news +# generate-doc-users-guide ua. +EANT_DOC_TARGET="generate-javadoc" +# in fact needed only for docs, but shouldn't hurt +EANT_NEEDS_TOOLS="true" + +src_test() { + java-pkg-2_src_test +} + +src_install () { + dodir ${JEDIT_HOME} + cp -R build/${PN}.jar jars doc keymaps macros modes properties startup \ + "${D}${JEDIT_HOME}" || die + + java-pkg_regjar ${JEDIT_HOME}/${PN}.jar + + java-pkg_dolauncher ${PN} --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" + elog "If you get plugin related errors on startup, first try updating them." +} + +pkg_postrm() { + if [[ -z ${REPLACED_BY_VERSION} ]]; then + 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 " rm -r ${JEDIT_HOME}" + fi +} |