diff options
| -rw-r--r-- | app-editors/jedit/Manifest | 1 | ||||
| -rw-r--r-- | app-editors/jedit/jedit-5.2.0-r1.ebuild | 102 |
2 files changed, 0 insertions, 103 deletions
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest index e18bb3da8221..a3f2a1f02ddc 100644 --- a/app-editors/jedit/Manifest +++ b/app-editors/jedit/Manifest @@ -1,2 +1 @@ -DIST jedit5.2.0source.tar.bz2 2456541 BLAKE2B 82723b5e5670324fe3acff6d6958a83331bf67ab5453eaa1109de192586e4bcce3832456fdfd493e233f30ccbbf256e48b60398f256d9cf4c0cc366816d8b23f SHA512 5af99ac864dd70701f24435840e26f73077ba02d155319965122bd24871e6825b82383054d29dfec72bbbedaac72bfb2d86097de6a0c79341f0a279dacd60126 DIST jedit5.4.0source.tar.bz2 2535992 BLAKE2B 1560f680437e89cea789f2b0540225b0cbf92bc22f975c6d1850a7b3aa06a2b95d61a254fd0d4c0e7da916ee9de3a095ab5190ae5df3ad27e55c2f0ccef57db2 SHA512 2120370c54f8bd415f90b979c42bfca6101f76ba33f0ec6a8172adeb33173ba9c73cbd7f06b5dc8c12aa3eedf51f007752cdbf0c7423d77a1ac591beb5493112 diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild deleted file mode 100644 index e6ff8beafda0..000000000000 --- a/app-editors/jedit/jedit-5.2.0-r1.ebuild +++ /dev/null @@ -1,102 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -JAVA_PKG_IUSE="doc test" - -inherit epatch java-pkg-2 java-ant-2 xdg-utils - -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 ppc64 x86" -SLOT="0" -IUSE="" - -CDEPEND=" - dev-java/bsh:0 - dev-java/jsr305:0 - dev-java/ant-contrib:0 - dev-java/ant-apache-bsf:0" - -RDEPEND=" - ${CDEPEND} - >=virtual/jre-1.7" - -DEPEND=" - ${CDEPEND} - >=virtual/jdk-1.7" - -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_xml-rewrite -f "${S}/build.xml" -c \ - -e javadoc \ - -a failonerror \ - -v no || die -} - -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() { - xdg_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 - xdg_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 -} |