1 |
commit: 0bda332c8a1a7b3570e33d43e666344554febdaa |
2 |
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Sep 3 13:46:28 2015 +0000 |
4 |
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Sep 3 13:47:43 2015 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0bda332c |
7 |
|
8 |
dev-java/antenna: Package removal wrt bug 368049. |
9 |
|
10 |
Signed-off-by: Patrice Clement <monsieurp <AT> gentoo.org> |
11 |
|
12 |
dev-java/jjtraveler/Manifest | 1 - |
13 |
dev-java/jjtraveler/files/0.4.3-makefile.am.patch | 20 -------- |
14 |
dev-java/jjtraveler/jjtraveler-0.4.3-r2.ebuild | 59 ----------------------- |
15 |
dev-java/jjtraveler/metadata.xml | 10 ---- |
16 |
4 files changed, 90 deletions(-) |
17 |
|
18 |
diff --git a/dev-java/jjtraveler/Manifest b/dev-java/jjtraveler/Manifest |
19 |
deleted file mode 100644 |
20 |
index 5e89abb..0000000 |
21 |
--- a/dev-java/jjtraveler/Manifest |
22 |
+++ /dev/null |
23 |
@@ -1 +0,0 @@ |
24 |
-DIST JJTraveler-0.4.3.tar.gz 219594 SHA256 e873a57e59661b557bd73181c398c88efa1898dbb277df791cebc6ba6c8a1ad0 SHA512 fcaa2bbc736af95a0477f1d9a39d7d1410505c02214759baf3bed77b45d8bc9667cacbb7fdd954925038b6c67535bcf7af6c264347af18b150240d9796372c32 WHIRLPOOL 1ab5857492393843c7ba44024a165b8dd6a022c04a7a8e71ac3f02d98ac6e86b82c9b05efbfefd124a898a598eb80462606f3829d0a13027e6b6118ac902e94c |
25 |
|
26 |
diff --git a/dev-java/jjtraveler/files/0.4.3-makefile.am.patch b/dev-java/jjtraveler/files/0.4.3-makefile.am.patch |
27 |
deleted file mode 100644 |
28 |
index a15e304..0000000 |
29 |
--- a/dev-java/jjtraveler/files/0.4.3-makefile.am.patch |
30 |
+++ /dev/null |
31 |
@@ -1,20 +0,0 @@ |
32 |
-diff -ru JJTraveler-0.4.3-vanilla/Makefile.am JJTraveler-0.4.3-patched/Makefile.am |
33 |
---- JJTraveler-0.4.3-vanilla/Makefile.am 2004-04-14 08:55:45.000000000 -0400 |
34 |
-+++ JJTraveler-0.4.3-patched/Makefile.am 2007-02-26 09:12:28.000000000 -0500 |
35 |
-@@ -26,5 +26,4 @@ |
36 |
- noinst_SCRIPTS = ${PACKAGE}-${VERSION}.pkg |
37 |
- |
38 |
- ${PACKAGE}-${VERSION}.pkg: ${PACKAGE}.pkg Makefile |
39 |
-- sed 's#__VERSION__#${VERSION}#g;\ |
40 |
-- s#__PACKAGE__#${PACKAGE}#g' < $< > $@ |
41 |
-+ sed 's#__VERSION__#${VERSION}#g;s#__PACKAGE__#${PACKAGE}#g' < $< > $@ |
42 |
-diff -ru JJTraveler-0.4.3-vanilla/scripts/Makefile.am JJTraveler-0.4.3-patched/scripts/Makefile.am |
43 |
---- JJTraveler-0.4.3-vanilla/scripts/Makefile.am 2004-02-02 10:12:10.000000000 -0500 |
44 |
-+++ JJTraveler-0.4.3-patched/scripts/Makefile.am 2007-02-26 09:11:03.000000000 -0500 |
45 |
-@@ -5,5 +5,4 @@ |
46 |
- EXTRA_DIST = jjtraveler-config.sh.src |
47 |
- |
48 |
- % : %.sh.src Makefile |
49 |
-- sed 's@__PREFIX__@${prefix}@g;\ |
50 |
-- s@__VERSION__@${VERSION}@g;' < $< > $@ && chmod +x $@ |
51 |
-+ sed 's@__PREFIX__@${prefix}@g;s@__VERSION__@${VERSION}@g;' < $< > $@ && chmod +x $@ |
52 |
|
53 |
diff --git a/dev-java/jjtraveler/jjtraveler-0.4.3-r2.ebuild b/dev-java/jjtraveler/jjtraveler-0.4.3-r2.ebuild |
54 |
deleted file mode 100644 |
55 |
index 665943d..0000000 |
56 |
--- a/dev-java/jjtraveler/jjtraveler-0.4.3-r2.ebuild |
57 |
+++ /dev/null |
58 |
@@ -1,59 +0,0 @@ |
59 |
-# Copyright 1999-2010 Gentoo Foundation |
60 |
-# Distributed under the terms of the GNU General Public License v2 |
61 |
-# $Id$ |
62 |
- |
63 |
-JAVA_PKG_IUSE="source doc" |
64 |
- |
65 |
-inherit autotools java-pkg-2 |
66 |
- |
67 |
-DESCRIPTION="A visitor combinator framework for Java" |
68 |
-HOMEPAGE="http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATermLibrary" |
69 |
-MY_P=JJTraveler-${PV} |
70 |
-SRC_URI="http://www.cwi.nl/projects/MetaEnv/jjtraveler/${MY_P}.tar.gz" |
71 |
- |
72 |
-LICENSE="GPL-2" |
73 |
-SLOT="0" |
74 |
-KEYWORDS="amd64 ~ppc x86" |
75 |
-S=${WORKDIR}/${MY_P} |
76 |
- |
77 |
-DEPEND=" |
78 |
- >=virtual/jdk-1.4 |
79 |
- =dev-java/junit-3.8*" |
80 |
-RDEPEND=">=virtual/jre-1.4 |
81 |
- =dev-java/junit-3.8*" |
82 |
- |
83 |
-src_unpack() { |
84 |
- unpack ${A} |
85 |
- cd "${S}" |
86 |
- epatch "${FILESDIR}/0.4.3-makefile.am.patch" |
87 |
- eautoreconf |
88 |
- |
89 |
- ( |
90 |
- echo "#!/bin/sh" |
91 |
- echo "java-config -p ${PN}" |
92 |
- ) > "${S}/jjtraveler-config" |
93 |
- |
94 |
- rm -v jars/*.jar || die |
95 |
- cd jars |
96 |
- java-pkg_jar-from junit |
97 |
-} |
98 |
- |
99 |
-src_compile() { |
100 |
- econf \ |
101 |
- --with-javac-flags="$(java-pkg_javac-args)" |
102 |
- emake || die "emake failed" |
103 |
- if use doc; then |
104 |
- cd src/jjtraveler |
105 |
- make htmljava.stamp || die "Failed to create javadoc" |
106 |
- fi |
107 |
-} |
108 |
- |
109 |
-src_install() { |
110 |
- java-pkg_newjar ./src/${P}.jar |
111 |
- |
112 |
- dobin jjtraveler-config || die |
113 |
- dodoc AUTHORS ChangeLog NEWS README TODO || die |
114 |
- |
115 |
- use source && java-pkg_dosrc src/jjtraveler |
116 |
- use doc && java-pkg_dojavadoc src/jjtraveler/doc |
117 |
-} |
118 |
|
119 |
diff --git a/dev-java/jjtraveler/metadata.xml b/dev-java/jjtraveler/metadata.xml |
120 |
deleted file mode 100644 |
121 |
index 1fa958f..0000000 |
122 |
--- a/dev-java/jjtraveler/metadata.xml |
123 |
+++ /dev/null |
124 |
@@ -1,10 +0,0 @@ |
125 |
-<?xml version="1.0" encoding="UTF-8"?> |
126 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
127 |
- |
128 |
-<pkgmetadata> |
129 |
-<herd>java</herd> |
130 |
- |
131 |
-<longdescription> |
132 |
-JJTraveler: a visitor combinator framework for Java. |
133 |
-</longdescription> |
134 |
-</pkgmetadata> |