From 6b7242aeca52d303c3921f6b0c7a43c144ddff66 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= Date: Sun, 13 Jul 2025 17:46:59 +0200 Subject: [PATCH] sci-mathematics/z3: Remove old MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michał Górny --- sci-mathematics/z3/Manifest | 3 - sci-mathematics/z3/z3-4.14.1.ebuild | 107 ---------------------------- sci-mathematics/z3/z3-4.15.0.ebuild | 107 ---------------------------- sci-mathematics/z3/z3-4.15.1.ebuild | 107 ---------------------------- 4 files changed, 324 deletions(-) delete mode 100644 sci-mathematics/z3/z3-4.14.1.ebuild delete mode 100644 sci-mathematics/z3/z3-4.15.0.ebuild delete mode 100644 sci-mathematics/z3/z3-4.15.1.ebuild diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index c5a8717d653ab..c698aacd43001 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,4 +1 @@ -DIST z3-4.14.1.tar.gz 5844214 BLAKE2B a9589acaebb46f37c66efe5120c2470b11433b21043103b9584f1cbc129316149c28ffa5328daad16b2ebdb5aa47de9318e892e91f76585f5e12a1828fc5feab SHA512 5850821aa93908c952663bfdcae291a9e8cd00082e0fa6d3ea4ffaebf076116d524660e22934e339da4972f43510adcccba1816be0a3e6bb60ab2c380f5a58ab -DIST z3-4.15.0.tar.gz 5862165 BLAKE2B 202b2957391c69fd82e0f620d7e7ff070bfc0eb7cdb8aca8b5b3def4906daff76b3050f5c03aa21519541f0f9169e076e85a778ba0323b719cbfc7fc5dd0c693 SHA512 1e10d5e09611412b52dfd552d6b15eb1a819354ba074aa3427ce7b7431b0e3fff0f8bb7b84028c52ff7a6f01080e3d9cd1cacdc379c0dad1830fb7b36adeb445 -DIST z3-4.15.1.tar.gz 5885734 BLAKE2B c32ca384ab59e0f67d6f69b08136e7e6c528c2dd57ce45cf8231aeab44260c1872a558947fe63cc9351eef7b529722d8dd54378008096971507b81780be2ea15 SHA512 50af354056b3e796a39f1e53525c1fb4039f4a76c13fbf2ce5d57dc62a941acb5ecc7436a519898ae0af3cc5660bfb50100e0532b3a3b7d6f932308fb639b642 DIST z3-4.15.2.tar.gz 5892526 BLAKE2B 622a89be5345fe0af9d80fb29511611e4a3a9b03d13c0af778afca18eee3d938d2890ebfb410f515d9fa8f307b96b98ac59194088046670c8dc1fac900515297 SHA512 ef752530cec0c08dbc53671c9fd04b6ed4d190905598d3d7dc1cb21dfde97fd0d69962c478ccc60e823718e2c57d9b3ee670f48fd09215597fa44d04b60fb21c diff --git a/sci-mathematics/z3/z3-4.14.1.ebuild b/sci-mathematics/z3/z3-4.14.1.ebuild deleted file mode 100644 index aa0ae4da8a051..0000000000000 --- a/sci-mathematics/z3/z3-4.14.1.ebuild +++ /dev/null @@ -1,107 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{10..13} ) - -inherit cmake-multilib java-pkg-opt-2 python-single-r1 - -DESCRIPTION="An efficient theorem prover" -HOMEPAGE="https://github.com/Z3Prover/z3/" -SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" -S=${WORKDIR}/z3-${P} - -LICENSE="MIT" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv sparc x86" -IUSE="doc examples gmp isabelle java python" -REQUIRED_USE="${PYTHON_REQUIRED_USE}" - -RDEPEND=" - ${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) -" -DEPEND=" - ${RDEPEND} - java? ( >=virtual/jdk-1.8 ) -" -BDEPEND=" - doc? ( app-text/doxygen[dot] ) -" - -CMAKE_BUILD_TYPE=RelWithDebInfo - -src_prepare() { - cmake_src_prepare - java-pkg-opt-2_src_prepare -} - -multilib_src_configure() { - local mycmakeargs=( - -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" - -DZ3_USE_LIB_GMP=$(usex gmp) - -DZ3_ENABLE_EXAMPLE_TARGETS=OFF - -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) - -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) - -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) - -DZ3_INCLUDE_GIT_DESCRIBE=OFF - -DZ3_INCLUDE_GIT_HASH=OFF - ) - - multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) - - cmake_src_configure -} - -multilib_src_test() { - cmake_build test-z3 - set -- "${BUILD_DIR}"/test-z3 /a - echo "${@}" >&2 - "${@}" || die -} - -multilib_src_install_all() { - dodoc README.md - use examples && dodoc -r examples - use python && python_optimize - - if use isabelle; then - insinto /usr/share/Isabelle/contrib/${P}/etc - newins - settings <<-EOF - Z3_COMPONENT="\$COMPONENT" - Z3_HOME="${EPREFIX}/usr/bin" - Z3_SOLVER="${EPREFIX}/usr/bin/z3" - Z3_REMOTE_SOLVER="z3" - Z3_VERSION="${PV}" - Z3_INSTALLED="yes" - Z3_NON_COMMERCIAL="yes" - EOF - fi -} - -pkg_postinst() { - if use isabelle; then - if [[ -f ${ROOT}/etc/isabelle/components ]]; then - sed -e "/contrib\/${PN}-[0-9.]*/d" \ - -i "${ROOT}/etc/isabelle/components" || die - cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die - contrib/${P} - EOF - fi - fi -} - -pkg_postrm() { - if use isabelle; then - if [[ ! ${REPLACING_VERSIONS} ]]; then - if [[ -f "${ROOT}/etc/isabelle/components" ]]; then - # Note: this sed should only match the version of this ebuild - # Which is what we want as we do not want to remove the line - # of a new Isabelle component being installed during an upgrade. - sed -e "/contrib\/${P}/d" \ - -i "${ROOT}/etc/isabelle/components" || die - fi - fi - fi -} diff --git a/sci-mathematics/z3/z3-4.15.0.ebuild b/sci-mathematics/z3/z3-4.15.0.ebuild deleted file mode 100644 index 54bfe61f8d929..0000000000000 --- a/sci-mathematics/z3/z3-4.15.0.ebuild +++ /dev/null @@ -1,107 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{11..13} ) - -inherit cmake-multilib java-pkg-opt-2 python-single-r1 - -DESCRIPTION="An efficient theorem prover" -HOMEPAGE="https://github.com/Z3Prover/z3/" -SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" -S=${WORKDIR}/z3-${P} - -LICENSE="MIT" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv ~sparc x86" -IUSE="doc examples gmp isabelle java python" -REQUIRED_USE="${PYTHON_REQUIRED_USE}" - -RDEPEND=" - ${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) -" -DEPEND=" - ${RDEPEND} - java? ( >=virtual/jdk-1.8 ) -" -BDEPEND=" - doc? ( app-text/doxygen[dot] ) -" - -CMAKE_BUILD_TYPE=RelWithDebInfo - -src_prepare() { - cmake_src_prepare - java-pkg-opt-2_src_prepare -} - -multilib_src_configure() { - local mycmakeargs=( - -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" - -DZ3_USE_LIB_GMP=$(usex gmp) - -DZ3_ENABLE_EXAMPLE_TARGETS=OFF - -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) - -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) - -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) - -DZ3_INCLUDE_GIT_DESCRIBE=OFF - -DZ3_INCLUDE_GIT_HASH=OFF - ) - - multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) - - cmake_src_configure -} - -multilib_src_test() { - cmake_build test-z3 - set -- "${BUILD_DIR}"/test-z3 /a - echo "${@}" >&2 - "${@}" || die -} - -multilib_src_install_all() { - dodoc README.md - use examples && dodoc -r examples - use python && python_optimize - - if use isabelle; then - insinto /usr/share/Isabelle/contrib/${P}/etc - newins - settings <<-EOF - Z3_COMPONENT="\$COMPONENT" - Z3_HOME="${EPREFIX}/usr/bin" - Z3_SOLVER="${EPREFIX}/usr/bin/z3" - Z3_REMOTE_SOLVER="z3" - Z3_VERSION="${PV}" - Z3_INSTALLED="yes" - Z3_NON_COMMERCIAL="yes" - EOF - fi -} - -pkg_postinst() { - if use isabelle; then - if [[ -f ${ROOT}/etc/isabelle/components ]]; then - sed -e "/contrib\/${PN}-[0-9.]*/d" \ - -i "${ROOT}/etc/isabelle/components" || die - cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die - contrib/${P} - EOF - fi - fi -} - -pkg_postrm() { - if use isabelle; then - if [[ ! ${REPLACING_VERSIONS} ]]; then - if [[ -f "${ROOT}/etc/isabelle/components" ]]; then - # Note: this sed should only match the version of this ebuild - # Which is what we want as we do not want to remove the line - # of a new Isabelle component being installed during an upgrade. - sed -e "/contrib\/${P}/d" \ - -i "${ROOT}/etc/isabelle/components" || die - fi - fi - fi -} diff --git a/sci-mathematics/z3/z3-4.15.1.ebuild b/sci-mathematics/z3/z3-4.15.1.ebuild deleted file mode 100644 index 54bfe61f8d929..0000000000000 --- a/sci-mathematics/z3/z3-4.15.1.ebuild +++ /dev/null @@ -1,107 +0,0 @@ -# Copyright 1999-2025 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{11..13} ) - -inherit cmake-multilib java-pkg-opt-2 python-single-r1 - -DESCRIPTION="An efficient theorem prover" -HOMEPAGE="https://github.com/Z3Prover/z3/" -SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" -S=${WORKDIR}/z3-${P} - -LICENSE="MIT" -SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv ~sparc x86" -IUSE="doc examples gmp isabelle java python" -REQUIRED_USE="${PYTHON_REQUIRED_USE}" - -RDEPEND=" - ${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] ) -" -DEPEND=" - ${RDEPEND} - java? ( >=virtual/jdk-1.8 ) -" -BDEPEND=" - doc? ( app-text/doxygen[dot] ) -" - -CMAKE_BUILD_TYPE=RelWithDebInfo - -src_prepare() { - cmake_src_prepare - java-pkg-opt-2_src_prepare -} - -multilib_src_configure() { - local mycmakeargs=( - -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" - -DZ3_USE_LIB_GMP=$(usex gmp) - -DZ3_ENABLE_EXAMPLE_TARGETS=OFF - -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) - -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) - -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) - -DZ3_INCLUDE_GIT_DESCRIBE=OFF - -DZ3_INCLUDE_GIT_HASH=OFF - ) - - multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) - - cmake_src_configure -} - -multilib_src_test() { - cmake_build test-z3 - set -- "${BUILD_DIR}"/test-z3 /a - echo "${@}" >&2 - "${@}" || die -} - -multilib_src_install_all() { - dodoc README.md - use examples && dodoc -r examples - use python && python_optimize - - if use isabelle; then - insinto /usr/share/Isabelle/contrib/${P}/etc - newins - settings <<-EOF - Z3_COMPONENT="\$COMPONENT" - Z3_HOME="${EPREFIX}/usr/bin" - Z3_SOLVER="${EPREFIX}/usr/bin/z3" - Z3_REMOTE_SOLVER="z3" - Z3_VERSION="${PV}" - Z3_INSTALLED="yes" - Z3_NON_COMMERCIAL="yes" - EOF - fi -} - -pkg_postinst() { - if use isabelle; then - if [[ -f ${ROOT}/etc/isabelle/components ]]; then - sed -e "/contrib\/${PN}-[0-9.]*/d" \ - -i "${ROOT}/etc/isabelle/components" || die - cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die - contrib/${P} - EOF - fi - fi -} - -pkg_postrm() { - if use isabelle; then - if [[ ! ${REPLACING_VERSIONS} ]]; then - if [[ -f "${ROOT}/etc/isabelle/components" ]]; then - # Note: this sed should only match the version of this ebuild - # Which is what we want as we do not want to remove the line - # of a new Isabelle component being installed during an upgrade. - sed -e "/contrib\/${P}/d" \ - -i "${ROOT}/etc/isabelle/components" || die - fi - fi - fi -}