diff options
author | 2004-07-31 18:33:34 +0000 | |
---|---|---|
committer | 2004-07-31 18:33:34 +0000 | |
commit | 69abf57f28b3cf3922c7bf5c601bbf72841e69e4 (patch) | |
tree | ea3cfc18e8e960b2dbe282200bf4eac4ed4e25e9 /app-editors/jedit | |
parent | version bump and gpm use flag (Manifest recommit) (diff) | |
download | gentoo-2-69abf57f28b3cf3922c7bf5c601bbf72841e69e4.tar.gz gentoo-2-69abf57f28b3cf3922c7bf5c601bbf72841e69e4.tar.bz2 gentoo-2-69abf57f28b3cf3922c7bf5c601bbf72841e69e4.zip |
create and install doc when USE="doc", bug 55226
Diffstat (limited to 'app-editors/jedit')
-rw-r--r-- | app-editors/jedit/ChangeLog | 8 | ||||
-rw-r--r-- | app-editors/jedit/Manifest | 6 | ||||
-rw-r--r-- | app-editors/jedit/files/digest-jedit-4.1-r1 | 1 | ||||
-rw-r--r-- | app-editors/jedit/jedit-4.1-r1.ebuild | 81 |
4 files changed, 93 insertions, 3 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..ba15edc42368 100644 --- a/app-editors/jedit/Manifest +++ b/app-editors/jedit/Manifest @@ -1,7 +1,8 @@ MD5 1147512bd02c5c4eb5052519097756a4 jedit-4.2_pre14.ebuild 1927 +MD5 a5669be38425ff6291a5672cb80451d7 jedit-4.1-r1.ebuild 1993 MD5 592be97706a86c648f5c2424075b5a4e jedit-4.2_pre13.ebuild 1927 -MD5 fd6cc31cfb221879341ae3e8e0b244cc jedit-4.1.ebuild 1862 -MD5 ad2ad335b5a0cff876eda8b24be44bac ChangeLog 5364 +MD5 a94ed525f04b83156cd077b0108578bb jedit-4.1.ebuild 2052 +MD5 2a3a768ab6da2791c9dd771bb40bdb1f ChangeLog 5536 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 +10,4 @@ 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 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" +} |