| 1 |
commit: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc |
| 2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Fri Sep 23 07:18:22 2022 +0000 |
| 4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Fri Sep 23 08:11:49 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f5a0527 |
| 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 | 5 -- |
| 13 |
sci-mathematics/z3/z3-4.10.1.ebuild | 107 ---------------------------------- |
| 14 |
sci-mathematics/z3/z3-4.10.2.ebuild | 107 ---------------------------------- |
| 15 |
sci-mathematics/z3/z3-4.11.0.ebuild | 107 ---------------------------------- |
| 16 |
sci-mathematics/z3/z3-4.8.17.ebuild | 107 ---------------------------------- |
| 17 |
sci-mathematics/z3/z3-4.9.1-r1.ebuild | 107 ---------------------------------- |
| 18 |
6 files changed, 540 deletions(-) |
| 19 |
|
| 20 |
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest |
| 21 |
index c688dbcecdac..c773e99400fa 100644 |
| 22 |
--- a/sci-mathematics/z3/Manifest |
| 23 |
+++ b/sci-mathematics/z3/Manifest |
| 24 |
@@ -1,6 +1 @@ |
| 25 |
-DIST z3-4.10.1.tar.gz 5366092 BLAKE2B 2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20 SHA512 6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf |
| 26 |
-DIST z3-4.10.2.tar.gz 5367336 BLAKE2B e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019 SHA512 d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3 |
| 27 |
-DIST z3-4.11.0.tar.gz 5392300 BLAKE2B 5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0 SHA512 a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905 |
| 28 |
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B 85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1 SHA512 be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a |
| 29 |
-DIST z3-4.8.17.tar.gz 5232392 BLAKE2B 80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224 SHA512 95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d |
| 30 |
-DIST z3-4.9.1.tar.gz 5358020 BLAKE2B b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64 SHA512 0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51 |
| 31 |
|
| 32 |
diff --git a/sci-mathematics/z3/z3-4.10.1.ebuild b/sci-mathematics/z3/z3-4.10.1.ebuild |
| 33 |
deleted file mode 100644 |
| 34 |
index 25e2b9ca2cb8..000000000000 |
| 35 |
--- a/sci-mathematics/z3/z3-4.10.1.ebuild |
| 36 |
+++ /dev/null |
| 37 |
@@ -1,107 +0,0 @@ |
| 38 |
-# Copyright 1999-2022 Gentoo Authors |
| 39 |
-# Distributed under the terms of the GNU General Public License v2 |
| 40 |
- |
| 41 |
-EAPI=8 |
| 42 |
- |
| 43 |
-PYTHON_COMPAT=( python3_{8..10} ) |
| 44 |
- |
| 45 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
| 46 |
- |
| 47 |
-DESCRIPTION="An efficient theorem prover" |
| 48 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
| 49 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
| 50 |
-S=${WORKDIR}/z3-${P} |
| 51 |
- |
| 52 |
-SLOT="0/$(ver_cut 1-2)" |
| 53 |
-LICENSE="MIT" |
| 54 |
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86" |
| 55 |
-IUSE="doc examples gmp isabelle java python" |
| 56 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
| 57 |
- |
| 58 |
-RDEPEND=" |
| 59 |
- ${PYTHON_DEPS} |
| 60 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) |
| 61 |
-" |
| 62 |
-DEPEND=" |
| 63 |
- ${RDEPEND} |
| 64 |
- java? ( >=virtual/jdk-1.8 ) |
| 65 |
-" |
| 66 |
-BDEPEND=" |
| 67 |
- doc? ( app-doc/doxygen[dot] ) |
| 68 |
-" |
| 69 |
- |
| 70 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
| 71 |
- |
| 72 |
-src_prepare() { |
| 73 |
- cmake_src_prepare |
| 74 |
- java-pkg-opt-2_src_prepare |
| 75 |
-} |
| 76 |
- |
| 77 |
-multilib_src_configure() { |
| 78 |
- local mycmakeargs=( |
| 79 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
| 80 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
| 81 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
| 82 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
| 83 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
| 84 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
| 85 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
| 86 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
| 87 |
- ) |
| 88 |
- |
| 89 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
| 90 |
- |
| 91 |
- cmake_src_configure |
| 92 |
-} |
| 93 |
- |
| 94 |
-multilib_src_test() { |
| 95 |
- cmake_build test-z3 |
| 96 |
- set -- "${BUILD_DIR}"/test-z3 /a |
| 97 |
- echo "${@}" >&2 |
| 98 |
- "${@}" || die |
| 99 |
-} |
| 100 |
- |
| 101 |
-multilib_src_install_all() { |
| 102 |
- dodoc README.md |
| 103 |
- use examples && dodoc -r examples |
| 104 |
- use python && python_optimize |
| 105 |
- |
| 106 |
- if use isabelle; then |
| 107 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
| 108 |
- newins - settings <<-EOF |
| 109 |
- Z3_COMPONENT="\$COMPONENT" |
| 110 |
- Z3_HOME="${EPREFIX}/usr/bin" |
| 111 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
| 112 |
- Z3_REMOTE_SOLVER="z3" |
| 113 |
- Z3_VERSION="${PV}" |
| 114 |
- Z3_INSTALLED="yes" |
| 115 |
- Z3_NON_COMMERCIAL="yes" |
| 116 |
- EOF |
| 117 |
- fi |
| 118 |
-} |
| 119 |
- |
| 120 |
-pkg_postinst() { |
| 121 |
- if use isabelle; then |
| 122 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
| 123 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
| 124 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 125 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
| 126 |
- contrib/${P} |
| 127 |
- EOF |
| 128 |
- fi |
| 129 |
- fi |
| 130 |
-} |
| 131 |
- |
| 132 |
-pkg_postrm() { |
| 133 |
- if use isabelle; then |
| 134 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
| 135 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
| 136 |
- # Note: this sed should only match the version of this ebuild |
| 137 |
- # Which is what we want as we do not want to remove the line |
| 138 |
- # of a new Isabelle component being installed during an upgrade. |
| 139 |
- sed -e "/contrib\/${P}/d" \ |
| 140 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 141 |
- fi |
| 142 |
- fi |
| 143 |
- fi |
| 144 |
-} |
| 145 |
|
| 146 |
diff --git a/sci-mathematics/z3/z3-4.10.2.ebuild b/sci-mathematics/z3/z3-4.10.2.ebuild |
| 147 |
deleted file mode 100644 |
| 148 |
index 16e3a209e6d1..000000000000 |
| 149 |
--- a/sci-mathematics/z3/z3-4.10.2.ebuild |
| 150 |
+++ /dev/null |
| 151 |
@@ -1,107 +0,0 @@ |
| 152 |
-# Copyright 1999-2022 Gentoo Authors |
| 153 |
-# Distributed under the terms of the GNU General Public License v2 |
| 154 |
- |
| 155 |
-EAPI=8 |
| 156 |
- |
| 157 |
-PYTHON_COMPAT=( python3_{8..10} ) |
| 158 |
- |
| 159 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
| 160 |
- |
| 161 |
-DESCRIPTION="An efficient theorem prover" |
| 162 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
| 163 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
| 164 |
-S=${WORKDIR}/z3-${P} |
| 165 |
- |
| 166 |
-SLOT="0/$(ver_cut 1-2)" |
| 167 |
-LICENSE="MIT" |
| 168 |
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc x86" |
| 169 |
-IUSE="doc examples gmp isabelle java python" |
| 170 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
| 171 |
- |
| 172 |
-RDEPEND=" |
| 173 |
- ${PYTHON_DEPS} |
| 174 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) |
| 175 |
-" |
| 176 |
-DEPEND=" |
| 177 |
- ${RDEPEND} |
| 178 |
- java? ( >=virtual/jdk-1.8 ) |
| 179 |
-" |
| 180 |
-BDEPEND=" |
| 181 |
- doc? ( app-doc/doxygen[dot] ) |
| 182 |
-" |
| 183 |
- |
| 184 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
| 185 |
- |
| 186 |
-src_prepare() { |
| 187 |
- cmake_src_prepare |
| 188 |
- java-pkg-opt-2_src_prepare |
| 189 |
-} |
| 190 |
- |
| 191 |
-multilib_src_configure() { |
| 192 |
- local mycmakeargs=( |
| 193 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
| 194 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
| 195 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
| 196 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
| 197 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
| 198 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
| 199 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
| 200 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
| 201 |
- ) |
| 202 |
- |
| 203 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
| 204 |
- |
| 205 |
- cmake_src_configure |
| 206 |
-} |
| 207 |
- |
| 208 |
-multilib_src_test() { |
| 209 |
- cmake_build test-z3 |
| 210 |
- set -- "${BUILD_DIR}"/test-z3 /a |
| 211 |
- echo "${@}" >&2 |
| 212 |
- "${@}" || die |
| 213 |
-} |
| 214 |
- |
| 215 |
-multilib_src_install_all() { |
| 216 |
- dodoc README.md |
| 217 |
- use examples && dodoc -r examples |
| 218 |
- use python && python_optimize |
| 219 |
- |
| 220 |
- if use isabelle; then |
| 221 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
| 222 |
- newins - settings <<-EOF |
| 223 |
- Z3_COMPONENT="\$COMPONENT" |
| 224 |
- Z3_HOME="${EPREFIX}/usr/bin" |
| 225 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
| 226 |
- Z3_REMOTE_SOLVER="z3" |
| 227 |
- Z3_VERSION="${PV}" |
| 228 |
- Z3_INSTALLED="yes" |
| 229 |
- Z3_NON_COMMERCIAL="yes" |
| 230 |
- EOF |
| 231 |
- fi |
| 232 |
-} |
| 233 |
- |
| 234 |
-pkg_postinst() { |
| 235 |
- if use isabelle; then |
| 236 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
| 237 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
| 238 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 239 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
| 240 |
- contrib/${P} |
| 241 |
- EOF |
| 242 |
- fi |
| 243 |
- fi |
| 244 |
-} |
| 245 |
- |
| 246 |
-pkg_postrm() { |
| 247 |
- if use isabelle; then |
| 248 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
| 249 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
| 250 |
- # Note: this sed should only match the version of this ebuild |
| 251 |
- # Which is what we want as we do not want to remove the line |
| 252 |
- # of a new Isabelle component being installed during an upgrade. |
| 253 |
- sed -e "/contrib\/${P}/d" \ |
| 254 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 255 |
- fi |
| 256 |
- fi |
| 257 |
- fi |
| 258 |
-} |
| 259 |
|
| 260 |
diff --git a/sci-mathematics/z3/z3-4.11.0.ebuild b/sci-mathematics/z3/z3-4.11.0.ebuild |
| 261 |
deleted file mode 100644 |
| 262 |
index 4c7fa51d483e..000000000000 |
| 263 |
--- a/sci-mathematics/z3/z3-4.11.0.ebuild |
| 264 |
+++ /dev/null |
| 265 |
@@ -1,107 +0,0 @@ |
| 266 |
-# Copyright 1999-2022 Gentoo Authors |
| 267 |
-# Distributed under the terms of the GNU General Public License v2 |
| 268 |
- |
| 269 |
-EAPI=8 |
| 270 |
- |
| 271 |
-PYTHON_COMPAT=( python3_{8..11} ) |
| 272 |
- |
| 273 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
| 274 |
- |
| 275 |
-DESCRIPTION="An efficient theorem prover" |
| 276 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
| 277 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
| 278 |
-S=${WORKDIR}/z3-${P} |
| 279 |
- |
| 280 |
-SLOT="0/$(ver_cut 1-2)" |
| 281 |
-LICENSE="MIT" |
| 282 |
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86" |
| 283 |
-IUSE="doc examples gmp isabelle java python" |
| 284 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
| 285 |
- |
| 286 |
-RDEPEND=" |
| 287 |
- ${PYTHON_DEPS} |
| 288 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) |
| 289 |
-" |
| 290 |
-DEPEND=" |
| 291 |
- ${RDEPEND} |
| 292 |
- java? ( >=virtual/jdk-1.8 ) |
| 293 |
-" |
| 294 |
-BDEPEND=" |
| 295 |
- doc? ( app-doc/doxygen[dot] ) |
| 296 |
-" |
| 297 |
- |
| 298 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
| 299 |
- |
| 300 |
-src_prepare() { |
| 301 |
- cmake_src_prepare |
| 302 |
- java-pkg-opt-2_src_prepare |
| 303 |
-} |
| 304 |
- |
| 305 |
-multilib_src_configure() { |
| 306 |
- local mycmakeargs=( |
| 307 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
| 308 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
| 309 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
| 310 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
| 311 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
| 312 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
| 313 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
| 314 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
| 315 |
- ) |
| 316 |
- |
| 317 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
| 318 |
- |
| 319 |
- cmake_src_configure |
| 320 |
-} |
| 321 |
- |
| 322 |
-multilib_src_test() { |
| 323 |
- cmake_build test-z3 |
| 324 |
- set -- "${BUILD_DIR}"/test-z3 /a |
| 325 |
- echo "${@}" >&2 |
| 326 |
- "${@}" || die |
| 327 |
-} |
| 328 |
- |
| 329 |
-multilib_src_install_all() { |
| 330 |
- dodoc README.md |
| 331 |
- use examples && dodoc -r examples |
| 332 |
- use python && python_optimize |
| 333 |
- |
| 334 |
- if use isabelle; then |
| 335 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
| 336 |
- newins - settings <<-EOF |
| 337 |
- Z3_COMPONENT="\$COMPONENT" |
| 338 |
- Z3_HOME="${EPREFIX}/usr/bin" |
| 339 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
| 340 |
- Z3_REMOTE_SOLVER="z3" |
| 341 |
- Z3_VERSION="${PV}" |
| 342 |
- Z3_INSTALLED="yes" |
| 343 |
- Z3_NON_COMMERCIAL="yes" |
| 344 |
- EOF |
| 345 |
- fi |
| 346 |
-} |
| 347 |
- |
| 348 |
-pkg_postinst() { |
| 349 |
- if use isabelle; then |
| 350 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
| 351 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
| 352 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 353 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
| 354 |
- contrib/${P} |
| 355 |
- EOF |
| 356 |
- fi |
| 357 |
- fi |
| 358 |
-} |
| 359 |
- |
| 360 |
-pkg_postrm() { |
| 361 |
- if use isabelle; then |
| 362 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
| 363 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
| 364 |
- # Note: this sed should only match the version of this ebuild |
| 365 |
- # Which is what we want as we do not want to remove the line |
| 366 |
- # of a new Isabelle component being installed during an upgrade. |
| 367 |
- sed -e "/contrib\/${P}/d" \ |
| 368 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 369 |
- fi |
| 370 |
- fi |
| 371 |
- fi |
| 372 |
-} |
| 373 |
|
| 374 |
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild b/sci-mathematics/z3/z3-4.8.17.ebuild |
| 375 |
deleted file mode 100644 |
| 376 |
index d3d41342bf18..000000000000 |
| 377 |
--- a/sci-mathematics/z3/z3-4.8.17.ebuild |
| 378 |
+++ /dev/null |
| 379 |
@@ -1,107 +0,0 @@ |
| 380 |
-# Copyright 1999-2022 Gentoo Authors |
| 381 |
-# Distributed under the terms of the GNU General Public License v2 |
| 382 |
- |
| 383 |
-EAPI=8 |
| 384 |
- |
| 385 |
-PYTHON_COMPAT=( python3_{8..10} ) |
| 386 |
- |
| 387 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
| 388 |
- |
| 389 |
-DESCRIPTION="An efficient theorem prover" |
| 390 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
| 391 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
| 392 |
-S=${WORKDIR}/z3-${P} |
| 393 |
- |
| 394 |
-SLOT="0/4.8" |
| 395 |
-LICENSE="MIT" |
| 396 |
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv sparc x86" |
| 397 |
-IUSE="doc examples gmp isabelle java python" |
| 398 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
| 399 |
- |
| 400 |
-RDEPEND=" |
| 401 |
- ${PYTHON_DEPS} |
| 402 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) |
| 403 |
-" |
| 404 |
-DEPEND=" |
| 405 |
- ${RDEPEND} |
| 406 |
- java? ( >=virtual/jdk-1.8 ) |
| 407 |
-" |
| 408 |
-BDEPEND=" |
| 409 |
- doc? ( app-doc/doxygen[dot] ) |
| 410 |
-" |
| 411 |
- |
| 412 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
| 413 |
- |
| 414 |
-src_prepare() { |
| 415 |
- cmake_src_prepare |
| 416 |
- java-pkg-opt-2_src_prepare |
| 417 |
-} |
| 418 |
- |
| 419 |
-multilib_src_configure() { |
| 420 |
- local mycmakeargs=( |
| 421 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
| 422 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
| 423 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
| 424 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
| 425 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
| 426 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
| 427 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
| 428 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
| 429 |
- ) |
| 430 |
- |
| 431 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
| 432 |
- |
| 433 |
- cmake_src_configure |
| 434 |
-} |
| 435 |
- |
| 436 |
-multilib_src_test() { |
| 437 |
- cmake_build test-z3 |
| 438 |
- set -- "${BUILD_DIR}"/test-z3 /a |
| 439 |
- echo "${@}" >&2 |
| 440 |
- "${@}" || die |
| 441 |
-} |
| 442 |
- |
| 443 |
-multilib_src_install_all() { |
| 444 |
- dodoc README.md RELEASE_NOTES |
| 445 |
- use examples && dodoc -r examples |
| 446 |
- use python && python_optimize |
| 447 |
- |
| 448 |
- if use isabelle; then |
| 449 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
| 450 |
- newins - settings <<-EOF |
| 451 |
- Z3_COMPONENT="\$COMPONENT" |
| 452 |
- Z3_HOME="${EPREFIX}/usr/bin" |
| 453 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
| 454 |
- Z3_REMOTE_SOLVER="z3" |
| 455 |
- Z3_VERSION="${PV}" |
| 456 |
- Z3_INSTALLED="yes" |
| 457 |
- Z3_NON_COMMERCIAL="yes" |
| 458 |
- EOF |
| 459 |
- fi |
| 460 |
-} |
| 461 |
- |
| 462 |
-pkg_postinst() { |
| 463 |
- if use isabelle; then |
| 464 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
| 465 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
| 466 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 467 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
| 468 |
- contrib/${P} |
| 469 |
- EOF |
| 470 |
- fi |
| 471 |
- fi |
| 472 |
-} |
| 473 |
- |
| 474 |
-pkg_postrm() { |
| 475 |
- if use isabelle; then |
| 476 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
| 477 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
| 478 |
- # Note: this sed should only match the version of this ebuild |
| 479 |
- # Which is what we want as we do not want to remove the line |
| 480 |
- # of a new Isabelle component being installed during an upgrade. |
| 481 |
- sed -e "/contrib\/${P}/d" \ |
| 482 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 483 |
- fi |
| 484 |
- fi |
| 485 |
- fi |
| 486 |
-} |
| 487 |
|
| 488 |
diff --git a/sci-mathematics/z3/z3-4.9.1-r1.ebuild b/sci-mathematics/z3/z3-4.9.1-r1.ebuild |
| 489 |
deleted file mode 100644 |
| 490 |
index 25e2b9ca2cb8..000000000000 |
| 491 |
--- a/sci-mathematics/z3/z3-4.9.1-r1.ebuild |
| 492 |
+++ /dev/null |
| 493 |
@@ -1,107 +0,0 @@ |
| 494 |
-# Copyright 1999-2022 Gentoo Authors |
| 495 |
-# Distributed under the terms of the GNU General Public License v2 |
| 496 |
- |
| 497 |
-EAPI=8 |
| 498 |
- |
| 499 |
-PYTHON_COMPAT=( python3_{8..10} ) |
| 500 |
- |
| 501 |
-inherit cmake-multilib java-pkg-opt-2 python-single-r1 |
| 502 |
- |
| 503 |
-DESCRIPTION="An efficient theorem prover" |
| 504 |
-HOMEPAGE="https://github.com/Z3Prover/z3/" |
| 505 |
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" |
| 506 |
-S=${WORKDIR}/z3-${P} |
| 507 |
- |
| 508 |
-SLOT="0/$(ver_cut 1-2)" |
| 509 |
-LICENSE="MIT" |
| 510 |
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86" |
| 511 |
-IUSE="doc examples gmp isabelle java python" |
| 512 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
| 513 |
- |
| 514 |
-RDEPEND=" |
| 515 |
- ${PYTHON_DEPS} |
| 516 |
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) |
| 517 |
-" |
| 518 |
-DEPEND=" |
| 519 |
- ${RDEPEND} |
| 520 |
- java? ( >=virtual/jdk-1.8 ) |
| 521 |
-" |
| 522 |
-BDEPEND=" |
| 523 |
- doc? ( app-doc/doxygen[dot] ) |
| 524 |
-" |
| 525 |
- |
| 526 |
-CMAKE_BUILD_TYPE=RelWithDebInfo |
| 527 |
- |
| 528 |
-src_prepare() { |
| 529 |
- cmake_src_prepare |
| 530 |
- java-pkg-opt-2_src_prepare |
| 531 |
-} |
| 532 |
- |
| 533 |
-multilib_src_configure() { |
| 534 |
- local mycmakeargs=( |
| 535 |
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |
| 536 |
- -DZ3_USE_LIB_GMP=$(usex gmp) |
| 537 |
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF |
| 538 |
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) |
| 539 |
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) |
| 540 |
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) |
| 541 |
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF |
| 542 |
- -DZ3_INCLUDE_GIT_HASH=OFF |
| 543 |
- ) |
| 544 |
- |
| 545 |
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) |
| 546 |
- |
| 547 |
- cmake_src_configure |
| 548 |
-} |
| 549 |
- |
| 550 |
-multilib_src_test() { |
| 551 |
- cmake_build test-z3 |
| 552 |
- set -- "${BUILD_DIR}"/test-z3 /a |
| 553 |
- echo "${@}" >&2 |
| 554 |
- "${@}" || die |
| 555 |
-} |
| 556 |
- |
| 557 |
-multilib_src_install_all() { |
| 558 |
- dodoc README.md |
| 559 |
- use examples && dodoc -r examples |
| 560 |
- use python && python_optimize |
| 561 |
- |
| 562 |
- if use isabelle; then |
| 563 |
- insinto /usr/share/Isabelle/contrib/${P}/etc |
| 564 |
- newins - settings <<-EOF |
| 565 |
- Z3_COMPONENT="\$COMPONENT" |
| 566 |
- Z3_HOME="${EPREFIX}/usr/bin" |
| 567 |
- Z3_SOLVER="${EPREFIX}/usr/bin/z3" |
| 568 |
- Z3_REMOTE_SOLVER="z3" |
| 569 |
- Z3_VERSION="${PV}" |
| 570 |
- Z3_INSTALLED="yes" |
| 571 |
- Z3_NON_COMMERCIAL="yes" |
| 572 |
- EOF |
| 573 |
- fi |
| 574 |
-} |
| 575 |
- |
| 576 |
-pkg_postinst() { |
| 577 |
- if use isabelle; then |
| 578 |
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then |
| 579 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
| 580 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 581 |
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die |
| 582 |
- contrib/${P} |
| 583 |
- EOF |
| 584 |
- fi |
| 585 |
- fi |
| 586 |
-} |
| 587 |
- |
| 588 |
-pkg_postrm() { |
| 589 |
- if use isabelle; then |
| 590 |
- if [[ ! ${REPLACING_VERSIONS} ]]; then |
| 591 |
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then |
| 592 |
- # Note: this sed should only match the version of this ebuild |
| 593 |
- # Which is what we want as we do not want to remove the line |
| 594 |
- # of a new Isabelle component being installed during an upgrade. |
| 595 |
- sed -e "/contrib\/${P}/d" \ |
| 596 |
- -i "${ROOT}/etc/isabelle/components" || die |
| 597 |
- fi |
| 598 |
- fi |
| 599 |
- fi |
| 600 |
-} |
Archives