Gentoo Archives: gentoo-commits

From: "Vlastimil Babka (caster)" <caster@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in app-editors/jedit: ChangeLog jedit-4.3_pre16.ebuild jedit-4.3_pre13.ebuild
Date: Mon, 24 Nov 2008 10:22:13
Message-Id: E1L4Ya3-0007j4-Oy@stork.gentoo.org
1 caster 08/11/24 10:22:11
2
3 Modified: ChangeLog
4 Added: jedit-4.3_pre16.ebuild
5 Removed: jedit-4.3_pre13.ebuild
6 Log:
7 Version bump.
8 (Portage version: 2.2_rc15/cvs/Linux 2.6.27-gentoo-r1-perfctr x86_64)
9
10 Revision Changes Path
11 1.85 app-editors/jedit/ChangeLog
12
13 file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/ChangeLog?rev=1.85&view=markup
14 plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/ChangeLog?rev=1.85&content-type=text/plain
15 diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/ChangeLog?r1=1.84&r2=1.85
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v
20 retrieving revision 1.84
21 retrieving revision 1.85
22 diff -u -r1.84 -r1.85
23 --- ChangeLog 12 Aug 2008 14:08:01 -0000 1.84
24 +++ ChangeLog 24 Nov 2008 10:22:11 -0000 1.85
25 @@ -1,6 +1,12 @@
26 # ChangeLog for app-editors/jedit
27 # Copyright 2002-2008 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.84 2008/08/12 14:08:01 caster Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.85 2008/11/24 10:22:11 caster Exp $
30 +
31 +*jedit-4.3_pre16 (24 Nov 2008)
32 +
33 + 24 Nov 2008; Vlastimil Babka <caster@g.o> -jedit-4.3_pre13.ebuild,
34 + +jedit-4.3_pre16.ebuild:
35 + Version bump.
36
37 *jedit-4.3_pre15 (12 Aug 2008)
38
39
40
41
42 1.1 app-editors/jedit/jedit-4.3_pre16.ebuild
43
44 file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/jedit-4.3_pre16.ebuild?rev=1.1&view=markup
45 plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/jedit-4.3_pre16.ebuild?rev=1.1&content-type=text/plain
46
47 Index: jedit-4.3_pre16.ebuild
48 ===================================================================
49 # Copyright 1999-2008 Gentoo Foundation
50 # Distributed under the terms of the GNU General Public License v2
51 # $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.3_pre16.ebuild,v 1.1 2008/11/24 10:22:11 caster Exp $
52
53 WANT_ANT_TASKS="ant-nodeps"
54
55 inherit java-pkg-2 java-ant-2 eutils fdo-mime
56
57 # TODO use versionator
58 MY_PV="${PV//_/}"
59
60 DESCRIPTION="Programmer's editor written in Java"
61 HOMEPAGE="http://www.jedit.org"
62 SRC_URI="mirror://sourceforge/${PN}/${PN}${MY_PV}source.tar.bz2"
63 LICENSE="GPL-2"
64 KEYWORDS="~amd64 ~ppc ~ppc64 ~x86 ~x86-fbsd"
65 SLOT="0"
66 IUSE="doc"
67
68 RDEPEND=">=virtual/jre-1.5"
69 DEPEND=">=virtual/jdk-1.5
70 doc? (
71 =app-text/docbook-xml-dtd-4.3*
72 >=app-text/docbook-xsl-stylesheets-1.65.1
73 dev-libs/libxslt
74 )"
75
76 S="${WORKDIR}/jEdit"
77
78 JEDIT_HOME="/usr/share/${PN}"
79
80 src_unpack() {
81 unpack ${A}
82 cd "${S}"
83
84 # we need to use our own classpath
85 java-ant_rewrite-classpath build.xml
86
87 if use doc; then
88 local xsl=$(echo /usr/share/sgml/docbook/xsl-stylesheets-*)
89 xsl=${xsl// *}
90
91 local xml=$(echo /usr/share/sgml/docbook/xml-dtd-4.3*)
92 xml=${xml// *}
93
94 echo "build.directory=." > build.properties
95 echo "docbook.dtd.catalog=${xml}/docbook.cat" >> build.properties
96 echo "docbook.xsl=${xsl}" >> build.properties
97 fi
98
99 # still need to do: bsh, com.microstar.xml.*, org.gjt.*
100 java-pkg_filter-compiler jikes
101 }
102 src_compile() {
103 # TODO could build more docs, ie userdocs target instead of generate-javadoc
104 eant build $(use_doc generate-javadoc) \
105 -Dgentoo.classpath=$(java-config --tools)
106 }
107
108 src_install () {
109 dodir ${JEDIT_HOME}
110 cp -R build/${PN}.jar jars doc macros modes properties startup \
111 "${D}/usr/share/jedit"
112
113 java-pkg_regjar ${JEDIT_HOME}/${PN}.jar
114
115 java-pkg_dolauncher ${PN} --main org.gjt.sp.jedit.jEdit
116
117 use doc && java-pkg_dojavadoc build/classes/javadoc/api
118
119 make_desktop_entry ${PN} \
120 jEdit \
121 ${JEDIT_HOME}/doc/${PN}.png \
122 "Development;Utility;TextEditor"
123
124 # keep the plugin directory
125 keepdir ${JEDIT_HOME}/jars
126 }
127
128 pkg_postinst() {
129 fdo-mime_desktop_database_update
130 elog "The system directory for jEdit plugins is"
131 elog "${JEDIT_HOME}/jars"
132 elog "If you get plugin related errors on startup, first try updating them."
133 }
134
135 pkg_postrm() {
136 fdo-mime_desktop_database_update
137 elog "jEdit plugins installed into /usr/share/jedit/jars"
138 elog "(after installation of jEdit itself) haven't been"
139 elog "removed. To get rid of jEdit completely, you may"
140 elog "want to run"
141 elog ""
142 elog "\trm -r ${JEDIT_HOME}"
143 elog "Ignore this message if you are reinstalling or upgrading."
144 }