blob: d0105cebad430825865df3e00bcb97c482c68ed6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
# Copyright 1999-2006 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.2-r1.ebuild,v 1.11 2006/10/05 14:28:18 gustavoz Exp $
inherit java-pkg eutils
MY_PV="${PV//./}"
MY_PV="${MY_PV//_/}"
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="amd64 ppc ppc64 x86"
SLOT="0"
IUSE="doc jikes"
RDEPEND=">=virtual/jre-1.4"
DEPEND=">=virtual/jdk-1.4
doc? (
=app-text/docbook-xml-dtd-4.3*
>=app-text/docbook-xsl-stylesheets-1.65.1
dev-libs/libxslt
)
>=dev-java/ant-core-1.5.4
jikes? ( >=dev-java/jikes-1.17 )"
S="${WORKDIR}/jEdit"
src_unpack() {
unpack ${A}
cd ${S}
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
}
src_compile() {
local antflags="dist"
use doc && antflags="${antflags} javadoc docs-html"
use jikes && antflags="${antflags} -Dbuild.compiler=jikes"
ant ${antflags} || die "compile problem"
}
src_install () {
dodir /usr/share/jedit
dodir /usr/bin
insinto /usr/share/jedit
doins -r jedit.jar jars doc modes properties startup macros
keepdir /usr/share/jedit/jars
echo "#!/bin/bash" > ${PN}
echo "java -jar /usr/share/jedit/jedit.jar \"\${@}\"" >> ${PN}
dobin ${PN}
insinto /usr/share/icons/hicolor/128x128/apps
newins ${S}/doc/jedit.png jedit.pngs
make_desktop_entry jedit "jEdit" jedit
}
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"
}
|