You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/app-editors/jedit/jedit-5.2.0-r1.ebuild

103 lines
2.3 KiB

# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=5
JAVA_PKG_IUSE="doc test"
inherit eutils 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
}