create and install doc when USE="doc", bug 55226

4 files changed, 102 insertions, 2 deletions

diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog
index 51de76392b3a..7a3d90cc02bb 100644
--- a/app-editors/jedit/ChangeLog
+++ b/app-editors/jedit/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for app-editors/jedit
 # Copyright 2002-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.36 2004/06/24 21:56:49 agriffis Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.37 2004/07/31 18:33:34 axxo Exp $
+
+*jedit-4.1-r1 (31 Jul 2004)
+
+  31 Jul 2004; Thomas Matthijs <axxo@gentoo.org> +jedit-4.1-r1.ebuild,
+  jedit-4.1.ebuild:
+  create and install doc when USE="doc", bug 55226
 
 *jedit-4.2_pre14 (23 Jun 2004)
 
diff --git a/app-editors/jedit/Manifest b/app-editors/jedit/Manifest
index bc40236de724..80dfe941ae99 100644
--- a/app-editors/jedit/Manifest
+++ b/app-editors/jedit/Manifest
@@ -1,7 +1,11 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
 MD5 1147512bd02c5c4eb5052519097756a4 jedit-4.2_pre14.ebuild 1927
+MD5 4fe2c18357c7e0901e9d70fb1056dc9e jedit-4.1-r1.ebuild 2150
 MD5 592be97706a86c648f5c2424075b5a4e jedit-4.2_pre13.ebuild 1927
 MD5 fd6cc31cfb221879341ae3e8e0b244cc jedit-4.1.ebuild 1862
-MD5 ad2ad335b5a0cff876eda8b24be44bac ChangeLog 5364
+MD5 c2b05fa2ae1afd1e7a2d1b2fae1d609a ChangeLog 5532
 MD5 0c1bc759b6cafc454c336cb35fd05550 metadata.xml 257
 MD5 c4053418bbd3d9d5f4a87edad0e9f043 jedit-4.2_pre12.ebuild 1943
 MD5 c3d71c0ba59148476f840c60b999c6b6 files/jedit-4.2_pre12.jikes-and-lock-fix.patch 10873
@@ -9,3 +13,11 @@ MD5 c29174550ae9f95fc60afd5cbf079f0c files/digest-jedit-4.1 66
 MD5 9310de740b7b3ffacf2c96fe446b1ab8 files/digest-jedit-4.2_pre12 71
 MD5 4ac4f20a8627c48f7d87491623f88c3a files/digest-jedit-4.2_pre13 71
 MD5 81f506cd1acce828eff86acf6dc18331 files/digest-jedit-4.2_pre14 71
+MD5 c29174550ae9f95fc60afd5cbf079f0c files/digest-jedit-4.1-r1 66
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v1.2.4 (GNU/Linux)
+
+iD8DBQFBC+ak/rLF9B432nYRArXbAJ98jl01ZdCuJXDLukuMZubioGMP0gCgicXx
+NesOa0WgZQ6/hprssra0DVc=
+=bdSC
+-----END PGP SIGNATURE-----
diff --git a/app-editors/jedit/files/digest-jedit-4.1-r1 b/app-editors/jedit/files/digest-jedit-4.1-r1
new file mode 100644
index 000000000000..a7e7ba5f875d
--- /dev/null
+++ b/app-editors/jedit/files/digest-jedit-4.1-r1
@@ -0,0 +1 @@
+MD5 93242245baffa3fba02eaa68ec56fea8 jedit41source.tar.gz 1334562
diff --git a/app-editors/jedit/jedit-4.1-r1.ebuild b/app-editors/jedit/jedit-4.1-r1.ebuild
new file mode 100644
index 000000000000..6f172c8e9972
--- /dev/null
+++ b/app-editors/jedit/jedit-4.1-r1.ebuild
@@ -0,0 +1,81 @@
+# Copyright 1999-2004 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.1-r1.ebuild,v 1.1 2004/07/31 18:33:34 axxo Exp $
+
+MY_PV="41"
+
+DESCRIPTION="Programmer's editor written in Java"
+HOMEPAGE="http://www.jedit.org"
+SRC_URI="mirror://sourceforge/jedit/jedit${MY_PV}source.tar.gz"
+LICENSE="GPL-2"
+KEYWORDS="x86 sparc ~ppc ~amd64"
+SLOT="0"
+IUSE="jikes doc"
+
+RDEPEND=">=virtual/jdk-1.3"
+DEPEND="${RDEPEND}
+	>=dev-java/ant-1.4.1
+	jikes? ( >=dev-java/jikes-1.17 )
+	doc? ( app-text/docbook-xsl-stylesheets dev-libs/libxslt )"
+
+S="${WORKDIR}/jEdit"
+
+src_compile() {
+	local antflags="dist"
+
+	if [ -z "$JAVA_HOME" ]; then
+		einfo
+		einfo "\$JAVA_HOME not set!"
+		einfo "Please use java-config to configure your JVM and try again."
+		einfo
+		die "\$JAVA_HOME not set."
+	fi
+
+	if use jikes ; then
+		einfo "Please ignore the following compiler warnings."
+		einfo "Jikes is just too pedantic..."
+		antflags="${antflags} -Dbuild.compiler=jikes"
+	fi
+
+	styleversion=$(best_version app-text/docbook-xsl-stylesheets)
+	docbook="/usr/share/sgml/docbook/${styleversion/*docbook-}"
+
+	use doc && antflags="${antflags} javadoc docs-html-xsltproc -Ddocbook.xsl=${docbook}"
+
+	ant ${antflags} || die "compile problem docs-html-xsltproc"
+}
+
+src_install () {
+	dodir /usr/share/jedit
+	dodir /usr/bin
+
+	cp -R jedit.jar jars doc macros modes properties startup ${D}/usr/share/jedit
+	cd ${D}/usr/share/jedit
+	chmod -R u+rw,ug-s,go+u,go-w \
+		jedit.jar jars doc macros modes properties startup
+
+	cat >${D}/usr/share/jedit/jedit.sh <<-EOF
+		#!/bin/bash
+
+		java -jar /usr/share/jedit/jedit.jar \$@
+	EOF
+	chmod 755 ${D}/usr/share/jedit/jedit.sh
+
+	ln -s ../share/jedit/jedit.sh ${D}/usr/bin/jedit
+
+	keepdir /usr/share/jedit/jars
+}
+
+pkg_postinst() {
+	einfo "The system directory for jEdit plugins is"
+	einfo "/usr/share/jedit/jars"
+}
+
+pkg_postrm() {
+	einfo "jEdit plugins installed into /usr/share/jedit/jars"
+	einfo "(after installation of jEdit itself) haven't been"
+	einfo "removed. To get rid of jEdit completely, you may"
+	einfo "want to run"
+	einfo ""
+	einfo "\trm -r /usr/share/jedit"
+}