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 |
+} |