summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVolkmar W. Pogatzki <gentoo@pogatzki.net>2023-05-09 15:30:29 +0200
committerMiroslav Šulc <fordfrog@gentoo.org>2023-05-10 06:57:57 +0200
commit3ba34869d81bda7b57750714d6cbc69abbe03293 (patch)
tree7bc31d11b4477f0b0b7b27df16b5bcdf6ce284d5 /app-editors/jedit
parentdev-java/fop: drop 2.8 (diff)
downloadgentoo-3ba34869d81bda7b57750714d6cbc69abbe03293.tar.gz
gentoo-3ba34869d81bda7b57750714d6cbc69abbe03293.tar.bz2
gentoo-3ba34869d81bda7b57750714d6cbc69abbe03293.zip
app-editors/jedit: drop 5.4.0-r2
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/30945 Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'app-editors/jedit')
-rw-r--r--app-editors/jedit/Manifest1
-rw-r--r--app-editors/jedit/jedit-5.4.0-r2.ebuild116
2 files changed, 0 insertions, 117 deletions
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index 7905e60a6daf..f97cbc3f22ea 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,2 +1 @@
-DIST jedit5.4.0source.tar.bz2 2535992 BLAKE2B 1560f680437e89cea789f2b0540225b0cbf92bc22f975c6d1850a7b3aa06a2b95d61a254fd0d4c0e7da916ee9de3a095ab5190ae5df3ad27e55c2f0ccef57db2 SHA512 2120370c54f8bd415f90b979c42bfca6101f76ba33f0ec6a8172adeb33173ba9c73cbd7f06b5dc8c12aa3eedf51f007752cdbf0c7423d77a1ac591beb5493112
DIST jedit5.6.0source.tar.bz2 2572329 BLAKE2B d9815feef6fb03cb4a15e7101383944776ca593884de6965aaa3e74a411f8915d0542ab62be8e4551e04dd410c1da4ebedfb8a2c2869d33eb205100d6bd84352 SHA512 89e65998ea49b5b3da4f1daad001d7cf763e196e7110b604e99e3fad038ca126cf108a471ee611ef76b5491b91d618f47cdc24b270cabccb6a80858a37720af7
diff --git a/app-editors/jedit/jedit-5.4.0-r2.ebuild b/app-editors/jedit/jedit-5.4.0-r2.ebuild
deleted file mode 100644
index 5f66cb999af5..000000000000
--- a/app-editors/jedit/jedit-5.4.0-r2.ebuild
+++ /dev/null
@@ -1,116 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-JAVA_PKG_IUSE="doc test"
-inherit desktop 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"
-
-# Same failure with 5.4.0.ebuild:
-# See reports at /var/tmp/portage/app-editors/jedit-5.4.0/work/jEdit/build/test/reports/index.html
-# "Failure" "No tests found in org.jedit.io.Native2ASCIIEncodingTest"
-RESTRICT="test"
-
-CP_DEPEND="dev-java/jsr305:0"
-
-# Restricting to java 1.8 as it fails to compile with newer java versions, https://bugs.gentoo.org/828559
-#init:
-# [echo] Buildfile for jedit (/var/tmp/portage/app-editors/jedit-5.4.0/work/jEdit/build.xml)
-#Class org.apache.tools.ant.types.resources.selectors.Not loaded from parent loader (parentFirst)
-#Class org.apache.tools.ant.taskdefs.condition.Equals loaded from parent loader (parentFirst)
-# [fail] failing due to Java 1.8 is needed for jEdit to build, please install it and rerun (found Java version: '11')
-RDEPEND="
- ${CP_DEPEND}
- virtual/jre:1.8"
-
-DEPEND="
- ${CP_DEPEND}
- virtual/jdk:1.8
- dev-java/ant-contrib:0
- dev-java/ant-apache-bsf:0
- dev-java/bsh:0
- test? (
- dev-java/ant-junit:0
- dev-java/hamcrest-library:1.3
- )"
-
-S="${WORKDIR}/jEdit"
-
-JEDIT_HOME="/usr/share/${PN}"
-
-src_prepare() {
- mkdir -p lib/{ant-contrib,compile,default-plugins,scripting,test} || die
-
- eapply "${FILESDIR}"/${P}-build-xml.patch
-
- java-ant_xml-rewrite -f "${S}/build.xml" -c \
- -e javadoc \
- -a failonerror \
- -v no || die
-
- java-pkg-2_src_prepare
-}
-
-JAVA_ANT_REWRITE_CLASSPATH="true"
-
-EANT_ANT_TASKS="ant-apache-bsf ant-contrib bsh"
-EANT_TEST_GENTOO_CLASSPATH="hamcrest-library-1.3"
-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
-}