# 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." }