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.1.ebuild jedit-4.3_pre18.ebuild
Date: Sun, 31 Jan 2010 00:57:38
Message-Id: E1NbO83-000570-RU@stork.gentoo.org
1 caster 10/01/31 00:57:31
2
3 Modified: ChangeLog
4 Added: jedit-4.3.1.ebuild
5 Removed: jedit-4.3_pre18.ebuild
6 Log:
7 Version bump.
8 (Portage version: 2.2_rc62/cvs/Linux x86_64)
9
10 Revision Changes Path
11 1.90 app-editors/jedit/ChangeLog
12
13 file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/ChangeLog?rev=1.90&view=markup
14 plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/ChangeLog?rev=1.90&content-type=text/plain
15 diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/ChangeLog?r1=1.89&r2=1.90
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v
20 retrieving revision 1.89
21 retrieving revision 1.90
22 diff -u -r1.89 -r1.90
23 --- ChangeLog 25 Dec 2009 01:34:48 -0000 1.89
24 +++ ChangeLog 31 Jan 2010 00:57:31 -0000 1.90
25 @@ -1,6 +1,12 @@
26 # ChangeLog for app-editors/jedit
27 -# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.89 2009/12/25 01:34:48 caster Exp $
29 +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
30 +# $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/ChangeLog,v 1.90 2010/01/31 00:57:31 caster Exp $
31 +
32 +*jedit-4.3.1 (31 Jan 2010)
33 +
34 + 31 Jan 2010; Vlastimil Babka <caster@g.o> -jedit-4.3_pre18.ebuild,
35 + +jedit-4.3.1.ebuild:
36 + Version bump.
37
38 *jedit-4.3 (25 Dec 2009)
39
40
41
42
43 1.1 app-editors/jedit/jedit-4.3.1.ebuild
44
45 file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/jedit-4.3.1.ebuild?rev=1.1&view=markup
46 plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-editors/jedit/jedit-4.3.1.ebuild?rev=1.1&content-type=text/plain
47
48 Index: jedit-4.3.1.ebuild
49 ===================================================================
50 # Copyright 1999-2010 Gentoo Foundation
51 # Distributed under the terms of the GNU General Public License v2
52 # $Header: /var/cvsroot/gentoo-x86/app-editors/jedit/jedit-4.3.1.ebuild,v 1.1 2010/01/31 00:57:31 caster Exp $
53
54 WANT_ANT_TASKS="ant-nodeps"
55
56 inherit java-pkg-2 java-ant-2 eutils fdo-mime
57
58 # TODO use versionator
59 MY_PV="${PV//_/}"
60
61 DESCRIPTION="Programmer's editor written in Java"
62 HOMEPAGE="http://www.jedit.org"
63 SRC_URI="mirror://sourceforge/${PN}/${PN}${MY_PV}source.tar.bz2"
64 LICENSE="GPL-2"
65 KEYWORDS="~amd64 ~ppc ~ppc64 ~x86 ~x86-fbsd"
66 SLOT="0"
67 IUSE="doc"
68
69 RDEPEND=">=virtual/jre-1.5"
70 DEPEND=">=virtual/jdk-1.5
71 doc? (
72 =app-text/docbook-xml-dtd-4.3*
73 >=app-text/docbook-xsl-stylesheets-1.65.1
74 dev-libs/libxslt
75 )"
76
77 S="${WORKDIR}/jEdit"
78
79 JEDIT_HOME="/usr/share/${PN}"
80
81 src_unpack() {
82 unpack ${A}
83 cd "${S}"
84
85 if use doc; then
86 local xsl=$(echo /usr/share/sgml/docbook/xsl-stylesheets-*)
87 xsl=${xsl// *}
88
89 local xml=$(echo /usr/share/sgml/docbook/xml-dtd-4.3*)
90 xml=${xml// *}
91
92 echo "build.directory=." > build.properties
93 echo "docbook.dtd.catalog=${xml}/docbook.cat" >> build.properties
94 echo "docbook.xsl=${xsl}" >> build.properties
95 fi
96
97 # still need to do: bsh, com.microstar.xml.*, org.gjt.*
98 java-pkg_filter-compiler jikes
99 }
100
101 JAVA_ANT_REWRITE_CLASSPATH="true"
102 EANT_BUILD_TARGET="build"
103 # TODO could build more docs, ie userdocs target instead of generate-javadoc
104 EANT_DOC_TARGET="generate-javadoc"
105 # in fact needed only for docs, but shouldn't hurt
106 EANT_NEEDS_TOOLS="true"
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 }