1 |
commit: e47a9ad8e493746f8d4a67696a6cec54292e67f7 |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Sep 14 15:42:56 2019 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Sep 14 15:43:14 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e47a9ad8 |
7 |
|
8 |
sci-mathematics/kodkodi: Remove last-rited pkg |
9 |
|
10 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
11 |
|
12 |
profiles/package.mask | 5 -- |
13 |
sci-mathematics/kodkodi/Manifest | 1 - |
14 |
sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild | 107 ------------------------ |
15 |
sci-mathematics/kodkodi/metadata.xml | 19 ----- |
16 |
4 files changed, 132 deletions(-) |
17 |
|
18 |
diff --git a/profiles/package.mask b/profiles/package.mask |
19 |
index 5839f915bbe..be75868ea69 100644 |
20 |
--- a/profiles/package.mask |
21 |
+++ b/profiles/package.mask |
22 |
@@ -728,12 +728,8 @@ sys-cluster/lspbs |
23 |
# sci-mathematics/kodkod: reported to fail to build. Last bumped |
24 |
# in 2012. Homepage is gone, and sources are nowhere to be found. |
25 |
# |
26 |
-# sci-mathematics/kodkodi: the only revdep of the above. Last release |
27 |
-# in 2012. No reverse dependencies. |
28 |
-# |
29 |
# Removal in 30 days. Bug #685802. |
30 |
sci-mathematics/kodkod |
31 |
-sci-mathematics/kodkodi |
32 |
|
33 |
# Michał Górny <mgorny@g.o> (2019-09-07) |
34 |
# Unmaintained. Not bumped since 2011. |
35 |
@@ -1124,7 +1120,6 @@ sci-mathematics/isabelle |
36 |
sci-chemistry/jmol |
37 |
sci-mathematics/cvc3 |
38 |
sci-mathematics/e |
39 |
-sci-mathematics/kodkodi |
40 |
|
41 |
# Michał Górny <mgorny@g.o> (2019-08-14) |
42 |
# No longer builds. Homepage is gone, and its keep-alive fork is also |
43 |
|
44 |
diff --git a/sci-mathematics/kodkodi/Manifest b/sci-mathematics/kodkodi/Manifest |
45 |
deleted file mode 100644 |
46 |
index 49f59084250..00000000000 |
47 |
--- a/sci-mathematics/kodkodi/Manifest |
48 |
+++ /dev/null |
49 |
@@ -1 +0,0 @@ |
50 |
-DIST kodkodi-1.5.2.tgz 2826648 BLAKE2B 1c2c83b2fd0df3bf01d8aa5a5332a4347cd64493daef28780b3cc8fa7d627bed1d05cee91afdfef88b62d262e8ba39be6d8ae719b2f6e0da40808d5ef3176c17 SHA512 117e0f1b3e3ee88efb9a9e2f02e8a7ce82a3487528ad0476acf20fafd885d3d48c051bd4a8cb6aa5cda61f24dfa74159448b83398be4119e726e757f6ff3aad4 |
51 |
|
52 |
diff --git a/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild b/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild |
53 |
deleted file mode 100644 |
54 |
index 18f9e89ca3e..00000000000 |
55 |
--- a/sci-mathematics/kodkodi/kodkodi-1.5.2-r1.ebuild |
56 |
+++ /dev/null |
57 |
@@ -1,107 +0,0 @@ |
58 |
-# Copyright 1999-2017 Gentoo Foundation |
59 |
-# Distributed under the terms of the GNU General Public License v2 |
60 |
- |
61 |
-EAPI="6" |
62 |
- |
63 |
-JAVA_PKG_IUSE="doc source" |
64 |
- |
65 |
-inherit java-pkg-2 java-pkg-simple multilib |
66 |
- |
67 |
-DESCRIPTION="A text front-end for the Kodkod Java library" |
68 |
-HOMEPAGE="http://www21.in.tum.de/~blanchet/#software" |
69 |
-SRC_URI="http://www21.in.tum.de/~blanchet/${P}.tgz" |
70 |
- |
71 |
-LICENSE="BSD" |
72 |
-SLOT="0/${PV}" |
73 |
-KEYWORDS="~amd64 ~x86" |
74 |
-IUSE="isabelle examples" |
75 |
- |
76 |
-COMMON_DEP="dev-java/antlr:3 |
77 |
- =sci-mathematics/kodkod-1.5*:=" |
78 |
-RDEPEND="${COMMON_DEP} |
79 |
- isabelle? ( |
80 |
- sci-mathematics/isabelle:= |
81 |
- ) |
82 |
- >=virtual/jre-1.6" |
83 |
-DEPEND="${COMMON_DEP} |
84 |
- >=virtual/jdk-1.6 |
85 |
- app-arch/unzip" |
86 |
- |
87 |
-S="${WORKDIR}/${P}" |
88 |
- |
89 |
-JAVA_GENTOO_CLASSPATH="kodkod,antlr-3" |
90 |
- |
91 |
-src_prepare() { |
92 |
- default |
93 |
- sed -e 's@exec "$ISABELLE_TOOL" java $KODKODI_JAVA_OPT@java@' \ |
94 |
- -i "${S}/bin/kodkodi" || die "Could not patch bin/kodkodi" |
95 |
- rm -f jar/*.jar || die "Could not rm jar files" |
96 |
-} |
97 |
- |
98 |
-src_compile() { |
99 |
- JAVA_SRC_DIR="src" |
100 |
- TARGETDIR="/usr/share/${P}" |
101 |
- KODKOD_LIBDIR="/usr/"$(get_libdir)"/kodkod" |
102 |
- |
103 |
- java-pkg-simple_src_compile |
104 |
- |
105 |
- pushd "${S}/target/classes" > /dev/null || die |
106 |
- jar -uf "${S}"/${PN}.jar $(find -name '*.class') || die |
107 |
- popd > /dev/null |
108 |
-} |
109 |
- |
110 |
-src_install() { |
111 |
- java-pkg-simple_src_install |
112 |
- dodoc README HISTORY manual/${PN}.pdf LICENSES/Kodkodi |
113 |
- insinto ${TARGETDIR} |
114 |
- if use examples; then |
115 |
- doins -r examples |
116 |
- fi |
117 |
- |
118 |
- if use isabelle; then |
119 |
- ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \ |
120 |
- || die "isabelle getenv ISABELLE_HOME failed" |
121 |
- [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" |
122 |
- dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
123 |
- cat <<- EOF >> "${S}/settings" |
124 |
- KODKODI="\$COMPONENT" |
125 |
- KODKODI_VERSION="${PV}" |
126 |
- KODKODI_PLATFORM=\$ISABELLE_PLATFORM |
127 |
- KODKODI_CLASSPATH="$(java-config --classpath=antlr:3):${ROOT}usr/share/${PN}-${SLOT}/lib/kodkodi.jar:$(java-config --classpath=kodkod)" |
128 |
- KODKODI_JAVA_LIBRARY_PATH="${KODKOD_LIBDIR}" |
129 |
- EOF |
130 |
- insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
131 |
- doins "${S}/settings" |
132 |
- dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/bin" |
133 |
- exeinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/bin" |
134 |
- doexe bin/kodkodi |
135 |
- fi |
136 |
-} |
137 |
- |
138 |
-pkg_postinst() { |
139 |
- if use isabelle; then |
140 |
- if [ -f "${ROOT}etc/isabelle/components" ]; then |
141 |
- if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then |
142 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
143 |
- -i "${ROOT}etc/isabelle/components" |
144 |
- fi |
145 |
- cat <<- EOF >> "${ROOT}etc/isabelle/components" |
146 |
- contrib/${PN}-${PV} |
147 |
- EOF |
148 |
- fi |
149 |
- fi |
150 |
-} |
151 |
- |
152 |
-pkg_postrm() { |
153 |
- if use isabelle; then |
154 |
- if [ ! -f "${ROOT}usr/bin/kodkodi" ]; then |
155 |
- if [ -f "${ROOT}etc/isabelle/components" ]; then |
156 |
- # Note: this sed should only match the version of this ebuild |
157 |
- # Which is what we want as we do not want to remove the line |
158 |
- # of a new kodkodi being installed during an upgrade. |
159 |
- sed -e "/contrib\/${PN}-${PV}/d" \ |
160 |
- -i "${ROOT}etc/isabelle/components" |
161 |
- fi |
162 |
- fi |
163 |
- fi |
164 |
-} |
165 |
|
166 |
diff --git a/sci-mathematics/kodkodi/metadata.xml b/sci-mathematics/kodkodi/metadata.xml |
167 |
deleted file mode 100644 |
168 |
index 28c187d2755..00000000000 |
169 |
--- a/sci-mathematics/kodkodi/metadata.xml |
170 |
+++ /dev/null |
171 |
@@ -1,19 +0,0 @@ |
172 |
-<?xml version="1.0" encoding="UTF-8"?> |
173 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
174 |
-<pkgmetadata> |
175 |
-<maintainer type="person"> |
176 |
- <email>gienah@g.o</email> |
177 |
- <name>Mark Wright</name> |
178 |
-</maintainer> |
179 |
-<maintainer type="project"> |
180 |
- <email>sci-mathematics@g.o</email> |
181 |
- <name>Gentoo Mathematics Project</name> |
182 |
-</maintainer> |
183 |
-<longdescription lang="en"> |
184 |
-A text front-end for the Kodkod Java library. |
185 |
-</longdescription> |
186 |
-<use> |
187 |
- <flag name="isabelle">Add integration support for the Isabelle/HOL |
188 |
- theorem prover.</flag> |
189 |
-</use> |
190 |
-</pkgmetadata> |