1 |
commit: 06ae9dfd925fbf6fe5d724c217d4a12f501d1383 |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Jun 6 11:30:55 2022 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Jun 6 11:30:55 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06ae9dfd |
7 |
|
8 |
sci-mathematics/z3: Remove old |
9 |
|
10 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
11 |
|
12 |
sci-mathematics/z3/Manifest | 2 - |
13 |
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 103 ------------------------------- |
14 |
sci-mathematics/z3/z3-4.8.16.ebuild | 108 --------------------------------- |
15 |
3 files changed, 213 deletions(-) |
16 |
|
17 |
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest |
18 |
index cf597f0c3e78..70d8a3764f9d 100644 |
19 |
--- a/sci-mathematics/z3/Manifest |
20 |
+++ b/sci-mathematics/z3/Manifest |
21 |
@@ -1,3 +1 @@ |
22 |
-DIST z3-4.8.15.tar.gz 5213633 BLAKE2B 6ca07309370f891f6ca5fa114721cb5df96e726687bf3c2310ba4963b1d1dfeec6ede62fd7a960e17e824ab8ff1e17d2af2a90d8156245ba048b04045c8f0531 SHA512 7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c |
23 |
-DIST z3-4.8.16.tar.gz 5223980 BLAKE2B 67bca86d48df51c9aa4fa3544fd77133c4cc429e6f77f89aa26a559e56e267b8c0891befc6a5e24be541011aac02cb0d51ef26a636c3b360a1fa4d445967da21 SHA512 385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615 |
24 |
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B 80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224 SHA512 95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d |
25 |
|
26 |
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild b/sci-mathematics/z3/z3-4.8.15-r1.ebuild |
27 |
deleted file mode 100644 |
28 |
index 31cec588863f..000000000000 |
29 |
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild |
30 |
+++ /dev/null |
31 |
@@ -1,103 +0,0 @@ |
32 |
-# Copyright 1999-2022 Gentoo Authors |
33 |
-# Distributed under the terms of the GNU General Public License v2 |
34 |
- |
35 |
-EAPI=8 |
36 |
- |
37 |
-CMAKE_ECLASS=cmake |
38 |
-PYTHON_COMPAT=( python3_{8..10} ) |
39 |
- |
40 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
41 |
- |
42 |
-DESCRIPTION="An efficient theorem prover" |
43 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
44 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
45 |
-S=${WORKDIR}/z3-${P} |
46 |
- |
47 |
-SLOT="0/4.8" |
48 |
-LICENSE="MIT" |
49 |
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" |
50 |
-IUSE="doc examples gmp isabelle java python" |
51 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
52 |
- |
53 |
-RDEPEND="${PYTHON_DEPS} |
54 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )" |
55 |
-DEPEND="${RDEPEND} |
56 |
- java? ( >=virtual/jdk-1.8 )" |
57 |
-BDEPEND=" |
58 |
- doc? ( app-doc/doxygen[dot] )" |
59 |
- |
60 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
61 |
- |
62 |
-src_prepare() { |
63 |
- cmake_src_prepare |
64 |
- java-pkg-opt-2_src_prepare |
65 |
-} |
66 |
- |
67 |
-multilib_src_configure() { |
68 |
- local mycmakeargs=( |
69 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
70 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
71 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
72 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
73 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
74 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
75 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
76 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
77 |
- ) |
78 |
- |
79 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
80 |
- |
81 |
- cmake_src_configure |
82 |
-} |
83 |
- |
84 |
-multilib_src_test() { |
85 |
- cmake_build test-z3 |
86 |
- set -- "${BUILD_DIR}"/test-z3 /a |
87 |
- echo "${@}" >&2 |
88 |
- "${@}" || die |
89 |
-} |
90 |
- |
91 |
-multilib_src_install_all() { |
92 |
- dodoc README.md RELEASE_NOTES |
93 |
- use examples && dodoc -r examples |
94 |
- use python && python_optimize |
95 |
- |
96 |
- if use isabelle; then |
97 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
98 |
- newins - settings <<-EOF |
99 |
- Z3_COMPONENT="\$COMPONENT" |
100 |
- Z3_HOME="${EPREFIX}/usr/bin" |
101 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
102 |
- Z3_REMOTE_SOLVER="z3" |
103 |
- Z3_VERSION="${PV}" |
104 |
- Z3_INSTALLED="yes" |
105 |
- Z3_NON_COMMERCIAL="yes" |
106 |
- EOF |
107 |
- fi |
108 |
-} |
109 |
- |
110 |
-pkg_postinst() { |
111 |
- if use isabelle; then |
112 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
113 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
114 |
- -i "${ROOT}/etc/isabelle/components" || die |
115 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
116 |
- contrib/${P} |
117 |
- EOF |
118 |
- fi |
119 |
- fi |
120 |
-} |
121 |
- |
122 |
-pkg_postrm() { |
123 |
- if use isabelle; then |
124 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
125 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
126 |
- # Note: this sed should only match the version of this ebuild |
127 |
- # Which is what we want as we do not want to remove the line |
128 |
- # of a new Isabelle component being installed during an upgrade. |
129 |
- sed -e "/contrib\/${P}/d" \ |
130 |
- -i "${ROOT}/etc/isabelle/components" || die |
131 |
- fi |
132 |
- fi |
133 |
- fi |
134 |
-} |
135 |
|
136 |
diff --git a/sci-mathematics/z3/z3-4.8.16.ebuild b/sci-mathematics/z3/z3-4.8.16.ebuild |
137 |
deleted file mode 100644 |
138 |
index 7ebfae64d20b..000000000000 |
139 |
--- a/sci-mathematics/z3/z3-4.8.16.ebuild |
140 |
+++ /dev/null |
141 |
@@ -1,108 +0,0 @@ |
142 |
-# Copyright 1999-2022 Gentoo Authors |
143 |
-# Distributed under the terms of the GNU General Public License v2 |
144 |
- |
145 |
-EAPI=8 |
146 |
- |
147 |
-CMAKE_ECLASS=cmake |
148 |
-PYTHON_COMPAT=( python3_{8..10} ) |
149 |
- |
150 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
151 |
- |
152 |
-DESCRIPTION="An efficient theorem prover" |
153 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
154 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
155 |
-S=${WORKDIR}/z3-${P} |
156 |
- |
157 |
-SLOT="0/4.8" |
158 |
-LICENSE="MIT" |
159 |
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86" |
160 |
-IUSE="doc examples gmp isabelle java python" |
161 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
162 |
- |
163 |
-RDEPEND=" |
164 |
- ${PYTHON_DEPS} |
165 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) |
166 |
-" |
167 |
-DEPEND=" |
168 |
- ${RDEPEND} |
169 |
- java? ( >=virtual/jdk-1.8 ) |
170 |
-" |
171 |
-BDEPEND=" |
172 |
- doc? ( app-doc/doxygen[dot] ) |
173 |
-" |
174 |
- |
175 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
176 |
- |
177 |
-src_prepare() { |
178 |
- cmake_src_prepare |
179 |
- java-pkg-opt-2_src_prepare |
180 |
-} |
181 |
- |
182 |
-multilib_src_configure() { |
183 |
- local mycmakeargs=( |
184 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
185 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
186 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
187 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
188 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
189 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
190 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
191 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
192 |
- ) |
193 |
- |
194 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
195 |
- |
196 |
- cmake_src_configure |
197 |
-} |
198 |
- |
199 |
-multilib_src_test() { |
200 |
- cmake_build test-z3 |
201 |
- set -- "${BUILD_DIR}"/test-z3 /a |
202 |
- echo "${@}" >&2 |
203 |
- "${@}" || die |
204 |
-} |
205 |
- |
206 |
-multilib_src_install_all() { |
207 |
- dodoc README.md RELEASE_NOTES |
208 |
- use examples && dodoc -r examples |
209 |
- use python && python_optimize |
210 |
- |
211 |
- if use isabelle; then |
212 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
213 |
- newins - settings <<-EOF |
214 |
- Z3_COMPONENT="\$COMPONENT" |
215 |
- Z3_HOME="${EPREFIX}/usr/bin" |
216 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
217 |
- Z3_REMOTE_SOLVER="z3" |
218 |
- Z3_VERSION="${PV}" |
219 |
- Z3_INSTALLED="yes" |
220 |
- Z3_NON_COMMERCIAL="yes" |
221 |
- EOF |
222 |
- fi |
223 |
-} |
224 |
- |
225 |
-pkg_postinst() { |
226 |
- if use isabelle; then |
227 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
228 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
229 |
- -i "${ROOT}/etc/isabelle/components" || die |
230 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
231 |
- contrib/${P} |
232 |
- EOF |
233 |
- fi |
234 |
- fi |
235 |
-} |
236 |
- |
237 |
-pkg_postrm() { |
238 |
- if use isabelle; then |
239 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
240 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
241 |
- # Note: this sed should only match the version of this ebuild |
242 |
- # Which is what we want as we do not want to remove the line |
243 |
- # of a new Isabelle component being installed during an upgrade. |
244 |
- sed -e "/contrib\/${P}/d" \ |
245 |
- -i "${ROOT}/etc/isabelle/components" || die |
246 |
- fi |
247 |
- fi |
248 |
- fi |
249 |
-} |