# Copyright 1999-2004 Gentoo Technologies, Inc. # Distributed under the terms of the GNU General Public License v2 # $Header: /home/cvsroot/gentoo-x86/app-editors/jext/jext-3.2_pre3.ebuild,v 1.6 2004/06/02 01:42:32 agriffis Exp $ inherit java-pkg IUSE="doc" DESCRIPTION="A cool and fully featured editor in Java" HOMEPAGE="http://www.jext.org/" MY_PV="${PV/_}" SRC_URI="mirror://sourceforge/jext/${PN}-${MY_PV}.tar.gz mirror://sourceforge/jext/${PN}-sources-${MY_PV}.tar.gz" LICENSE="GPL-2 | JPython" SLOT="0" KEYWORDS="x86 ~ppc ~sparc" DEPEND=">=virtual/jdk-1.3 >=dev-java/ant-1.4.1 dev-java/jython^A RDEPEND=">=virtual/jre-1.3" S=${WORKDIR}/${PN}-${MY_PV} src_compile() { cd ${WORKDIR}/jext-sources-3.2pre3/src sed -e s:'':"": build.xml > tmp.xml# s$ mv tmp.xml build.xml ant jar javadocs -quiet > /dev/null || die } src_install () { java-pkg_dojar ${WORKDIR}/jext-sources-3.2pre3/lib/*.jar exeinto /usr/bin newexe ${FILESDIR}/jext-gentoo.sh jext if use doc; then dohtml -A .css .gif .jpg -r ${WORKDIR}/jext-sources-3.2pre3/docs/api fi }