summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'app-editors/jedit/jedit-4.3_pre16.ebuild')
-rw-r--r--app-editors/jedit/jedit-4.3_pre16.ebuild96
1 files changed, 96 insertions, 0 deletions
diff --git a/app-editors/jedit/jedit-4.3_pre16.ebuild b/app-editors/jedit/jedit-4.3_pre16.ebuild
new file mode 100644
index 000000000000..5bb105a96fc9
--- /dev/null
+++ b/app-editors/jedit/jedit-4.3_pre16.ebuild
@@ -0,0 +1,96 @@
+# Copyright 1999-2008 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.3_pre16.ebuild,v 1.1 2008/11/24 10:22:11 caster Exp $
+
+WANT_ANT_TASKS="ant-nodeps"
+
+inherit java-pkg-2 java-ant-2 eutils fdo-mime
+
+# TODO use versionator
+MY_PV="${PV//_/}"
+
+DESCRIPTION="Programmer's editor written in Java"
+HOMEPAGE="http://www.jedit.org"
+SRC_URI="mirror://sourceforge/${PN}/${PN}${MY_PV}source.tar.bz2"
+LICENSE="GPL-2"
+KEYWORDS="~amd64 ~ppc ~ppc64 ~x86 ~x86-fbsd"
+SLOT="0"
+IUSE="doc"
+
+RDEPEND=">=virtual/jre-1.5"
+DEPEND=">=virtual/jdk-1.5
+ doc? (
+ =app-text/docbook-xml-dtd-4.3*
+ >=app-text/docbook-xsl-stylesheets-1.65.1
+ dev-libs/libxslt
+ )"
+
+S="${WORKDIR}/jEdit"
+
+JEDIT_HOME="/usr/share/${PN}"
+
+src_unpack() {
+ unpack ${A}
+ cd "${S}"
+
+ # we need to use our own classpath
+ java-ant_rewrite-classpath build.xml
+
+ if use doc; then
+ local xsl=$(echo /usr/share/sgml/docbook/xsl-stylesheets-*)
+ xsl=${xsl// *}
+
+ local xml=$(echo /usr/share/sgml/docbook/xml-dtd-4.3*)
+ xml=${xml// *}
+
+ echo "build.directory=." > build.properties
+ echo "docbook.dtd.catalog=${xml}/docbook.cat" >> build.properties
+ echo "docbook.xsl=${xsl}" >> build.properties
+ fi
+
+ # still need to do: bsh, com.microstar.xml.*, org.gjt.*
+ java-pkg_filter-compiler jikes
+}
+src_compile() {
+ # TODO could build more docs, ie userdocs target instead of generate-javadoc
+ eant build $(use_doc generate-javadoc) \
+ -Dgentoo.classpath=$(java-config --tools)
+}
+
+src_install () {
+ dodir ${JEDIT_HOME}
+ cp -R build/${PN}.jar jars doc macros modes properties startup \
+ "${D}/usr/share/jedit"
+
+ 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() {
+ 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 "\trm -r ${JEDIT_HOME}"
+ elog "Ignore this message if you are reinstalling or upgrading."
+}