From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id C685D158649 for ; Wed, 10 May 2023 04:58:12 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id A4213E081E; Wed, 10 May 2023 04:58:11 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 70EE1E081E for ; Wed, 10 May 2023 04:58:11 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 0AA82340D6B for ; Wed, 10 May 2023 04:58:10 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 61CFBA5E for ; Wed, 10 May 2023 04:58:08 +0000 (UTC) From: "Miroslav Šulc" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Miroslav Šulc" Message-ID: <1683694677.3ba34869d81bda7b57750714d6cbc69abbe03293.fordfrog@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/ X-VCS-Repository: repo/gentoo X-VCS-Files: app-editors/jedit/Manifest app-editors/jedit/jedit-5.4.0-r2.ebuild X-VCS-Directories: app-editors/jedit/ X-VCS-Committer: fordfrog X-VCS-Committer-Name: Miroslav Šulc X-VCS-Revision: 3ba34869d81bda7b57750714d6cbc69abbe03293 X-VCS-Branch: master Date: Wed, 10 May 2023 04:58:08 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 5c7ec7d9-7f4b-4ba4-9d39-eca5b6e2914b X-Archives-Hash: fa5ae2639d2bfa873badd02070d8cda0 commit: 3ba34869d81bda7b57750714d6cbc69abbe03293 Author: Volkmar W. Pogatzki pogatzki net> AuthorDate: Tue May 9 13:30:29 2023 +0000 Commit: Miroslav Šulc gentoo org> CommitDate: Wed May 10 04:57:57 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ba34869 app-editors/jedit: drop 5.4.0-r2 Signed-off-by: Volkmar W. Pogatzki pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/30945 Signed-off-by: Miroslav Šulc gentoo.org> app-editors/jedit/Manifest | 1 - app-editors/jedit/jedit-5.4.0-r2.ebuild | 116 -------------------------------- 2 files changed, 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 -}