* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2015-12-21 6:14 Jeroen Roovers
0 siblings, 0 replies; 28+ messages in thread
From: Jeroen Roovers @ 2015-12-21 6:14 UTC (permalink / raw
To: gentoo-commits
commit: e8464d90a8db94dea0caf2c37c8f192b9f7685cf
Author: Jeroen Roovers <jer <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 21 06:13:49 2015 +0000
Commit: Jeroen Roovers <jer <AT> gentoo <DOT> org>
CommitDate: Mon Dec 21 06:13:49 2015 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e8464d90
app-editors/jedit: Mark ~ppc64 (bug #556986).
Package-Manager: portage-2.2.26
RepoMan-Options: --ignore-arches
app-editors/jedit/jedit-5.2.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.2.0.ebuild b/app-editors/jedit/jedit-5.2.0.ebuild
index 51f2d61..7136847 100644
--- a/app-editors/jedit/jedit-5.2.0.ebuild
+++ b/app-editors/jedit/jedit-5.2.0.ebuild
@@ -13,7 +13,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ~ppc ~ppc64 ~x86"
SLOT="0"
IUSE=""
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2016-03-15 14:05 Patrice Clement
0 siblings, 0 replies; 28+ messages in thread
From: Patrice Clement @ 2016-03-15 14:05 UTC (permalink / raw
To: gentoo-commits
commit: 8311d226f6b9058223b5a64bf5dfb413269bd350
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 15 13:49:29 2016 +0000
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Tue Mar 15 13:51:46 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8311d226
app-editors/jedit: Remove bsf USE flag.
Package-Manager: portage-2.2.26
app-editors/jedit/Manifest | 1 -
app-editors/jedit/jedit-5.0.0.ebuild | 101 ---------------------
.../{jedit-5.2.0.ebuild => jedit-5.2.0-r1.ebuild} | 34 ++++---
3 files changed, 19 insertions(+), 117 deletions(-)
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index c45a9ad..dbd6537 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,2 +1 @@
-DIST jedit5.0.0source.tar.bz2 2224469 SHA256 4464cbfe8a01cae15476d6b0cf57b4b89c1cb3d7b541ec2f48ed283385c015ce SHA512 376803339251ee389e6be0cd5267140e36a09120882a9fb8d989c0ed424e6680ede3c509d10fc3d3b8956d1219ff5c009d9b4fbd04e76b81a9be38f77383562d WHIRLPOOL efa3dc731086ecffbf4490c14a597b24ec7849b5c16f1f5df9d1483b08004433b4a478e96963e9e70ec5f7d584075fb65c2d3e63bd516125907998de649c1a70
DIST jedit5.2.0source.tar.bz2 2456541 SHA256 1d444d2ceab62e449523ae336603fedee322d3655c9e5606d3b4d00c125c950f SHA512 5af99ac864dd70701f24435840e26f73077ba02d155319965122bd24871e6825b82383054d29dfec72bbbedaac72bfb2d86097de6a0c79341f0a279dacd60126 WHIRLPOOL e6a8e837317a2068fe808bc3ada39bf4730a5aaebeca60f7501b5fad2353a5f889b76778c59ffe39b34563107ba3ec02eec550cd612ddcbd00ee03616910cc19
diff --git a/app-editors/jedit/jedit-5.0.0.ebuild b/app-editors/jedit/jedit-5.0.0.ebuild
deleted file mode 100644
index c581c70..0000000
--- a/app-editors/jedit/jedit-5.0.0.ebuild
+++ /dev/null
@@ -1,101 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-JAVA_PKG_IUSE="doc test"
-
-inherit java-pkg-2 java-ant-2 eutils fdo-mime
-
-DESCRIPTION="Programmer's editor written in Java"
-HOMEPAGE="http://www.jedit.org"
-SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
-
-LICENSE="GPL-2"
-KEYWORDS="amd64 ppc64 x86"
-SLOT="0"
-IUSE=""
-
-# missing from tarball
-RESTRICT="test"
-
-COMMON_DEP="
- dev-java/jsr305:0"
-RDEPEND="${COMMON_DEP}
- >=virtual/jre-1.6"
-DEPEND="${COMMON_DEP}
- >=virtual/jdk-1.6
- dev-java/ant-apache-bsf:0
- dev-java/ant-contrib:0
- dev-java/bsh[bsf]
- test? (
- dev-java/ant-junit:0
- )"
-
-S="${WORKDIR}/jEdit"
-
-JEDIT_HOME="/usr/share/${PN}"
-
-java_prepare() {
- mkdir -p lib/{ant-contrib,compile,default-plugins,scripting} || die
-
- # don't unconditionally run tests (which aren't even shipped)
- sed -i -e 's|\(depends="init,retrieve,setup,compile\),test|\1|' \
- build.xml || die
-}
-
-JAVA_ANT_REWRITE_CLASSPATH="true"
-
-EANT_ANT_TASKS="ant-apache-bsf ant-contrib bsh"
-EANT_GENTOO_CLASSPATH="jsr305"
-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() {
- fdo-mime_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
- fdo-mime_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
-}
diff --git a/app-editors/jedit/jedit-5.2.0.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild
similarity index 85%
rename from app-editors/jedit/jedit-5.2.0.ebuild
rename to app-editors/jedit/jedit-5.2.0-r1.ebuild
index 7c87206..2f7045e 100644
--- a/app-editors/jedit/jedit-5.2.0.ebuild
+++ b/app-editors/jedit/jedit-5.2.0-r1.ebuild
@@ -17,21 +17,19 @@ KEYWORDS="~amd64 ~ppc64 ~x86"
SLOT="0"
IUSE=""
-# missing from tarball
-RESTRICT="test"
+CDEPEND="
+ dev-java/bsh:0
+ dev-java/jsr305:0
+ dev-java/ant-contrib:0
+ dev-java/ant-apache-bsf:0"
-COMMON_DEP="
- dev-java/jsr305:0"
-RDEPEND="${COMMON_DEP}
+RDEPEND="
+ ${CDEPEND}
>=virtual/jre-1.7"
-DEPEND="${COMMON_DEP}
- >=virtual/jdk-1.7
- dev-java/ant-apache-bsf:0
- dev-java/ant-contrib:0
- dev-java/bsh[bsf]
- test? (
- dev-java/ant-junit:0
- )"
+
+DEPEND="
+ ${CDEPEND}
+ >=virtual/jdk-1.7"
S="${WORKDIR}/jEdit"
@@ -41,6 +39,11 @@ java_prepare() {
mkdir -p lib/{ant-contrib,compile,default-plugins,scripting} || die
epatch "${FILESDIR}"/${P}-build-xml.patch
+
+ java-ant_xml-rewrite -f "${S}/build.xml" -c \
+ -e javadoc \
+ -a failonerror \
+ -v no || die
}
JAVA_ANT_REWRITE_CLASSPATH="true"
@@ -61,12 +64,13 @@ 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_regjar "${JEDIT_HOME}/${PN}.jar"
- java-pkg_dolauncher ${PN} --main org.gjt.sp.jedit.jEdit
+ java-pkg_dolauncher "${PN}" --main org.gjt.sp.jedit.jEdit
use doc && java-pkg_dojavadoc build/classes/javadoc/api
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2016-03-15 14:05 Patrice Clement
0 siblings, 0 replies; 28+ messages in thread
From: Patrice Clement @ 2016-03-15 14:05 UTC (permalink / raw
To: gentoo-commits
commit: d65c2ec634a9c17fa3418d40ae1e7ab5e8b2d862
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 15 13:50:16 2016 +0000
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Tue Mar 15 13:51:50 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d65c2ec6
app-editors/jedit: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy.
Package-Manager: portage-2.2.26
app-editors/jedit/jedit-5.2.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild
index 2f7045e..80126fd 100644
--- a/app-editors/jedit/jedit-5.2.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.2.0-r1.ebuild
@@ -13,7 +13,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="amd64 ppc64 x86"
SLOT="0"
IUSE=""
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2018-06-04 10:06 Patrice Clement
0 siblings, 0 replies; 28+ messages in thread
From: Patrice Clement @ 2018-06-04 10:06 UTC (permalink / raw
To: gentoo-commits
commit: 7af14c74619ce6c31448a41c5f568e153198b572
Author: Marty E. Plummer <hanetzer <AT> startmail <DOT> com>
AuthorDate: Fri Jun 1 17:24:05 2018 +0000
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Mon Jun 4 10:06:07 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7af14c74
app-editors/jedit: fdo-mime->xdt-utils migration.
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Closes: https://github.com/gentoo/gentoo/pull/8683
app-editors/jedit/jedit-5.2.0-r1.ebuild | 8 ++++----
app-editors/jedit/jedit-5.4.0.ebuild | 6 +++---
2 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild
index 945eb818064..956701724a0 100644
--- a/app-editors/jedit/jedit-5.2.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.2.0-r1.ebuild
@@ -1,11 +1,11 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
JAVA_PKG_IUSE="doc test"
-inherit java-pkg-2 java-ant-2 eutils fdo-mime
+inherit eutils java-pkg-2 java-ant-2 xdg-utils
DESCRIPTION="Programmer's editor written in Java"
HOMEPAGE="http://www.jedit.org"
@@ -83,7 +83,7 @@ src_install () {
}
pkg_postinst() {
- fdo-mime_desktop_database_update
+ 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."
@@ -91,7 +91,7 @@ pkg_postinst() {
pkg_postrm() {
if [[ -z ${REPLACED_BY_VERSION} ]]; then
- fdo-mime_desktop_database_update
+ 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"
diff --git a/app-editors/jedit/jedit-5.4.0.ebuild b/app-editors/jedit/jedit-5.4.0.ebuild
index b91e0863229..e38548dd3af 100644
--- a/app-editors/jedit/jedit-5.4.0.ebuild
+++ b/app-editors/jedit/jedit-5.4.0.ebuild
@@ -5,7 +5,7 @@ EAPI=6
JAVA_PKG_IUSE="doc test"
-inherit java-pkg-2 java-ant-2 eutils fdo-mime
+inherit eutils java-pkg-2 java-ant-2 xdg-utils
DESCRIPTION="Programmer's editor written in Java"
HOMEPAGE="http://www.jedit.org"
@@ -87,7 +87,7 @@ src_install () {
}
pkg_postinst() {
- fdo-mime_desktop_database_update
+ 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."
@@ -95,7 +95,7 @@ pkg_postinst() {
pkg_postrm() {
if [[ -z ${REPLACED_BY_VERSION} ]]; then
- fdo-mime_desktop_database_update
+ 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"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-04-22 20:25 Sam James
0 siblings, 0 replies; 28+ messages in thread
From: Sam James @ 2021-04-22 20:25 UTC (permalink / raw
To: gentoo-commits
commit: 857054e4e996e960ccb2a27120c5b31ce4e9ac69
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 22 20:25:04 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Apr 22 20:25:04 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=857054e4
app-editors/jedit: Stabilize 5.4.0 amd64, #783639
Signed-off-by: Sam James <sam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0.ebuild b/app-editors/jedit/jedit-5.4.0.ebuild
index a7d779902ac..010c1a681ee 100644
--- a/app-editors/jedit/jedit-5.4.0.ebuild
+++ b/app-editors/jedit/jedit-5.4.0.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="amd64 ~ppc64 ~x86"
SLOT="0"
CP_DEPEND="dev-java/jsr305:0"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-04-26 19:22 Sam James
0 siblings, 0 replies; 28+ messages in thread
From: Sam James @ 2021-04-26 19:22 UTC (permalink / raw
To: gentoo-commits
commit: 81eff93ed46375dac392481f64de57b7c277152f
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 26 19:20:23 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Apr 26 19:21:56 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81eff93e
app-editors/jedit: Stabilize 5.4.0 x86, #783639
Signed-off-by: Sam James <sam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0.ebuild b/app-editors/jedit/jedit-5.4.0.ebuild
index 010c1a681ee..c4a52eee362 100644
--- a/app-editors/jedit/jedit-5.4.0.ebuild
+++ b/app-editors/jedit/jedit-5.4.0.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ~ppc64 ~x86"
+KEYWORDS="amd64 ~ppc64 x86"
SLOT="0"
CP_DEPEND="dev-java/jsr305:0"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-10-23 15:00 Jakov Smolić
0 siblings, 0 replies; 28+ messages in thread
From: Jakov Smolić @ 2021-10-23 15:00 UTC (permalink / raw
To: gentoo-commits
commit: 542e70faef5eecdcff7f5341905b15655b2e4ec7
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 23 14:47:25 2021 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Sat Oct 23 14:59:18 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=542e70fa
app-editors/jedit: Drop EAPI-5 ebuild
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-editors/jedit/Manifest | 1 -
app-editors/jedit/jedit-5.2.0-r1.ebuild | 102 --------------------------------
2 files changed, 103 deletions(-)
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index e18bb3da822..a3f2a1f02dd 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,2 +1 @@
-DIST jedit5.2.0source.tar.bz2 2456541 BLAKE2B 82723b5e5670324fe3acff6d6958a83331bf67ab5453eaa1109de192586e4bcce3832456fdfd493e233f30ccbbf256e48b60398f256d9cf4c0cc366816d8b23f SHA512 5af99ac864dd70701f24435840e26f73077ba02d155319965122bd24871e6825b82383054d29dfec72bbbedaac72bfb2d86097de6a0c79341f0a279dacd60126
DIST jedit5.4.0source.tar.bz2 2535992 BLAKE2B 1560f680437e89cea789f2b0540225b0cbf92bc22f975c6d1850a7b3aa06a2b95d61a254fd0d4c0e7da916ee9de3a095ab5190ae5df3ad27e55c2f0ccef57db2 SHA512 2120370c54f8bd415f90b979c42bfca6101f76ba33f0ec6a8172adeb33173ba9c73cbd7f06b5dc8c12aa3eedf51f007752cdbf0c7423d77a1ac591beb5493112
diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild
deleted file mode 100644
index e6ff8beafda..00000000000
--- a/app-editors/jedit/jedit-5.2.0-r1.ebuild
+++ /dev/null
@@ -1,102 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-JAVA_PKG_IUSE="doc test"
-
-inherit epatch 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"
-IUSE=""
-
-CDEPEND="
- dev-java/bsh:0
- dev-java/jsr305:0
- dev-java/ant-contrib:0
- dev-java/ant-apache-bsf:0"
-
-RDEPEND="
- ${CDEPEND}
- >=virtual/jre-1.7"
-
-DEPEND="
- ${CDEPEND}
- >=virtual/jdk-1.7"
-
-S="${WORKDIR}/jEdit"
-
-JEDIT_HOME="/usr/share/${PN}"
-
-java_prepare() {
- mkdir -p lib/{ant-contrib,compile,default-plugins,scripting} || die
-
- epatch "${FILESDIR}"/${P}-build-xml.patch
-
- java-ant_xml-rewrite -f "${S}/build.xml" -c \
- -e javadoc \
- -a failonerror \
- -v no || die
-}
-
-JAVA_ANT_REWRITE_CLASSPATH="true"
-
-EANT_ANT_TASKS="ant-apache-bsf ant-contrib bsh"
-EANT_GENTOO_CLASSPATH="jsr305"
-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
-}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-11-23 10:56 Jakov Smolić
0 siblings, 0 replies; 28+ messages in thread
From: Jakov Smolić @ 2021-11-23 10:56 UTC (permalink / raw
To: gentoo-commits
commit: 06ec79d6024972c648be285fa721e58cb4c3ea04
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 23 10:50:05 2021 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Tue Nov 23 10:56:07 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06ec79d6
app-editors/jedit: Revert "Drop EAPI-5 ebuild"
Newer version is not yet stable on ppc64 and we don't want to drop this
package to ~ppc64.
This reverts commit 542e70faef5eecdcff7f5341905b15655b2e4ec7.
Bug: https://bugs.gentoo.org/783639
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-editors/jedit/Manifest | 1 +
app-editors/jedit/jedit-5.2.0-r1.ebuild | 102 ++++++++++++++++++++++++++++++++
2 files changed, 103 insertions(+)
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index a3f2a1f02ddc..e18bb3da8221 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1 +1,2 @@
+DIST jedit5.2.0source.tar.bz2 2456541 BLAKE2B 82723b5e5670324fe3acff6d6958a83331bf67ab5453eaa1109de192586e4bcce3832456fdfd493e233f30ccbbf256e48b60398f256d9cf4c0cc366816d8b23f SHA512 5af99ac864dd70701f24435840e26f73077ba02d155319965122bd24871e6825b82383054d29dfec72bbbedaac72bfb2d86097de6a0c79341f0a279dacd60126
DIST jedit5.4.0source.tar.bz2 2535992 BLAKE2B 1560f680437e89cea789f2b0540225b0cbf92bc22f975c6d1850a7b3aa06a2b95d61a254fd0d4c0e7da916ee9de3a095ab5190ae5df3ad27e55c2f0ccef57db2 SHA512 2120370c54f8bd415f90b979c42bfca6101f76ba33f0ec6a8172adeb33173ba9c73cbd7f06b5dc8c12aa3eedf51f007752cdbf0c7423d77a1ac591beb5493112
diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild
new file mode 100644
index 000000000000..e6ff8beafda0
--- /dev/null
+++ b/app-editors/jedit/jedit-5.2.0-r1.ebuild
@@ -0,0 +1,102 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+JAVA_PKG_IUSE="doc test"
+
+inherit epatch 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"
+IUSE=""
+
+CDEPEND="
+ dev-java/bsh:0
+ dev-java/jsr305:0
+ dev-java/ant-contrib:0
+ dev-java/ant-apache-bsf:0"
+
+RDEPEND="
+ ${CDEPEND}
+ >=virtual/jre-1.7"
+
+DEPEND="
+ ${CDEPEND}
+ >=virtual/jdk-1.7"
+
+S="${WORKDIR}/jEdit"
+
+JEDIT_HOME="/usr/share/${PN}"
+
+java_prepare() {
+ mkdir -p lib/{ant-contrib,compile,default-plugins,scripting} || die
+
+ epatch "${FILESDIR}"/${P}-build-xml.patch
+
+ java-ant_xml-rewrite -f "${S}/build.xml" -c \
+ -e javadoc \
+ -a failonerror \
+ -v no || die
+}
+
+JAVA_ANT_REWRITE_CLASSPATH="true"
+
+EANT_ANT_TASKS="ant-apache-bsf ant-contrib bsh"
+EANT_GENTOO_CLASSPATH="jsr305"
+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
+}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-11-26 9:25 Sam James
0 siblings, 0 replies; 28+ messages in thread
From: Sam James @ 2021-11-26 9:25 UTC (permalink / raw
To: gentoo-commits
commit: 0caa48fb04c5e10b769f04550f3212598656b819
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 26 09:24:55 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Nov 26 09:24:55 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0caa48fb
app-editors/jedit: Stabilize 5.4.0 ppc64, #783639
Signed-off-by: Sam James <sam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0.ebuild b/app-editors/jedit/jedit-5.4.0.ebuild
index c4a52eee362a..a54681fbf162 100644
--- a/app-editors/jedit/jedit-5.4.0.ebuild
+++ b/app-editors/jedit/jedit-5.4.0.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ~ppc64 x86"
+KEYWORDS="amd64 ppc64 x86"
SLOT="0"
CP_DEPEND="dev-java/jsr305:0"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-12-09 8:19 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2021-12-09 8:19 UTC (permalink / raw
To: gentoo-commits
commit: 834bd043431fa4c1416be2040772b23e2e48399d
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Sun Dec 5 21:25:27 2021 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Thu Dec 9 08:19:28 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=834bd043
app-editors/jedit: restrict to java 1.8
Closes: https://bugs.gentoo.org/828559
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/23192
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r1.ebuild | 111 ++++++++++++++++++++++++++++++++
1 file changed, 111 insertions(+)
diff --git a/app-editors/jedit/jedit-5.4.0-r1.ebuild b/app-editors/jedit/jedit-5.4.0-r1.ebuild
new file mode 100644
index 000000000000..ace3b3f58bd4
--- /dev/null
+++ b/app-editors/jedit/jedit-5.4.0-r1.ebuild
@@ -0,0 +1,111 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+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"
+
+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
+}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-12-29 8:45 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2021-12-29 8:45 UTC (permalink / raw
To: gentoo-commits
commit: 59646ae0e9bb45c86c2eb1b9da66738d51dbbb25
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Tue Dec 28 08:49:46 2021 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Wed Dec 29 08:45:56 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59646ae0
app-editors/jedit: EAPI 8
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/23546
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r2.ebuild | 116 ++++++++++++++++++++++++++++++++
1 file changed, 116 insertions(+)
diff --git a/app-editors/jedit/jedit-5.4.0-r2.ebuild b/app-editors/jedit/jedit-5.4.0-r2.ebuild
new file mode 100644
index 000000000000..1394e4d5154d
--- /dev/null
+++ b/app-editors/jedit/jedit-5.4.0-r2.ebuild
@@ -0,0 +1,116 @@
+# Copyright 1999-2021 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
+}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-12-29 8:45 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2021-12-29 8:45 UTC (permalink / raw
To: gentoo-commits
commit: 8e46960c5f2d8130996ed3995ea788b4cc498ed4
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Tue Dec 28 08:45:45 2021 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Wed Dec 29 08:45:55 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e46960c
app-editors/jedit: restrict test
Closes: https://bugs.gentoo.org/733128
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r1.ebuild | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/app-editors/jedit/jedit-5.4.0-r1.ebuild b/app-editors/jedit/jedit-5.4.0-r1.ebuild
index ace3b3f58bd4..09325362d830 100644
--- a/app-editors/jedit/jedit-5.4.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r1.ebuild
@@ -14,6 +14,11 @@ 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
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2021-12-30 20:40 Arthur Zamarin
0 siblings, 0 replies; 28+ messages in thread
From: Arthur Zamarin @ 2021-12-30 20:40 UTC (permalink / raw
To: gentoo-commits
commit: 24596ce39f544fef5943a661a98d77ca04e70dd1
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 30 20:39:51 2021 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Dec 30 20:39:51 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=24596ce3
app-editors/jedit: Stabilize 5.4.0-r1 ppc64, #828599
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r1.ebuild b/app-editors/jedit/jedit-5.4.0-r1.ebuild
index 09325362d830..7255cc559393 100644
--- a/app-editors/jedit/jedit-5.4.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r1.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ppc64 ~x86"
SLOT="0"
# Same failure with 5.4.0.ebuild:
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-01 11:07 Sam James
0 siblings, 0 replies; 28+ messages in thread
From: Sam James @ 2022-01-01 11:07 UTC (permalink / raw
To: gentoo-commits
commit: 027fb0082c58460278cb87d2547cde64a7c3b6ae
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 1 11:05:57 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Jan 1 11:05:57 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=027fb008
app-editors/jedit: Stabilize 5.4.0-r1 amd64, #828599
Signed-off-by: Sam James <sam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r1.ebuild b/app-editors/jedit/jedit-5.4.0-r1.ebuild
index 7255cc559393..63a50bf67969 100644
--- a/app-editors/jedit/jedit-5.4.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ppc64 ~x86"
+KEYWORDS="amd64 ppc64 ~x86"
SLOT="0"
# Same failure with 5.4.0.ebuild:
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-02 0:04 Sam James
0 siblings, 0 replies; 28+ messages in thread
From: Sam James @ 2022-01-02 0:04 UTC (permalink / raw
To: gentoo-commits
commit: 0025a54f9a6114e239789d62a85073b10a63e093
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 2 00:02:19 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 2 00:02:19 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0025a54f
app-editors/jedit: Stabilize 5.4.0-r1 x86, #828599
Signed-off-by: Sam James <sam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r1.ebuild b/app-editors/jedit/jedit-5.4.0-r1.ebuild
index 63a50bf67969..991fc2326e7a 100644
--- a/app-editors/jedit/jedit-5.4.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r1.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ppc64 ~x86"
+KEYWORDS="amd64 ppc64 x86"
SLOT="0"
# Same failure with 5.4.0.ebuild:
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-02 8:03 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2022-01-02 8:03 UTC (permalink / raw
To: gentoo-commits
commit: defb81633026890a1dced4964f11aca8616542d0
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 2 08:02:57 2022 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Sun Jan 2 08:02:57 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=defb8163
app-editors/jedit: removed obsolete 5.4.0
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0.ebuild | 105 -----------------------------------
1 file changed, 105 deletions(-)
diff --git a/app-editors/jedit/jedit-5.4.0.ebuild b/app-editors/jedit/jedit-5.4.0.ebuild
deleted file mode 100644
index a54681fbf162..000000000000
--- a/app-editors/jedit/jedit-5.4.0.ebuild
+++ /dev/null
@@ -1,105 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-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"
-
-CP_DEPEND="dev-java/jsr305:0"
-
-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
-}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-28 10:11 Jakov Smolić
0 siblings, 0 replies; 28+ messages in thread
From: Jakov Smolić @ 2022-01-28 10:11 UTC (permalink / raw
To: gentoo-commits
commit: 9239af451b93dd3bba46a98487a7ef7d70f12aa9
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 28 10:10:58 2022 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Fri Jan 28 10:10:58 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9239af45
app-editors/jedit: Stabilize 5.4.0-r2 amd64, #832192
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r2.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r2.ebuild b/app-editors/jedit/jedit-5.4.0-r2.ebuild
index 1394e4d5154d..ff0dfa0f3df5 100644
--- a/app-editors/jedit/jedit-5.4.0-r2.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="amd64 ~ppc64 ~x86"
SLOT="0"
# Same failure with 5.4.0.ebuild:
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-28 13:06 Jakov Smolić
0 siblings, 0 replies; 28+ messages in thread
From: Jakov Smolić @ 2022-01-28 13:06 UTC (permalink / raw
To: gentoo-commits
commit: 13e9d60f7d6dfaba9f8a13255e78b3fc84561e4e
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 28 13:06:14 2022 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Fri Jan 28 13:06:14 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13e9d60f
app-editors/jedit: Stabilize 5.4.0-r2 x86, #832192
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r2.ebuild b/app-editors/jedit/jedit-5.4.0-r2.ebuild
index ff0dfa0f3df5..f814e57a2c53 100644
--- a/app-editors/jedit/jedit-5.4.0-r2.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r2.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ~ppc64 ~x86"
+KEYWORDS="amd64 ~ppc64 x86"
SLOT="0"
# Same failure with 5.4.0.ebuild:
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-29 7:21 Arthur Zamarin
0 siblings, 0 replies; 28+ messages in thread
From: Arthur Zamarin @ 2022-01-29 7:21 UTC (permalink / raw
To: gentoo-commits
commit: d8f2b86fcd0399e61fdbeda1a568e5fb2b2897ec
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 29 07:21:43 2022 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Jan 29 07:21:48 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d8f2b86f
app-editors/jedit: Stabilize 5.4.0-r2 ppc64, #832192
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r2.ebuild b/app-editors/jedit/jedit-5.4.0-r2.ebuild
index f814e57a2c53..5f66cb999af5 100644
--- a/app-editors/jedit/jedit-5.4.0-r2.ebuild
+++ b/app-editors/jedit/jedit-5.4.0-r2.ebuild
@@ -11,7 +11,7 @@ HOMEPAGE="http://www.jedit.org"
SRC_URI="mirror://sourceforge/${PN}/${PN}${PV}source.tar.bz2"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ~ppc64 x86"
+KEYWORDS="amd64 ppc64 x86"
SLOT="0"
# Same failure with 5.4.0.ebuild:
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2022-01-29 8:38 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2022-01-29 8:38 UTC (permalink / raw
To: gentoo-commits
commit: f148b40a55a2776b9645a6eb729c16fefb7bc611
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
AuthorDate: Sat Jan 29 08:38:01 2022 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Sat Jan 29 08:38:01 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f148b40a
app-editors/jedit: removed obsolete 5.4.0-r1
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
app-editors/jedit/jedit-5.4.0-r1.ebuild | 116 --------------------------------
1 file changed, 116 deletions(-)
diff --git a/app-editors/jedit/jedit-5.4.0-r1.ebuild b/app-editors/jedit/jedit-5.4.0-r1.ebuild
deleted file mode 100644
index 991fc2326e7a..000000000000
--- a/app-editors/jedit/jedit-5.4.0-r1.ebuild
+++ /dev/null
@@ -1,116 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-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
-}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2023-05-09 10:41 Jakov Smolić
0 siblings, 0 replies; 28+ messages in thread
From: Jakov Smolić @ 2023-05-09 10:41 UTC (permalink / raw
To: gentoo-commits
commit: 0a6931872e3790bf0479f19cf4ef7dd3a216ba50
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Tue May 9 10:40:52 2023 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Tue May 9 10:40:52 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0a693187
app-editors/jedit: Stabilize 5.6.0 amd64, #905987
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.6.0.ebuild b/app-editors/jedit/jedit-5.6.0.ebuild
index d98aab60e95e..987196368f86 100644
--- a/app-editors/jedit/jedit-5.6.0.ebuild
+++ b/app-editors/jedit/jedit-5.6.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2
S="${WORKDIR}/jEdit"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 x86"
+KEYWORDS="amd64 ~ppc64 x86"
SLOT="0"
CP_DEPEND="dev-java/jsr305:0"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2023-05-09 10:41 Jakov Smolić
0 siblings, 0 replies; 28+ messages in thread
From: Jakov Smolić @ 2023-05-09 10:41 UTC (permalink / raw
To: gentoo-commits
commit: 8155f4d1f475e86a737658366a639800c547dd3e
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Tue May 9 10:40:51 2023 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Tue May 9 10:40:51 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8155f4d1
app-editors/jedit: Stabilize 5.6.0 x86, #905987
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.6.0.ebuild b/app-editors/jedit/jedit-5.6.0.ebuild
index 432bdddd6f20..d98aab60e95e 100644
--- a/app-editors/jedit/jedit-5.6.0.ebuild
+++ b/app-editors/jedit/jedit-5.6.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2
S="${WORKDIR}/jEdit"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ~ppc64 x86"
SLOT="0"
CP_DEPEND="dev-java/jsr305:0"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2023-05-09 12:00 Arthur Zamarin
0 siblings, 0 replies; 28+ messages in thread
From: Arthur Zamarin @ 2023-05-09 12:00 UTC (permalink / raw
To: gentoo-commits
commit: 1332bfc05fdf3abf472c8c25fedf5100e8000528
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Tue May 9 11:59:53 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Tue May 9 11:59:53 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1332bfc0
app-editors/jedit: Stabilize 5.6.0 ppc64, #905987
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.6.0.ebuild b/app-editors/jedit/jedit-5.6.0.ebuild
index 987196368f86..778ef411f332 100644
--- a/app-editors/jedit/jedit-5.6.0.ebuild
+++ b/app-editors/jedit/jedit-5.6.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2
S="${WORKDIR}/jEdit"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ~ppc64 x86"
+KEYWORDS="amd64 ppc64 x86"
SLOT="0"
CP_DEPEND="dev-java/jsr305:0"
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2023-05-10 4:58 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2023-05-10 4:58 UTC (permalink / raw
To: gentoo-commits
commit: 3ba34869d81bda7b57750714d6cbc69abbe03293
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Tue May 9 13:30:29 2023 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> 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 <gentoo <AT> pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/30945
Signed-off-by: Miroslav Šulc <fordfrog <AT> 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
-}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2024-01-03 8:07 Miroslav Šulc
0 siblings, 0 replies; 28+ messages in thread
From: Miroslav Šulc @ 2024-01-03 8:07 UTC (permalink / raw
To: gentoo-commits
commit: 04595b5f318763d53fbf389db106d37625ea121c
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Wed Apr 5 08:58:30 2023 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Wed Jan 3 08:07:37 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04595b5f
app-editors/jedit: switch to java-pkg-simple.eclass
Switching from java-ant-2 to java-pkg-simple allows dropping
dependency on ant-contrib with further 45 dependencies.
Builds internal documentation with xmltproc populating
/usr/share/jedit/lib/doc/{FAQ,tips,users-guide,whatsnew}.
Adds dependency on docbook-xsl-stylesheets which is needed for
processing xref in the xml files in the users-guide directory.
Still missing users-guide/toc.xml
Bug: https://bugs.gentoo.org/904034
Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/34579
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0-r1.ebuild | 127 ++++++++++++++++++++++++++++++++
1 file changed, 127 insertions(+)
diff --git a/app-editors/jedit/jedit-5.6.0-r1.ebuild b/app-editors/jedit/jedit-5.6.0-r1.ebuild
new file mode 100644
index 000000000000..56c118dd1ee4
--- /dev/null
+++ b/app-editors/jedit/jedit-5.6.0-r1.ebuild
@@ -0,0 +1,127 @@
+# Copyright 1999-2023 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="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2"
+S="${WORKDIR}/jEdit"
+
+LICENSE="BSD GPL-2"
+KEYWORDS="~amd64 ~ppc64 ~x86"
+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
+}
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2024-02-02 12:38 Arthur Zamarin
0 siblings, 0 replies; 28+ messages in thread
From: Arthur Zamarin @ 2024-02-02 12:38 UTC (permalink / raw
To: gentoo-commits
commit: 5ff8686cd54dced6ac35b7080babdbde87f46392
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 2 12:38:25 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 2 12:38:25 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5ff8686c
app-editors/jedit: Stabilize 5.6.0-r1 ppc64, #923569
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/app-editors/jedit/jedit-5.6.0-r1.ebuild b/app-editors/jedit/jedit-5.6.0-r1.ebuild
index 56c118dd1ee4..c6f8d8ed8501 100644
--- a/app-editors/jedit/jedit-5.6.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.6.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -14,7 +14,7 @@ SRC_URI="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2
S="${WORKDIR}/jEdit"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ppc64 ~x86"
SLOT="0"
BDEPEND="
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2024-02-02 13:34 Arthur Zamarin
0 siblings, 0 replies; 28+ messages in thread
From: Arthur Zamarin @ 2024-02-02 13:34 UTC (permalink / raw
To: gentoo-commits
commit: 401e56cc0255a64f72e2a4c949d804773c5fdad9
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 2 13:34:40 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 2 13:34:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=401e56cc
app-editors/jedit: Stabilize 5.6.0-r1 amd64, #923569
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.6.0-r1.ebuild b/app-editors/jedit/jedit-5.6.0-r1.ebuild
index c6f8d8ed8501..9b584d7d439c 100644
--- a/app-editors/jedit/jedit-5.6.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.6.0-r1.ebuild
@@ -14,7 +14,7 @@ SRC_URI="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2
S="${WORKDIR}/jEdit"
LICENSE="BSD GPL-2"
-KEYWORDS="~amd64 ppc64 ~x86"
+KEYWORDS="amd64 ppc64 ~x86"
SLOT="0"
BDEPEND="
^ permalink raw reply related [flat|nested] 28+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/
@ 2024-02-02 13:47 Arthur Zamarin
0 siblings, 0 replies; 28+ messages in thread
From: Arthur Zamarin @ 2024-02-02 13:47 UTC (permalink / raw
To: gentoo-commits
commit: 40c1821c16721ca8f1f050bd1c8a1e1c8e14f2b0
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 2 13:46:20 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 2 13:46:20 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=40c1821c
app-editors/jedit: Stabilize 5.6.0-r1 x86, #923569
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
app-editors/jedit/jedit-5.6.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-editors/jedit/jedit-5.6.0-r1.ebuild b/app-editors/jedit/jedit-5.6.0-r1.ebuild
index 9b584d7d439c..ff797fc8ae3e 100644
--- a/app-editors/jedit/jedit-5.6.0-r1.ebuild
+++ b/app-editors/jedit/jedit-5.6.0-r1.ebuild
@@ -14,7 +14,7 @@ SRC_URI="mirror://sourceforge/project/jedit/jedit/${PV}/jedit${PV}source.tar.bz2
S="${WORKDIR}/jEdit"
LICENSE="BSD GPL-2"
-KEYWORDS="amd64 ppc64 ~x86"
+KEYWORDS="amd64 ppc64 x86"
SLOT="0"
BDEPEND="
^ permalink raw reply related [flat|nested] 28+ messages in thread
end of thread, other threads:[~2024-02-02 13:47 UTC | newest]
Thread overview: 28+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-12-29 8:45 [gentoo-commits] repo/gentoo:master commit in: app-editors/jedit/ Miroslav Šulc
-- strict thread matches above, loose matches on Subject: below --
2024-02-02 13:47 Arthur Zamarin
2024-02-02 13:34 Arthur Zamarin
2024-02-02 12:38 Arthur Zamarin
2024-01-03 8:07 Miroslav Šulc
2023-05-10 4:58 Miroslav Šulc
2023-05-09 12:00 Arthur Zamarin
2023-05-09 10:41 Jakov Smolić
2023-05-09 10:41 Jakov Smolić
2022-01-29 8:38 Miroslav Šulc
2022-01-29 7:21 Arthur Zamarin
2022-01-28 13:06 Jakov Smolić
2022-01-28 10:11 Jakov Smolić
2022-01-02 8:03 Miroslav Šulc
2022-01-02 0:04 Sam James
2022-01-01 11:07 Sam James
2021-12-30 20:40 Arthur Zamarin
2021-12-29 8:45 Miroslav Šulc
2021-12-09 8:19 Miroslav Šulc
2021-11-26 9:25 Sam James
2021-11-23 10:56 Jakov Smolić
2021-10-23 15:00 Jakov Smolić
2021-04-26 19:22 Sam James
2021-04-22 20:25 Sam James
2018-06-04 10:06 Patrice Clement
2016-03-15 14:05 Patrice Clement
2016-03-15 14:05 Patrice Clement
2015-12-21 6:14 Jeroen Roovers
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox