diff options
| author |   Vlastimil Babka <caster@gentoo.org> | 2008-01-06 18:44:39 +0000 |
|---|---|---|
| committer | Vlastimil Babka <caster@gentoo.org> | 2008-01-06 18:44:39 +0000 |
| commit | d17968b599bb28f05b30677a368ec6b900c1e35b (patch) | |
| tree | 907f3a09dee25f5b79f759bf0d29b517c2d91475 /app-editors/jedit | |
| parent | Dropped www-servers/jetty since it is getting masked. (diff) | |
| download | gentoo-2-d17968b599bb28f05b30677a368ec6b900c1e35b.tar.gz gentoo-2-d17968b599bb28f05b30677a368ec6b900c1e35b.tar.bz2 gentoo-2-d17968b599bb28f05b30677a368ec6b900c1e35b.zip | |
Fix building with USE=doc, bug #204538.
(Portage version: 2.1.4_rc14)
Diffstat (limited to 'app-editors/jedit')
| -rw-r--r-- | app-editors/jedit/ChangeLog | 7 | ||||
| -rw-r--r-- | app-editors/jedit/jedit-4.2-r2.ebuild | 12 |
2 files changed, 11 insertions, 8 deletions
diff --git a/app-editors/jedit/ChangeLog b/app-editors/jedit/ChangeLog index ef65860f3f58..152b190e043a 100644 --- a/app-editors/jedit/ChangeLog +++ b/app-editors/jedit/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-editors/jedit -# Copyright 2002-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.81 2007/12/20 10:39:45 caster Exp $ +# Copyright 2002-2008 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.82 2008/01/06 18:44:39 caster Exp $ + + 06 Jan 2008; Vlastimil Babka <caster@gentoo.org> jedit-4.2-r2.ebuild: + Fix building with USE=doc, bug #204538. *jedit-4.3_pre12 (20 Dec 2007) diff --git a/app-editors/jedit/jedit-4.2-r2.ebuild b/app-editors/jedit/jedit-4.2-r2.ebuild index 9e5414639130..8ddcfd295e07 100644 --- a/app-editors/jedit/jedit-4.2-r2.ebuild +++ b/app-editors/jedit/jedit-4.2-r2.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2007 Gentoo Foundation +# 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.2-r2.ebuild,v 1.12 2007/12/20 10:39:45 caster Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.2-r2.ebuild,v 1.13 2008/01/06 18:44:39 caster Exp $ inherit java-pkg-2 eutils java-ant-2 @@ -45,10 +45,10 @@ src_unpack() { java-pkg_filter-compiler jikes } -# Fails to build if asm gets pulled in via ant classpath -ANT_TASKS=" " -EANT_BUILD_TARGET="dist" -EANT_DOC_TARGET="javadoc docs-html" +src_compile() { + # Fails to build if asm gets pulled in via ant classpath + ANT_TASKS="none" eant dist $(use_doc javadoc docs-html -Dtools.jar=$(java-config --tools)) +} src_install() { dodir /usr/share/jedit |