mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
app-editors/jedit: drop 5.6.0-r1
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: 6327dd79b2
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
This commit is contained in:
parent
b2b84a8677
commit
1851d19fee
@ -1,2 +1 @@
|
||||
DIST jedit5.6.0source.tar.bz2 2572329 BLAKE2B d9815feef6fb03cb4a15e7101383944776ca593884de6965aaa3e74a411f8915d0542ab62be8e4551e04dd410c1da4ebedfb8a2c2869d33eb205100d6bd84352 SHA512 89e65998ea49b5b3da4f1daad001d7cf763e196e7110b604e99e3fad038ca126cf108a471ee611ef76b5491b91d618f47cdc24b270cabccb6a80858a37720af7
|
||||
DIST jedit5.7.0source.tar.bz2 2633539 BLAKE2B f8f0ee0b8c568ab64b9812049601c6692f60346bf8f70217fd82f27daedcdfdc95f8157adeca38ba36bd7c9e3d7a29bed2506f951e3e0b0ade1cd9a53a89e669 SHA512 6f5ab4b7f4fe467400686ac9100c462b8c40912036e0a5735ec5dbece569b0eb36f8ac1d9a0d93065baafc48da4e0a00b7440c31584ca1835f164b31b2400625
|
||||
|
||||
@ -1,127 +0,0 @@
|
||||
# Copyright 1999-2024 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
JAVA_PKG_IUSE="doc source test"
|
||||
JAVA_TESTING_FRAMEWORKS="junit-4"
|
||||
|
||||
inherit desktop java-pkg-2 java-pkg-simple xdg-utils
|
||||
|
||||
DESCRIPTION="Programmer's editor written in Java"
|
||||
HOMEPAGE="https://www.jedit.org"
|
||||
SRC_URI="https://downloads.sourceforge.net/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2"
|
||||
S="${WORKDIR}/jEdit"
|
||||
|
||||
LICENSE="BSD GPL-2"
|
||||
KEYWORDS="amd64 ppc64"
|
||||
SLOT="0"
|
||||
|
||||
BDEPEND="
|
||||
app-text/docbook-xsl-stylesheets:0
|
||||
dev-libs/libxslt:0
|
||||
"
|
||||
CP_DEPEND="dev-java/jsr305:0"
|
||||
DEPEND="${CP_DEPEND}
|
||||
>=virtual/jdk-11:*
|
||||
test? (
|
||||
dev-java/hamcrest:0
|
||||
dev-java/mockito:2
|
||||
)"
|
||||
RDEPEND="${CP_DEPEND}
|
||||
>=virtual/jre-11:*"
|
||||
|
||||
PATCHES=( "${FILESDIR}/jedit-5.6.0-skip-failing-test.patch" )
|
||||
|
||||
JAVA_MAIN_CLASS="org.gjt.sp.jedit.jEdit"
|
||||
JAVA_RESOURCE_DIRS="resources"
|
||||
JAVA_SRC_DIR="src"
|
||||
JAVA_TEST_GENTOO_CLASSPATH="
|
||||
hamcrest
|
||||
junit-4
|
||||
mockito-2
|
||||
"
|
||||
JAVA_TEST_SRC_DIR="test"
|
||||
JEDIT_HOME="/usr/share/${PN}/lib"
|
||||
|
||||
src_prepare() {
|
||||
default #780585
|
||||
java-pkg-2_src_prepare
|
||||
mkdir -v src resources || die
|
||||
find org doclet -type f -name '*.java' \
|
||||
| xargs cp --parent -t "${JAVA_SRC_DIR}" || die
|
||||
find org -type f \
|
||||
! -name '*.java' \
|
||||
! -name 'package.html' \
|
||||
! -name 'README.html' \
|
||||
! -name 'jedit.manifest' \
|
||||
! -name 'Reflect.last' \
|
||||
! -name 'bsh.jj*' \
|
||||
! -name '*.scripted' \
|
||||
| xargs cp --parent -t "${JAVA_RESOURCE_DIRS}" || die
|
||||
|
||||
einfo "Creating the docs"
|
||||
mv doc/{FAQ,whatsnew} . || die
|
||||
mkdir doc/{FAQ,whatsnew} || die
|
||||
# build.xml 734-804
|
||||
xsltproc \
|
||||
-xinclude \
|
||||
-o doc/FAQ/ \
|
||||
doc/jedithtml.xsl \
|
||||
FAQ/faq.xml || die
|
||||
xsltproc \
|
||||
-o doc/whatsnew/ \
|
||||
doc/jedithtml.xsl \
|
||||
whatsnew/news.xml || die
|
||||
|
||||
einfo "Creating users-guide"
|
||||
ln -s /usr/share/sgml/docbook/ . || die
|
||||
# This is the part which does not work with xmlto. So we use xsltproc.
|
||||
# TODO:
|
||||
# Try "XIncludes with Xalan and Xerces" according to
|
||||
# http://www.sagehill.net/docbookxsl/Xinclude.html#d0e40343
|
||||
xsltproc \
|
||||
-xinclude \
|
||||
-o doc/users-guide/users-guide.html \
|
||||
docbook/xsl-stylesheets/html/docbook.xsl \
|
||||
doc/jedithtml.xsl \
|
||||
doc/users-guide/users-guide.xml || die
|
||||
# Cleanup. The xml files were processed and need not get installed.
|
||||
rm doc/users-guide/*.xml || die
|
||||
}
|
||||
|
||||
src_install() {
|
||||
java-pkg-simple_src_install
|
||||
# The application wants all this stuff in /usr/share/jedit/lib/
|
||||
# Using java-pkg_dolauncher with --pwd cannot solve it.
|
||||
# If we change the location the application fails to start:
|
||||
# "System keymap folder do not exist, your installation is broken."
|
||||
cp -R jars doc keymaps macros modes properties startup \
|
||||
"${D}${JEDIT_HOME}" || die
|
||||
|
||||
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
|
||||
}
|
||||
Loading…
x
Reference in New Issue
Block a user