Gentoo Archives: gentoo-commits

From: "Jakov Smolić" <jsmolic@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
Date: Tue, 23 Nov 2021 10:56:21
Message-Id: 1637664967.06ec79d6024972c648be285fa721e58cb4c3ea04.jsmolic@gentoo
1 commit: 06ec79d6024972c648be285fa721e58cb4c3ea04
2 Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
3 AuthorDate: Tue Nov 23 10:50:05 2021 +0000
4 Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
5 CommitDate: Tue Nov 23 10:56:07 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06ec79d6
7
8 app-editors/jedit: Revert "Drop EAPI-5 ebuild"
9
10 Newer version is not yet stable on ppc64 and we don't want to drop this
11 package to ~ppc64.
12 This reverts commit 542e70faef5eecdcff7f5341905b15655b2e4ec7.
13
14 Bug: https://bugs.gentoo.org/783639
15 Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
16
17 app-editors/jedit/Manifest | 1 +
18 app-editors/jedit/jedit-5.2.0-r1.ebuild | 102 ++++++++++++++++++++++++++++++++
19 2 files changed, 103 insertions(+)
20
21 diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
22 index a3f2a1f02ddc..e18bb3da8221 100644
23 --- a/app-editors/jedit/Manifest
24 +++ b/app-editors/jedit/Manifest
25 @@ -1 +1,2 @@
26 +DIST jedit5.2.0source.tar.bz2 2456541 BLAKE2B 82723b5e5670324fe3acff6d6958a83331bf67ab5453eaa1109de192586e4bcce3832456fdfd493e233f30ccbbf256e48b60398f256d9cf4c0cc366816d8b23f SHA512 5af99ac864dd70701f24435840e26f73077ba02d155319965122bd24871e6825b82383054d29dfec72bbbedaac72bfb2d86097de6a0c79341f0a279dacd60126
27 DIST jedit5.4.0source.tar.bz2 2535992 BLAKE2B 1560f680437e89cea789f2b0540225b0cbf92bc22f975c6d1850a7b3aa06a2b95d61a254fd0d4c0e7da916ee9de3a095ab5190ae5df3ad27e55c2f0ccef57db2 SHA512 2120370c54f8bd415f90b979c42bfca6101f76ba33f0ec6a8172adeb33173ba9c73cbd7f06b5dc8c12aa3eedf51f007752cdbf0c7423d77a1ac591beb5493112
28
29 diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild
30 new file mode 100644
31 index 000000000000..e6ff8beafda0
32 --- /dev/null
33 +++ b/app-editors/jedit/jedit-5.2.0-r1.ebuild
34 @@ -0,0 +1,102 @@
35 +# Copyright 1999-2021 Gentoo Authors
36 +# Distributed under the terms of the GNU General Public License v2
37 +
38 +EAPI=5
39 +
40 +JAVA_PKG_IUSE="doc test"
41 +
42 +inherit epatch java-pkg-2 java-ant-2 xdg-utils
43 +
44 +DESCRIPTION="Programmer's editor written in Java"
45 +HOMEPAGE="http://www.jedit.org"
46 +SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
47 +
48 +LICENSE="BSD GPL-2"
49 +KEYWORDS="amd64 ppc64 x86"
50 +SLOT="0"
51 +IUSE=""
52 +
53 +CDEPEND="
54 + dev-java/bsh:0
55 + dev-java/jsr305:0
56 + dev-java/ant-contrib:0
57 + dev-java/ant-apache-bsf:0"
58 +
59 +RDEPEND="
60 + ${CDEPEND}
61 + >=virtual/jre-1.7"
62 +
63 +DEPEND="
64 + ${CDEPEND}
65 + >=virtual/jdk-1.7"
66 +
67 +S="${WORKDIR}/jEdit"
68 +
69 +JEDIT_HOME="/usr/share/${PN}"
70 +
71 +java_prepare() {
72 + mkdir -p lib/{ant-contrib,compile,default-plugins,scripting} || die
73 +
74 + epatch "${FILESDIR}"/${P}-build-xml.patch
75 +
76 + java-ant_xml-rewrite -f "${S}/build.xml" -c \
77 + -e javadoc \
78 + -a failonerror \
79 + -v no || die
80 +}
81 +
82 +JAVA_ANT_REWRITE_CLASSPATH="true"
83 +
84 +EANT_ANT_TASKS="ant-apache-bsf ant-contrib bsh"
85 +EANT_GENTOO_CLASSPATH="jsr305"
86 +EANT_EXTRA_ARGS="-Divy.jar.present=true -Divy.done=true"
87 +EANT_BUILD_TARGET="build"
88 +# TODO could build more docs, ie generate-doc-faq generate-doc-news
89 +# generate-doc-users-guide ua.
90 +EANT_DOC_TARGET="generate-javadoc"
91 +# in fact needed only for docs, but shouldn't hurt
92 +EANT_NEEDS_TOOLS="true"
93 +
94 +src_test() {
95 + java-pkg-2_src_test
96 +}
97 +
98 +src_install() {
99 + dodir ${JEDIT_HOME}
100 +
101 + cp -R build/${PN}.jar jars doc keymaps macros modes properties startup \
102 + "${D}${JEDIT_HOME}" || die
103 +
104 + java-pkg_regjar "${JEDIT_HOME}/${PN}.jar"
105 +
106 + java-pkg_dolauncher "${PN}" --main org.gjt.sp.jedit.jEdit
107 +
108 + use doc && java-pkg_dojavadoc build/classes/javadoc/api
109 +
110 + make_desktop_entry ${PN} \
111 + jEdit \
112 + ${JEDIT_HOME}/doc/${PN}.png \
113 + "Development;Utility;TextEditor"
114 +
115 + # keep the plugin directory
116 + keepdir ${JEDIT_HOME}/jars
117 +}
118 +
119 +pkg_postinst() {
120 + xdg_desktop_database_update
121 + elog "The system directory for jEdit plugins is"
122 + elog "${JEDIT_HOME}/jars"
123 + elog "If you get plugin related errors on startup, first try updating them."
124 +}
125 +
126 +pkg_postrm() {
127 + if [[ -z ${REPLACED_BY_VERSION} ]]; then
128 + xdg_desktop_database_update
129 + elog "jEdit plugins installed into /usr/share/jedit/jars"
130 + elog "(after installation of jEdit itself) haven't been"
131 + elog "removed. To get rid of jEdit completely, you may"
132 + elog "want to run"
133 + elog ""
134 + elog " rm -r ${JEDIT_HOME}"
135 + fi
136 +}