[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 4c5de839f0162500802104abc01bb2b6d4a6d84f
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 23 14:33:28 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 23 14:36:05 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c5de839
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.12.6.ebuild | 119
2 files changed, 120 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index be73339fd4be..cd747a0a8588 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1 @@
-DIST z3-4.12.6.tar.gz 5492517 BLAKE2B
721db0881ec77112ca0461897fa01f2b7e9f8748976f54d1b0c36acc583f74c175d0002cf46261f87c15b2614832700c1e5f94a199767a945041950cc3d9048d
SHA512
10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
DIST z3-4.13.0.tar.gz 5520232 BLAKE2B
0889c03991311c46c361f269b85fb316c0b4be5cee84f1bb420ef640876058431fe5ec00f58a3dc9377ed3a2ea1cd908a8d9731f9575cf0e4a819fe1f50be670
SHA512
8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
deleted file mode 100644
index 64ffaff192f5..
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ /dev/null
@@ -1,119 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-inherit cmake-multilib flag-o-matic 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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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
-}
-
-src_configure() {
- # -Werror=strict-aliasing
- # https://bugs.gentoo.org/879327
- # https://github.com/Z3Prover/z3/issues/7143
- #
- # Do not trust it with LTO either.
- append-flags -fno-strict-aliasing
- filter-lto
-
- cmake-multilib_src_configure
-}
-
-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
- #
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 53b6756ae13b85cebe5402e369947d45f1fc00da
Author: Sam James gentoo org>
AuthorDate: Sat Mar 23 13:38:37 2024 +
Commit: Sam James gentoo org>
CommitDate: Sat Mar 23 13:38:37 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=53b6756a
sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
index 3ebd68cb57a5..772a73d1b83b 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9ffc2a33680b37401c4c533e4c9f589173376c7f
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 23 11:52:45 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 23 11:52:45 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ffc2a33
sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
index b5510680bb4a..5a4fa94c87b8 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: dfe57c13798bf9c23bf5b3720874d7c3cdf62acb
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 23 11:52:46 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 23 11:52:46 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dfe57c13
sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
index 5a4fa94c87b8..34a506c5f142 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 3e2c18ad90b4b820dddf02e504ad1794797eca63
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 23 11:52:49 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 23 11:52:49 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2c18ad
sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
index 8d44d3c5c345..3ebd68cb57a5 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: a1fff7ab232840f25ff1a1fc0d4142d84dec149a
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 23 11:52:43 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 23 11:52:43 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a1fff7ab
sci-mathematics/z3: Stabilize 4.13.0 arm, #927602
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
index ea1e9651b9f5..b5510680bb4a 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 6a764d002e5125cc9a177ca1855ddeaae210d590
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 23 11:52:47 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 23 11:52:47 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6a764d00
sci-mathematics/z3: Stabilize 4.13.0 x86, #927602
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
index 34a506c5f142..8d44d3c5c345 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: def898d4e28164540b57c266b44f1a758e8d5765
Author: Michał Górny gentoo org>
AuthorDate: Sat Mar 16 18:08:26 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Mar 16 18:08:26 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=def898d4
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.12.5.ebuild | 119
2 files changed, 120 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 89468d2ba859..be73339fd4be 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,2 @@
-DIST z3-4.12.5.tar.gz 5491803 BLAKE2B
9ad626386c73dea23b4a304312d5381be76b4c6b9aab4850568e4badd2a404cc7bf3f379490577b3acf8935f5bf8b39e241a8f85ed02819eb6d43785a9286e4a
SHA512
b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
DIST z3-4.12.6.tar.gz 5492517 BLAKE2B
721db0881ec77112ca0461897fa01f2b7e9f8748976f54d1b0c36acc583f74c175d0002cf46261f87c15b2614832700c1e5f94a199767a945041950cc3d9048d
SHA512
10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
DIST z3-4.13.0.tar.gz 5520232 BLAKE2B
0889c03991311c46c361f269b85fb316c0b4be5cee84f1bb420ef640876058431fe5ec00f58a3dc9377ed3a2ea1cd908a8d9731f9575cf0e4a819fe1f50be670
SHA512
8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
deleted file mode 100644
index 64ffaff192f5..
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ /dev/null
@@ -1,119 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-inherit cmake-multilib flag-o-matic 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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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
-}
-
-src_configure() {
- # -Werror=strict-aliasing
- # https://bugs.gentoo.org/879327
- # https://github.com/Z3Prover/z3/issues/7143
- #
- # Do not trust it with LTO either.
- append-flags -fno-strict-aliasing
- filter-lto
-
- cmake-multilib_src_configure
-}
-
-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
-}
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 1dbd73f51f27c74ea61ea13fb315e0570115907d
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Mar 16 17:16:00 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Mar 16 17:16:00 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1dbd73f5
sci-mathematics/z3: Stabilize 4.12.6 x86, #927109
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.6.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index af41d0e98184..64ffaff192f5 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 61b9ccd8709dc7deb5763dee9ab0647563648748
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Mar 16 17:08:22 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Mar 16 17:08:22 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61b9ccd8
sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.6.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index 1c49cc7cd191..af41d0e98184 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: de4a589e0f47b70f56c671fa202138bc92382009
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Mar 16 16:52:23 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Mar 16 16:52:23 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de4a589e
sci-mathematics/z3: Stabilize 4.12.6 arm, #927109
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.6.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index dc028b9de0d9..1c49cc7cd191 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 060936f083d55ba88f8144ab991b863e6a0c7e3b
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Mar 16 16:35:25 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Mar 16 16:35:25 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=060936f0
sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.6.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index a15011922f35..dc028b9de0d9 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 2bd1f0c8ebcec1ececd904b91a7fcfb0dda9ed92
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Mar 16 11:48:51 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Mar 16 11:48:51 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bd1f0c8
sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.6.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index 6aea8fdab7e4..a15011922f35 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 3bbb876aec2e76b00584828d16cfde3866c259a0
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Mar 16 10:22:56 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Mar 16 10:22:56 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3bbb876a
sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.6.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index f7df502b3d41..6aea8fdab7e4 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: bfb3e8491bc8653869bd247e52ae4aacd383a109
Author: Michał Górny gentoo org>
AuthorDate: Fri Mar 8 04:34:21 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Mar 8 05:40:28 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bfb3e849
sci-mathematics/z3: Bump to 4.13.0
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.13.0.ebuild | 119
2 files changed, 120 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index a22863ee41d3..89468d2ba859 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1,3 @@
DIST z3-4.12.5.tar.gz 5491803 BLAKE2B
9ad626386c73dea23b4a304312d5381be76b4c6b9aab4850568e4badd2a404cc7bf3f379490577b3acf8935f5bf8b39e241a8f85ed02819eb6d43785a9286e4a
SHA512
b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
DIST z3-4.12.6.tar.gz 5492517 BLAKE2B
721db0881ec77112ca0461897fa01f2b7e9f8748976f54d1b0c36acc583f74c175d0002cf46261f87c15b2614832700c1e5f94a199767a945041950cc3d9048d
SHA512
10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
+DIST z3-4.13.0.tar.gz 5520232 BLAKE2B
0889c03991311c46c361f269b85fb316c0b4be5cee84f1bb420ef640876058431fe5ec00f58a3dc9377ed3a2ea1cd908a8d9731f9575cf0e4a819fe1f50be670
SHA512
8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild
b/sci-mathematics/z3/z3-4.13.0.ebuild
new file mode 100644
index ..f5b80b16a7e7
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -0,0 +1,119 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+
+inherit cmake-multilib flag-o-matic 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 ~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
+}
+
+src_configure() {
+ # -Werror=strict-aliasing
+ # https://bugs.gentoo.org/879327
+ # https://github.com/Z3Prover/z3/issues/7143
+ #
+ # Do not trust it with LTO either.
+ append-flags -fno-strict-aliasing
+ filter-lto
+
+ cmake-multilib_src_configure
+}
+
+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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 83e5cbb7ba3a7d3973cca29465fac8b777f96cc3
Author: Eli Schwartz gmail com>
AuthorDate: Mon Mar 4 03:31:51 2024 +
Commit: Sam James gentoo org>
CommitDate: Mon Mar 4 04:14:11 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83e5cbb7
sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe
The strict-aliasing violation happens only in a test program. However,
that does mean we cannot test that z3 works when built with LTO...
Closes: https://bugs.gentoo.org/879327
Signed-off-by: Eli Schwartz gmail.com>
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 14 +-
sci-mathematics/z3/z3-4.12.6.ebuild | 14 +-
2 files changed, 26 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 646bf2695514..64ffaff192f5 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -5,7 +5,7 @@ EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
-inherit cmake-multilib java-pkg-opt-2 python-single-r1
+inherit cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1
DESCRIPTION="An efficient theorem prover"
HOMEPAGE="https://github.com/Z3Prover/z3/;
@@ -37,6 +37,18 @@ src_prepare() {
java-pkg-opt-2_src_prepare
}
+src_configure() {
+ # -Werror=strict-aliasing
+ # https://bugs.gentoo.org/879327
+ # https://github.com/Z3Prover/z3/issues/7143
+ #
+ # Do not trust it with LTO either.
+ append-flags -fno-strict-aliasing
+ filter-lto
+
+ cmake-multilib_src_configure
+}
+
multilib_src_configure() {
local mycmakeargs=(
-DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
index 951e88b0875b..f7df502b3d41 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -5,7 +5,7 @@ EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
-inherit cmake-multilib java-pkg-opt-2 python-single-r1
+inherit cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1
DESCRIPTION="An efficient theorem prover"
HOMEPAGE="https://github.com/Z3Prover/z3/;
@@ -37,6 +37,18 @@ src_prepare() {
java-pkg-opt-2_src_prepare
}
+src_configure() {
+ # -Werror=strict-aliasing
+ # https://bugs.gentoo.org/879327
+ # https://github.com/Z3Prover/z3/issues/7143
+ #
+ # Do not trust it with LTO either.
+ append-flags -fno-strict-aliasing
+ filter-lto
+
+ cmake-multilib_src_configure
+}
+
multilib_src_configure() {
local mycmakeargs=(
-DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 182cc8d76d9401ec285cb738c7e1539f21f12044
Author: Michał Górny gentoo org>
AuthorDate: Mon Feb 26 17:20:44 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Mon Feb 26 17:48:18 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=182cc8d7
sci-mathematics/z3: Bump to 4.12.6
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.12.6.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 3c606e0a3592..a22863ee41d3 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.12.5.tar.gz 5491803 BLAKE2B
9ad626386c73dea23b4a304312d5381be76b4c6b9aab4850568e4badd2a404cc7bf3f379490577b3acf8935f5bf8b39e241a8f85ed02819eb6d43785a9286e4a
SHA512
b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
+DIST z3-4.12.6.tar.gz 5492517 BLAKE2B
721db0881ec77112ca0461897fa01f2b7e9f8748976f54d1b0c36acc583f74c175d0002cf46261f87c15b2614832700c1e5f94a199767a945041950cc3d9048d
SHA512
10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild
b/sci-mathematics/z3/z3-4.12.6.ebuild
new file mode 100644
index ..951e88b0875b
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: eba970bf2afb3e4a0436b84d0340f2aef2b59a83
Author: Michał Górny gentoo org>
AuthorDate: Fri Feb 9 03:35:39 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Feb 9 03:35:39 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eba970bf
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.12.4.ebuild | 107
2 files changed, 108 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 578a98654a52..3c606e0a3592 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1 @@
-DIST z3-4.12.4.tar.gz 5471960 BLAKE2B
9c8a65a6632e673e9c7da2ee0e8c8f7d145b906a1c6bdd6df9826fabc31e1c773d3512317ae6278b8a5cb40c580eaff98c37512fb2a2ad17c1c5ada90e0f8026
SHA512
fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c0ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
DIST z3-4.12.5.tar.gz 5491803 BLAKE2B
9ad626386c73dea23b4a304312d5381be76b4c6b9aab4850568e4badd2a404cc7bf3f379490577b3acf8935f5bf8b39e241a8f85ed02819eb6d43785a9286e4a
SHA512
b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
deleted file mode 100644
index 646bf2695514..
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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
-
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: b1243a69cadbff37d4946edf5db328c7448a57aa
Author: Sam James gentoo org>
AuthorDate: Fri Feb 9 01:03:32 2024 +
Commit: Sam James gentoo org>
CommitDate: Fri Feb 9 01:03:32 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b1243a69
sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 7d5d395833c0..646bf2695514 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 98034af412b30e4cefb652658ef3417e48d68c90
Author: Michał Górny gentoo org>
AuthorDate: Thu Feb 8 14:48:14 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Feb 8 14:48:14 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=98034af4
sci-mathematics/z3: Stabilize 4.12.5 arm, #924099
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 9aa7b821d824..7d5d395833c0 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: b60589748d285e0cd9c1fbef38d77251c07dc6c1
Author: Michał Górny gentoo org>
AuthorDate: Thu Feb 8 14:48:12 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Feb 8 14:48:12 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6058974
sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 1df16830e1b8..9aa7b821d824 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
+KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: a95e232f64464d8a728f6466d5c32231cff153d2
Author: Michał Górny gentoo org>
AuthorDate: Thu Feb 8 14:42:35 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Feb 8 14:42:35 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a95e232f
sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 5b1ad526f561..1df16830e1b8 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: fba26780bf79cd6506dda70eaf33d1c36dbeb428
Author: Michał Górny gentoo org>
AuthorDate: Thu Feb 8 14:42:34 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Feb 8 14:42:34 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fba26780
sci-mathematics/z3: Stabilize 4.12.5 x86, #924099
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 8b86bfc9b037..5b1ad526f561 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 53d86f766f215ec52dd1327fbe96aab38f6ecdd8
Author: Michał Górny gentoo org>
AuthorDate: Thu Feb 8 14:42:33 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Feb 8 14:42:33 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=53d86f76
sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
index 951e88b0875b..8b86bfc9b037 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 48c31b4422c6a93c57332a62c524c97987dc
Author: Michał Górny gentoo org>
AuthorDate: Mon Jan 22 03:23:49 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Mon Jan 22 03:32:11 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48c31b43
sci-mathematics/z3: Bump to 4.12.5
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.12.5.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 320fe4d339f0..578a98654a52 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.12.4.tar.gz 5471960 BLAKE2B
9c8a65a6632e673e9c7da2ee0e8c8f7d145b906a1c6bdd6df9826fabc31e1c773d3512317ae6278b8a5cb40c580eaff98c37512fb2a2ad17c1c5ada90e0f8026
SHA512
fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c0ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
+DIST z3-4.12.5.tar.gz 5491803 BLAKE2B
9ad626386c73dea23b4a304312d5381be76b4c6b9aab4850568e4badd2a404cc7bf3f379490577b3acf8935f5bf8b39e241a8f85ed02819eb6d43785a9286e4a
SHA512
b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild
b/sci-mathematics/z3/z3-4.12.5.ebuild
new file mode 100644
index ..951e88b0875b
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 97f8fea6d2174eee31a67e19e9ddb51f00dfd4da
Author: Michał Górny gentoo org>
AuthorDate: Sat Jan 6 18:48:31 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Jan 6 19:49:47 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=97f8fea6
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.12.3.ebuild | 111
2 files changed, 112 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index dd7b34d080d2..320fe4d339f0 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1 @@
-DIST z3-4.12.3.tar.gz 5471745 BLAKE2B
ce14a13a0af651b414cd164658b5953d5ea398201fc299e5073690caa9625b23ffbdce33a2f220f1420570b1b21ace6be48486c2c333251325b7acb5ca6e0d43
SHA512
06d667b86e2d941e8cbcafe508392f5ef9307354a97428107e26ac7ef86246a86a0096fbf92034f2a3e47efe41f95ddc74460c2c4797aadec79e14020737afcb
DIST z3-4.12.4.tar.gz 5471960 BLAKE2B
9c8a65a6632e673e9c7da2ee0e8c8f7d145b906a1c6bdd6df9826fabc31e1c773d3512317ae6278b8a5cb40c580eaff98c37512fb2a2ad17c1c5ada90e0f8026
SHA512
fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c0ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
deleted file mode 100644
index 370cea5f3867..
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ /dev/null
@@ -1,111 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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-doc/doxygen[dot] )
-"
-
-CMAKE_BUILD_TYPE=RelWithDebInfo
-
-src_prepare() {
- # https://github.com/Z3Prover/z3/pull/7042
- sed -e 's:importlib_resources:importlib.resources:' \
- -i scripts/update_api.py || die
-
- 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.
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 711263efec01374ecc4880621a1f6b62bd9fa6b3
Author: Michał Górny gentoo org>
AuthorDate: Sat Jan 6 18:46:01 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Jan 6 18:46:01 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=711263ef
sci-mathematics/z3: Stabilize 4.12.4 x86, #921493
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
index 442da3bb9786..73a9f93f28b0 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: fc40bb832ef3c4853621e1050c0a34cf1fa96e9c
Author: Michał Górny gentoo org>
AuthorDate: Sat Jan 6 18:46:03 2024 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Jan 6 18:46:03 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc40bb83
sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
index 73a9f93f28b0..cf753fc55f33 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 917ea7be928a522d4661cc504b5cbacff2d4c469
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Jan 6 12:22:36 2024 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Jan 6 12:22:36 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=917ea7be
sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
index 6b4f366a3217..442da3bb9786 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: fec082fd9d8a05015f3a725df03037e18a984ccf
Author: Sam James gentoo org>
AuthorDate: Sat Jan 6 11:53:51 2024 +
Commit: Sam James gentoo org>
CommitDate: Sat Jan 6 11:53:51 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fec082fd
sci-mathematics/z3: Stabilize 4.12.4 arm, #921493
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.4.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
index 682cebf2cb78..4c3ffaad89e1 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 521867baed9019991c5495901d534b89b199c2ab
Author: Sam James gentoo org>
AuthorDate: Sat Jan 6 11:53:53 2024 +
Commit: Sam James gentoo org>
CommitDate: Sat Jan 6 11:53:53 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=521867ba
sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
index ec341d36962d..6b4f366a3217 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: ca524c6caf3f6c3c2632089fb931f08afd609d2b
Author: Sam James gentoo org>
AuthorDate: Sat Jan 6 11:53:52 2024 +
Commit: Sam James gentoo org>
CommitDate: Sat Jan 6 11:53:52 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ca524c6c
sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
index 4c3ffaad89e1..ec341d36962d 100644
--- a/sci-mathematics/z3/z3-4.12.4.ebuild
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/files/, sci-mathematics/z3/
commit: d613e1c4dfeb3e1afdb462400b50ee086a04d6af
Author: Michał Górny gentoo org>
AuthorDate: Thu Dec 21 10:44:47 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Dec 21 10:47:48 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d613e1c4
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch | 12 ---
sci-mathematics/z3/z3-4.12.2.ebuild | 112
3 files changed, 125 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 4747641ffda5..dd7b34d080d2 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,2 @@
-DIST z3-4.12.2.tar.gz 5401038 BLAKE2B
e83bc4067360888da1be20dffbbd4b060118080e1f8a1b0424c169ad1aaaccf5ab645960418db7ce544829c7831da90edb0e38003d7a0261df699c9bd69ab1f0
SHA512
375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
DIST z3-4.12.3.tar.gz 5471745 BLAKE2B
ce14a13a0af651b414cd164658b5953d5ea398201fc299e5073690caa9625b23ffbdce33a2f220f1420570b1b21ace6be48486c2c333251325b7acb5ca6e0d43
SHA512
06d667b86e2d941e8cbcafe508392f5ef9307354a97428107e26ac7ef86246a86a0096fbf92034f2a3e47efe41f95ddc74460c2c4797aadec79e14020737afcb
DIST z3-4.12.4.tar.gz 5471960 BLAKE2B
9c8a65a6632e673e9c7da2ee0e8c8f7d145b906a1c6bdd6df9826fabc31e1c773d3512317ae6278b8a5cb40c580eaff98c37512fb2a2ad17c1c5ada90e0f8026
SHA512
fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c0ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
diff --git a/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
b/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
deleted file mode 100644
index 74f8abed1e3b..
--- a/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff --git a/src/util/tptr.h b/src/util/tptr.h
-index 6213b2efa40..2a35af5353d 100644
a/src/util/tptr.h
-+++ b/src/util/tptr.h
-@@ -20,6 +20,7 @@ Revision History:
- #pragma once
-
- #include "util/machine.h"
-+#include
-
- #define TAG_SHIFTPTR_ALIGNMENT
- #define ALIGNMENT_VALUE (1 << PTR_ALIGNMENT)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
deleted file mode 100644
index 8be932dc18ab..
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ /dev/null
@@ -1,112 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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-doc/doxygen[dot] )
-"
-
-CMAKE_BUILD_TYPE=RelWithDebInfo
-
-PATCHES=(
- #
https://github.com/Z3Prover/z3/commit/520e692a43c41e8981eb091494bef0297ecbe3c6
- "${FILESDIR}/${P}-gcc-13.patch"
-)
-
-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"
-
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 8f1836d3ccab6b7ab5576ed5eea3d009d49c4b58
Author: Arthur Zamarin gentoo org>
AuthorDate: Thu Dec 21 07:26:25 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Thu Dec 21 07:26:25 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f1836d3
sci-mathematics/z3: Stabilize 4.12.3 x86, #920427
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
index 578fc1f057ef..370cea5f3867 100644
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 49ca6b8992dd529350917cd8ffa68c7bd67a2b90
Author: Sam James gentoo org>
AuthorDate: Thu Dec 21 06:50:47 2023 +
Commit: Sam James gentoo org>
CommitDate: Thu Dec 21 06:50:47 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=49ca6b89
sci-mathematics/z3: Stabilize 4.12.3 arm, #920427
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
index e20c8740c7f1..beeaefe62f52 100644
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 7d3e7d6c6a3dbb38f989c55512db766223725c24
Author: Sam James gentoo org>
AuthorDate: Thu Dec 21 06:50:48 2023 +
Commit: Sam James gentoo org>
CommitDate: Thu Dec 21 06:50:48 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7d3e7d6c
sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
index beeaefe62f52..578fc1f057ef 100644
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 52d1002db0b21ed32e70eb13708578a34678bda4
Author: Sam James gentoo org>
AuthorDate: Thu Dec 21 06:50:44 2023 +
Commit: Sam James gentoo org>
CommitDate: Thu Dec 21 06:50:44 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=52d1002d
sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
index c3662f566d02..4650fe369b7a 100644
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: ae966b8123528ff68c99ef75a56dc078db914f36
Author: Sam James gentoo org>
AuthorDate: Thu Dec 21 06:50:45 2023 +
Commit: Sam James gentoo org>
CommitDate: Thu Dec 21 06:50:45 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae966b81
sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
index 4650fe369b7a..2460ea79713d 100644
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 3dc9dff42b2030677e627f7dea2c7797e2e35fc9
Author: Sam James gentoo org>
AuthorDate: Thu Dec 21 06:50:46 2023 +
Commit: Sam James gentoo org>
CommitDate: Thu Dec 21 06:50:46 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3dc9dff4
sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.12.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
index 2460ea79713d..e20c8740c7f1 100644
--- a/sci-mathematics/z3/z3-4.12.3.ebuild
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 2802958294e4332e9f41aacc3111920df59b20b4
Author: Michał Górny gentoo org>
AuthorDate: Thu Dec 7 04:06:27 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Dec 7 04:06:27 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=28029582
sci-mathematics/z3: Bump to 4.12.4
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.12.4.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 2195887b9d44..4747641ffda5 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1,3 @@
DIST z3-4.12.2.tar.gz 5401038 BLAKE2B
e83bc4067360888da1be20dffbbd4b060118080e1f8a1b0424c169ad1aaaccf5ab645960418db7ce544829c7831da90edb0e38003d7a0261df699c9bd69ab1f0
SHA512
375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
DIST z3-4.12.3.tar.gz 5471745 BLAKE2B
ce14a13a0af651b414cd164658b5953d5ea398201fc299e5073690caa9625b23ffbdce33a2f220f1420570b1b21ace6be48486c2c333251325b7acb5ca6e0d43
SHA512
06d667b86e2d941e8cbcafe508392f5ef9307354a97428107e26ac7ef86246a86a0096fbf92034f2a3e47efe41f95ddc74460c2c4797aadec79e14020737afcb
+DIST z3-4.12.4.tar.gz 5471960 BLAKE2B
9c8a65a6632e673e9c7da2ee0e8c8f7d145b906a1c6bdd6df9826fabc31e1c773d3512317ae6278b8a5cb40c580eaff98c37512fb2a2ad17c1c5ada90e0f8026
SHA512
fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c0ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
diff --git a/sci-mathematics/z3/z3-4.12.4.ebuild
b/sci-mathematics/z3/z3-4.12.4.ebuild
new file mode 100644
index ..682cebf2cb78
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.4.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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-doc/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
+ #
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 02848e7dcd672f653df141391632e53b1947033d
Author: Michał Górny gentoo org>
AuthorDate: Tue Dec 5 13:08:30 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Tue Dec 5 14:32:37 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=02848e7d
sci-mathematics/z3: Bump to 4.12.3
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.12.3.ebuild | 111
2 files changed, 112 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 05c33c5e88c0..2195887b9d44 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.12.2.tar.gz 5401038 BLAKE2B
e83bc4067360888da1be20dffbbd4b060118080e1f8a1b0424c169ad1aaaccf5ab645960418db7ce544829c7831da90edb0e38003d7a0261df699c9bd69ab1f0
SHA512
375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
+DIST z3-4.12.3.tar.gz 5471745 BLAKE2B
ce14a13a0af651b414cd164658b5953d5ea398201fc299e5073690caa9625b23ffbdce33a2f220f1420570b1b21ace6be48486c2c333251325b7acb5ca6e0d43
SHA512
06d667b86e2d941e8cbcafe508392f5ef9307354a97428107e26ac7ef86246a86a0096fbf92034f2a3e47efe41f95ddc74460c2c4797aadec79e14020737afcb
diff --git a/sci-mathematics/z3/z3-4.12.3.ebuild
b/sci-mathematics/z3/z3-4.12.3.ebuild
new file mode 100644
index ..c3662f566d02
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.3.ebuild
@@ -0,0 +1,111 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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-doc/doxygen[dot] )
+"
+
+CMAKE_BUILD_TYPE=RelWithDebInfo
+
+src_prepare() {
+ # https://github.com/Z3Prover/z3/pull/7042
+ sed -e 's:importlib_resources:importlib.resources:' \
+ -i scripts/update_api.py || die
+
+ 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 2b22821919fb9cd9f9230044f2027629b1837c10
Author: Michał Górny gentoo org>
AuthorDate: Sat Dec 2 11:33:12 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Dec 2 12:02:29 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2b228219
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.12.1.ebuild | 107
2 files changed, 108 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 6092b10eed66..05c33c5e88c0 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1 @@
-DIST z3-4.12.1.tar.gz 5470095 BLAKE2B
8840b2c3bea5ae409f52bd2db931f7c0d88f86e154c2bf7d1bed34a0c7b72a5596a20467259f37ad9cae3c7e24d2e04ddebe8dd539a2e1a1ed6445d59b6cef28
SHA512
031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c
DIST z3-4.12.2.tar.gz 5401038 BLAKE2B
e83bc4067360888da1be20dffbbd4b060118080e1f8a1b0424c169ad1aaaccf5ab645960418db7ce544829c7831da90edb0e38003d7a0261df699c9bd69ab1f0
SHA512
375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
deleted file mode 100644
index 2144f15912a8..
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{9..11} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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-doc/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
-
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 3df8ac512a34c43944ea1b3ea54bed8c9eb41f4e
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Dec 2 11:30:55 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Dec 2 11:30:55 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3df8ac51
sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
index 7b38d7b3a95e..8be932dc18ab 100644
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 04dce19cc0450f79e0c033e0d756e3257a7b0818
Author: Michał Górny gentoo org>
AuthorDate: Sat Dec 2 10:42:58 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Dec 2 10:42:58 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04dce19c
sci-mathematics/z3: Stabilize 4.12.2 x86, #919030
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/z3-4.12.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
index 52933e598e58..7b38d7b3a95e 100644
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 95d104e5008f3dcc680a9ed64c348107ac0d70af
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Dec 2 10:35:28 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Dec 2 10:35:28 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=95d104e5
sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
index 53793b717396..52933e598e58 100644
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 1965d3c302cb58ee2b3fe518ad80d1a8edd182c5
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Dec 2 10:16:15 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Dec 2 10:16:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1965d3c3
sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
index 130ffcdb15f0..53793b717396 100644
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9f0b6fa9720cc03a824b31650479a155c6919831
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Dec 2 10:13:44 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Dec 2 10:13:44 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f0b6fa9
sci-mathematics/z3: Stabilize 4.12.2 arm64, #919030
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
index d1cb32391790..23a87be43208 100644
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 7610864cab9515b0b097d141f48ab53dcbd9d5a2
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Dec 2 10:13:45 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Dec 2 10:13:45 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7610864c
sci-mathematics/z3: Stabilize 4.12.2 arm, #919030
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
index 23a87be43208..130ffcdb15f0 100644
--- a/sci-mathematics/z3/z3-4.12.2.ebuild
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/files/, sci-mathematics/z3/
commit: b8f53371b9ad8919b2b78d2abf7b713a214726b3
Author: Andrew Ammerlaan gentoo org>
AuthorDate: Mon Nov 6 11:53:59 2023 +
Commit: Andrew Ammerlaan gentoo org>
CommitDate: Mon Nov 6 11:54:12 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b8f53371
sci-mathematics/z3: add 4.12.2
Closes: https://bugs.gentoo.org/916710
Signed-off-by: Andrew Ammerlaan gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch | 12 +++
sci-mathematics/z3/z3-4.12.2.ebuild | 112
3 files changed, 125 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 1a076bbe3a11..6092b10eed66 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.12.1.tar.gz 5470095 BLAKE2B
8840b2c3bea5ae409f52bd2db931f7c0d88f86e154c2bf7d1bed34a0c7b72a5596a20467259f37ad9cae3c7e24d2e04ddebe8dd539a2e1a1ed6445d59b6cef28
SHA512
031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c
+DIST z3-4.12.2.tar.gz 5401038 BLAKE2B
e83bc4067360888da1be20dffbbd4b060118080e1f8a1b0424c169ad1aaaccf5ab645960418db7ce544829c7831da90edb0e38003d7a0261df699c9bd69ab1f0
SHA512
375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
diff --git a/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
b/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
new file mode 100644
index ..74f8abed1e3b
--- /dev/null
+++ b/sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch
@@ -0,0 +1,12 @@
+diff --git a/src/util/tptr.h b/src/util/tptr.h
+index 6213b2efa40..2a35af5353d 100644
+--- a/src/util/tptr.h
b/src/util/tptr.h
+@@ -20,6 +20,7 @@ Revision History:
+ #pragma once
+
+ #include "util/machine.h"
++#include
+
+ #define TAG_SHIFTPTR_ALIGNMENT
+ #define ALIGNMENT_VALUE (1 << PTR_ALIGNMENT)
diff --git a/sci-mathematics/z3/z3-4.12.2.ebuild
b/sci-mathematics/z3/z3-4.12.2.ebuild
new file mode 100644
index ..d1cb32391790
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.2.ebuild
@@ -0,0 +1,112 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..12} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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-doc/doxygen[dot] )
+"
+
+CMAKE_BUILD_TYPE=RelWithDebInfo
+
+PATCHES=(
+ #
https://github.com/Z3Prover/z3/commit/520e692a43c41e8981eb091494bef0297ecbe3c6
+ "${FILESDIR}/${P}-gcc-13.patch"
+)
+
+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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 7894c9f5a9e37612147f6fb98605fb1a3455b101
Author: Michał Górny gentoo org>
AuthorDate: Sat Apr 8 18:41:43 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Apr 8 18:45:13 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7894c9f5
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 2 -
sci-mathematics/z3/z3-4.11.2.ebuild | 107
sci-mathematics/z3/z3-4.12.0.ebuild | 107
3 files changed, 216 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 6c6b8418d1c9..1a076bbe3a11 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1 @@
-DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
-DIST z3-4.12.0.tar.gz 5468532 BLAKE2B
229e8fb19cfb377f3ec9a728254c913a582ee16cfafaa8eb66683df01fc8320b527e493fe692fa85029360f6065d5a068ccbf337cdaf4b8f492ac8a2c3674063
SHA512
53a51c8304fa4356d13293f68b14d9d9eef57a0771c6698d38aea5fac62c4e52c41ff003cb6d771a32645d2aa4ef59be5f792f2efbee927d06ac8280094976e5
DIST z3-4.12.1.tar.gz 5470095 BLAKE2B
8840b2c3bea5ae409f52bd2db931f7c0d88f86e154c2bf7d1bed34a0c7b72a5596a20467259f37ad9cae3c7e24d2e04ddebe8dd539a2e1a1ed6445d59b6cef28
SHA512
031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
deleted file mode 100644
index 2144f15912a8..
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{9..11} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~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-doc/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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: a9d717c01fc1771900ad09a952d1a7a0de290fea
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Apr 8 17:57:07 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Apr 8 17:57:07 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a9d717c0
sci-mathematics/z3: Stabilize 4.12.1 x86, #904033
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
index 9fdf18658741..2144f15912a8 100644
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 2d4a46e202c027dd599e76794b2176ef56832d9b
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Apr 8 17:50:05 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Apr 8 17:50:05 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d4a46e2
sci-mathematics/z3: Stabilize 4.12.1 ppc64, #904033
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
index 6911b2e5a525..9fdf18658741 100644
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9b19dc8c6f475f26ba287258acb88d55280d20eb
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Apr 8 17:42:43 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Apr 8 17:42:43 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b19dc8c
sci-mathematics/z3: Stabilize 4.12.1 amd64, #904033
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
index 400ff8a13858..6911b2e5a525 100644
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9c409763021e7bada2e01aeb4aecd4cebddc4c08
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Apr 8 17:37:30 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Apr 8 17:37:30 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9c409763
sci-mathematics/z3: Stabilize 4.12.1 sparc, #904033
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
index bfab7e9467cd..400ff8a13858 100644
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 4279104bb1d98c27cbee84658ea44813d17e
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Apr 8 17:30:45 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Apr 8 17:30:45 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4279104b
sci-mathematics/z3: Stabilize 4.12.1 arm, #904033
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
index 20451b2cb677..bfab7e9467cd 100644
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: ba3aef4a3ad35146b14fd0a7916f0109000b29cd
Author: Arthur Zamarin gentoo org>
AuthorDate: Sat Apr 8 16:59:06 2023 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Sat Apr 8 16:59:06 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ba3aef4a
sci-mathematics/z3: Stabilize 4.12.1 arm64, #904033
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.12.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
index 56bcff6924d7..20451b2cb677 100644
--- a/sci-mathematics/z3/z3-4.12.1.ebuild
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: deb859a8754a5a29e0f92cb12e55286879895b33
Author: Michał Górny gentoo org>
AuthorDate: Thu Jan 19 05:33:10 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Jan 19 06:08:25 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=deb859a8
sci-mathematics/z3: Bump to 4.12.1
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.12.1.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 9871e2684d1d..6c6b8418d1c9 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1,3 @@
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
DIST z3-4.12.0.tar.gz 5468532 BLAKE2B
229e8fb19cfb377f3ec9a728254c913a582ee16cfafaa8eb66683df01fc8320b527e493fe692fa85029360f6065d5a068ccbf337cdaf4b8f492ac8a2c3674063
SHA512
53a51c8304fa4356d13293f68b14d9d9eef57a0771c6698d38aea5fac62c4e52c41ff003cb6d771a32645d2aa4ef59be5f792f2efbee927d06ac8280094976e5
+DIST z3-4.12.1.tar.gz 5470095 BLAKE2B
8840b2c3bea5ae409f52bd2db931f7c0d88f86e154c2bf7d1bed34a0c7b72a5596a20467259f37ad9cae3c7e24d2e04ddebe8dd539a2e1a1ed6445d59b6cef28
SHA512
031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c
diff --git a/sci-mathematics/z3/z3-4.12.1.ebuild
b/sci-mathematics/z3/z3-4.12.1.ebuild
new file mode 100644
index ..56bcff6924d7
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.1.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{9..11} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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-doc/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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 1f168c9cb484ee25380d129f9ae3cf38f6fc4463
Author: Michał Górny gentoo org>
AuthorDate: Sun Jan 15 06:04:21 2023 +
Commit: Michał Górny gentoo org>
CommitDate: Sun Jan 15 07:02:55 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1f168c9c
sci-mathematics/z3: Bump to 4.12.0
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.12.0.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index c773e99400fa..9871e2684d1d 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
+DIST z3-4.12.0.tar.gz 5468532 BLAKE2B
229e8fb19cfb377f3ec9a728254c913a582ee16cfafaa8eb66683df01fc8320b527e493fe692fa85029360f6065d5a068ccbf337cdaf4b8f492ac8a2c3674063
SHA512
53a51c8304fa4356d13293f68b14d9d9eef57a0771c6698d38aea5fac62c4e52c41ff003cb6d771a32645d2aa4ef59be5f792f2efbee927d06ac8280094976e5
diff --git a/sci-mathematics/z3/z3-4.12.0.ebuild
b/sci-mathematics/z3/z3-4.12.0.ebuild
new file mode 100644
index ..56bcff6924d7
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.12.0.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{9..11} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~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-doc/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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: ad8c6827e4f1a0a083298c9217cce9347a8621c7 Author: Maciej Barć gentoo org> AuthorDate: Tue Jan 10 02:49:54 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Jan 10 04:22:47 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ad8c6827 sci-mathematics/z3: update metadata xml Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/z3/metadata.xml | 18 ++ 1 file changed, 18 insertions(+) diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index b0bebabc397e..5ab7254e6517 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -11,11 +11,29 @@ s...@gentoo.org Gentoo Science Project + +Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from +Microsoft Research. Z3 is a solver for symbolic logic, a foundation for +many software engineering tools. SMT solvers rely on a tight integration of +specialized engines of proof. Each engine owns a piece of the global puzzle +and implements specialized algorithms. For example, Z3’s engine for +arithmetic integrates Simplex, cuts and polynomial reasoning, while an +engine for strings are regular expressions integrate methods for symbolic +derivatives of regular languages. A theme shared among many of the +algorithms is how they exploit a duality between finding satisfying +solutions and finding refutation proofs. The solver also integrates engines +for global and local inferences and global propagation. Z3 is used in a +wide range of software engineering applications, ranging from program +verification, compiler validation, testing, fuzzing using dynamic symbolic +execution, model-based software development, network verification, and +optimization. + Add integration support for the Isabelle/HOL theorem prover. +https://github.com/Z3Prover/z3/issues/ Z3Prover/z3
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 5dcef39eabff2f0aa3338ad821d408e936bf572b
Author: WANG Xuerui gentoo org>
AuthorDate: Sun Nov 27 01:51:24 2022 +
Commit: WANG Xuerui gentoo org>
CommitDate: Sun Nov 27 02:45:03 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5dcef39e
sci-mathematics/z3: keyword 4.11.2 for ~loong
Signed-off-by: WANG Xuerui gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index c988608e72f8..828f9a4c4d12 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 047311eee03f21459e4d9641bb91c7372bffdb2b
Author: Michał Górny gentoo org>
AuthorDate: Fri Sep 23 13:11:00 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Sep 23 13:51:40 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=047311ee
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.9.1-r1.ebuild | 107 --
2 files changed, 108 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 8df326aea8d6..c773e99400fa 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1 @@
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
-DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.9.1-r1.ebuild
b/sci-mathematics/z3/z3-4.9.1-r1.ebuild
deleted file mode 100644
index 25e2b9ca2cb8..
--- a/sci-mathematics/z3/z3-4.9.1-r1.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{8..10} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
-
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: f705f92749744588bbadac64feff3250712e84da
Author: Michał Górny gentoo org>
AuthorDate: Fri Sep 23 10:04:12 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Sep 23 10:04:12 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f705f927
sci-mathematics/z3: Revert "Remove old"
Reverts: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 5 ++
sci-mathematics/z3/z3-4.10.1.ebuild | 107 ++
sci-mathematics/z3/z3-4.10.2.ebuild | 107 ++
sci-mathematics/z3/z3-4.11.0.ebuild | 107 ++
sci-mathematics/z3/z3-4.8.17.ebuild | 107 ++
sci-mathematics/z3/z3-4.9.1-r1.ebuild | 107 ++
6 files changed, 540 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index c773e99400fa..c688dbcecdac 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,6 @@
+DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
+DIST z3-4.10.2.tar.gz 5367336 BLAKE2B
e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019
SHA512
d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
+DIST z3-4.11.0.tar.gz 5392300 BLAKE2B
5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0
SHA512
a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
+DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
+DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.10.1.ebuild
b/sci-mathematics/z3/z3-4.10.1.ebuild
new file mode 100644
index ..25e2b9ca2cb8
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.10.1.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 61571227a2c6b1a87215f5eceb6865cedab8fa4c
Author: Michał Górny gentoo org>
AuthorDate: Fri Sep 23 10:05:00 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Sep 23 10:05:00 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61571227
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 4 --
sci-mathematics/z3/z3-4.10.1.ebuild | 107
sci-mathematics/z3/z3-4.10.2.ebuild | 107
sci-mathematics/z3/z3-4.11.0.ebuild | 107
sci-mathematics/z3/z3-4.8.17.ebuild | 107
5 files changed, 432 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index c688dbcecdac..8df326aea8d6 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,6 +1,2 @@
-DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
-DIST z3-4.10.2.tar.gz 5367336 BLAKE2B
e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019
SHA512
d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
-DIST z3-4.11.0.tar.gz 5392300 BLAKE2B
5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0
SHA512
a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
-DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.10.1.ebuild
b/sci-mathematics/z3/z3-4.10.1.ebuild
deleted file mode 100644
index 25e2b9ca2cb8..
--- a/sci-mathematics/z3/z3-4.10.1.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{8..10} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
-
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc
Author: Michał Górny gentoo org>
AuthorDate: Fri Sep 23 07:18:22 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Sep 23 08:11:49 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f5a0527
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 5 --
sci-mathematics/z3/z3-4.10.1.ebuild | 107 --
sci-mathematics/z3/z3-4.10.2.ebuild | 107 --
sci-mathematics/z3/z3-4.11.0.ebuild | 107 --
sci-mathematics/z3/z3-4.8.17.ebuild | 107 --
sci-mathematics/z3/z3-4.9.1-r1.ebuild | 107 --
6 files changed, 540 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index c688dbcecdac..c773e99400fa 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,6 +1 @@
-DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
-DIST z3-4.10.2.tar.gz 5367336 BLAKE2B
e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019
SHA512
d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
-DIST z3-4.11.0.tar.gz 5392300 BLAKE2B
5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0
SHA512
a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
-DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
-DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.10.1.ebuild
b/sci-mathematics/z3/z3-4.10.1.ebuild
deleted file mode 100644
index 25e2b9ca2cb8..
--- a/sci-mathematics/z3/z3-4.10.1.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{8..10} )
-
-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}
-
-SLOT="0/$(ver_cut 1-2)"
-LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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;
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9b019d63ae9bdd85a22a12d074383296ed73f682
Author: Arthur Zamarin gentoo org>
AuthorDate: Fri Sep 23 06:58:22 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Fri Sep 23 06:58:22 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b019d63
sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index 9733d67afd2e..c988608e72f8 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 489a63aeada2ce49d9f5fd406c82423680ed1185
Author: Arthur Zamarin gentoo org>
AuthorDate: Thu Sep 22 17:02:49 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Thu Sep 22 17:02:49 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=489a63ae
sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index f578c7837da9..9733d67afd2e 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 5092d6c626d6a842ccc29467b51b536823ef71ae
Author: Jakov Smolić gentoo org>
AuthorDate: Thu Sep 22 08:05:02 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Thu Sep 22 08:05:02 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5092d6c6
sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index f26a148b6241..649953708aaa 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 18538c4d4273e9ef13f419766d6437a3175c2cf7
Author: Jakov Smolić gentoo org>
AuthorDate: Thu Sep 22 08:05:16 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Thu Sep 22 08:05:16 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=18538c4d
sci-mathematics/z3: Stabilize 4.11.2 x86, #872290
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index 649953708aaa..f578c7837da9 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 8078002f52fc25062686b58179564e9fa87a2940
Author: Jakov Smolić gentoo org>
AuthorDate: Thu Sep 22 08:04:10 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Thu Sep 22 08:04:10 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8078002f
sci-mathematics/z3: Stabilize 4.11.2 arm, #872290
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index 11ce984b9ecc..f26a148b6241 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 1ca6800fb66945e9ac620947eb65c112ba693daa
Author: Jakov Smolić gentoo org>
AuthorDate: Thu Sep 22 08:04:08 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Thu Sep 22 08:04:08 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ca6800f
sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
index 4c7fa51d483e..11ce984b9ecc 100644
--- a/sci-mathematics/z3/z3-4.11.2.ebuild
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 ~arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: dd9c38fcfbb7086ba9086265b2b54dce7eba9362
Author: Michał Górny gentoo org>
AuthorDate: Sun Sep 4 15:46:18 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Sun Sep 4 16:22:12 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dd9c38fc
sci-mathematics/z3: Bump to 4.11.2
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.11.2.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index b8f6fea58dbd..c688dbcecdac 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,5 +1,6 @@
DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
DIST z3-4.10.2.tar.gz 5367336 BLAKE2B
e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019
SHA512
d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
DIST z3-4.11.0.tar.gz 5392300 BLAKE2B
5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0
SHA512
a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
+DIST z3-4.11.2.tar.gz 5428273 BLAKE2B
85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1
SHA512
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild
b/sci-mathematics/z3/z3-4.11.2.ebuild
new file mode 100644
index ..4c7fa51d483e
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.11.2.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8..11} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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"
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 193a77eb48527b98e55c0b53d184d1ee1983e536
Author: Sam James gentoo org>
AuthorDate: Fri Aug 19 16:53:50 2022 +
Commit: Sam James gentoo org>
CommitDate: Fri Aug 19 16:53:50 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=193a77eb
sci-mathematics/z3: Stabilize 4.10.2 x86, #865789
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.10.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.10.2.ebuild
b/sci-mathematics/z3/z3-4.10.2.ebuild
index 63a5df945bb8..16e3a209e6d1 100644
--- a/sci-mathematics/z3/z3-4.10.2.ebuild
+++ b/sci-mathematics/z3/z3-4.10.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: d55f34eb703b53d946f470c80e8c5a52b158f8d4
Author: Sam James gentoo org>
AuthorDate: Fri Aug 19 16:52:25 2022 +
Commit: Sam James gentoo org>
CommitDate: Fri Aug 19 16:52:25 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d55f34eb
sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.10.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.10.2.ebuild
b/sci-mathematics/z3/z3-4.10.2.ebuild
index d4972d9d9071..63a5df945bb8 100644
--- a/sci-mathematics/z3/z3-4.10.2.ebuild
+++ b/sci-mathematics/z3/z3-4.10.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: f8c8f1b29f0ea51fb1ae1e5d56bc562a8bb14600
Author: Arthur Zamarin gentoo org>
AuthorDate: Fri Aug 19 10:38:02 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Fri Aug 19 10:38:02 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8c8f1b2
sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.10.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.10.2.ebuild
b/sci-mathematics/z3/z3-4.10.2.ebuild
index 877d56323d1d..d4972d9d9071 100644
--- a/sci-mathematics/z3/z3-4.10.2.ebuild
+++ b/sci-mathematics/z3/z3-4.10.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 3b70582a345bf94e43ae1d8604b658e3873e5cec
Author: Arthur Zamarin gentoo org>
AuthorDate: Fri Aug 19 10:34:48 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Fri Aug 19 10:34:48 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3b70582a
sci-mathematics/z3: Stabilize 4.10.2 arm, #865789
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.10.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.10.2.ebuild
b/sci-mathematics/z3/z3-4.10.2.ebuild
index 25e2b9ca2cb8..877d56323d1d 100644
--- a/sci-mathematics/z3/z3-4.10.2.ebuild
+++ b/sci-mathematics/z3/z3-4.10.2.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 052bb26fa557d9ba9d9d40c8234014cf8ef5ae75
Author: Michał Górny gentoo org>
AuthorDate: Fri Aug 19 07:29:02 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Fri Aug 19 09:27:27 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=052bb26f
sci-mathematics/z3: Bump to 4.11.0
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.11.0.ebuild | 107
2 files changed, 108 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index aeb3f9916f1a..b8f6fea58dbd 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,4 +1,5 @@
DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
DIST z3-4.10.2.tar.gz 5367336 BLAKE2B
e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019
SHA512
d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
+DIST z3-4.11.0.tar.gz 5392300 BLAKE2B
5b59efdf74d5d358daf23f877a090b240909eab14bebb9f23c68c7eb7fb7f2258afc049665061f61d10c1e092382f707f094f12c20f33c7e06c7939275b231d0
SHA512
a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.11.0.ebuild
b/sci-mathematics/z3/z3-4.11.0.ebuild
new file mode 100644
index ..4c7fa51d483e
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.11.0.ebuild
@@ -0,0 +1,107 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8..11} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: ef187a481c3955e6ad2dcdbff9d3ab165aa6da3b
Author: Arthur Zamarin gentoo org>
AuthorDate: Tue Aug 2 19:50:02 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Tue Aug 2 19:50:02 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ef187a48
sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.8.17.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
index f97bc38fd53d..6383decc5301 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 75ea0b634d7c524f4ab56e53d2ab73189f82399b
Author: Michał Górny gentoo org>
AuthorDate: Sat Jul 30 05:49:23 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Jul 30 06:11:27 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75ea0b63
sci-mathematics/z3: Bump to 4.10.2
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.10.2.ebuild | 108
2 files changed, 109 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 03a44d4ec158..aeb3f9916f1a 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,4 @@
DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
+DIST z3-4.10.2.tar.gz 5367336 BLAKE2B
e710dd3ee34e6ef69a1858281f59e96acdea052fe8ee4f1f2e112189d9aac9323fb1d907b9eff22bd9c179846ce1fd98847bab63fe36a67b13c682108eae2019
SHA512
d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.10.2.ebuild
b/sci-mathematics/z3/z3-4.10.2.ebuild
new file mode 100644
index ..57224c747cf3
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.10.2.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9df47d876e9ae84470e1d4663473601f1d4dc1a4
Author: Michał Górny gentoo org>
AuthorDate: Sat Jul 23 04:45:35 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Jul 23 06:22:08 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9df47d87
sci-mathematics/z3: Bump to 4.10.1
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.10.1.ebuild | 108
2 files changed, 109 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 389147ddb398..03a44d4ec158 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1,3 @@
+DIST z3-4.10.1.tar.gz 5366092 BLAKE2B
2b857b7a1b3b71e0b7d2c55b8971fb27115f65b6995e0330786d24badfae563e4a63140790c197255ec566b78ff699c5f0aac99ffeb5eb45c05b2175f3395c20
SHA512
6c8e9f074d4b87f9388384d10dcde51fbdf0e1ee58cf2a5d321e3779ac5054a0ec7bfed3df4f8d3563c457ca7f5189ca310909656e500b6a8803f0df2c693baf
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.10.1.ebuild
b/sci-mathematics/z3/z3-4.10.1.ebuild
new file mode 100644
index ..57224c747cf3
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.10.1.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/$(ver_cut 1-2)"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: cf81455e50106d20051f4aef533f88f86606f9a9
Author: Michał Górny gentoo org>
AuthorDate: Thu Jul 7 09:59:22 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Jul 7 10:02:40 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf81455e
sci-mathematics/z3: Fix subslot in 4.9.1
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/{z3-4.9.1.ebuild => z3-4.9.1-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.9.1.ebuild
b/sci-mathematics/z3/z3-4.9.1-r1.ebuild
similarity index 99%
rename from sci-mathematics/z3/z3-4.9.1.ebuild
rename to sci-mathematics/z3/z3-4.9.1-r1.ebuild
index b557f8de52dc..57224c747cf3 100644
--- a/sci-mathematics/z3/z3-4.9.1.ebuild
+++ b/sci-mathematics/z3/z3-4.9.1-r1.ebuild
@@ -13,7 +13,7 @@ HOMEPAGE="https://github.com/Z3Prover/z3/;
SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz;
S=${WORKDIR}/z3-${P}
-SLOT="0/4.8"
+SLOT="0/$(ver_cut 1-2)"
LICENSE="MIT"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: bb0ac582311c4a3e2b5bf22ffec1d44a3e2c569f
Author: Michał Górny gentoo org>
AuthorDate: Thu Jul 7 08:04:28 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Thu Jul 7 08:26:00 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bb0ac582
sci-mathematics/z3: Bump to 4.9.1
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest| 1 +
sci-mathematics/z3/z3-4.9.1.ebuild | 108 +
2 files changed, 109 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 70d8a3764f9d..389147ddb398 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
+DIST z3-4.9.1.tar.gz 5358020 BLAKE2B
b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64
SHA512
0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
diff --git a/sci-mathematics/z3/z3-4.9.1.ebuild
b/sci-mathematics/z3/z3-4.9.1.ebuild
new file mode 100644
index ..b557f8de52dc
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.9.1.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/4.8"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 06ae9dfd925fbf6fe5d724c217d4a12f501d1383
Author: Michał Górny gentoo org>
AuthorDate: Mon Jun 6 11:30:55 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Mon Jun 6 11:30:55 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06ae9dfd
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest| 2 -
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 103 ---
sci-mathematics/z3/z3-4.8.16.ebuild| 108 -
3 files changed, 213 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index cf597f0c3e78..70d8a3764f9d 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1 @@
-DIST z3-4.8.15.tar.gz 5213633 BLAKE2B
6ca07309370f891f6ca5fa114721cb5df96e726687bf3c2310ba4963b1d1dfeec6ede62fd7a960e17e824ab8ff1e17d2af2a90d8156245ba048b04045c8f0531
SHA512
7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c
-DIST z3-4.8.16.tar.gz 5223980 BLAKE2B
67bca86d48df51c9aa4fa3544fd77133c4cc429e6f77f89aa26a559e56e267b8c0891befc6a5e24be541011aac02cb0d51ef26a636c3b360a1fa4d445967da21
SHA512
385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615
DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
deleted file mode 100644
index 31cec588863f..
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
+++ /dev/null
@@ -1,103 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-CMAKE_ECLASS=cmake
-PYTHON_COMPAT=( python3_{8..10} )
-
-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}
-
-SLOT="0/4.8"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv 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-doc/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 RELEASE_NOTES
- 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
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 05103e9a6beb72cd28fab8cc31550035cf707b88
Author: Jakov Smolić gentoo org>
AuthorDate: Mon Jun 6 10:22:00 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Mon Jun 6 10:22:00 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05103e9a
sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.8.17.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
index 9fb1ae9e0450..f97bc38fd53d 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: caa2854fb5984cc9dff682dfa5fd75c1581886b7
Author: Jakov Smolić gentoo org>
AuthorDate: Mon Jun 6 10:21:17 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Mon Jun 6 10:21:17 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=caa2854f
sci-mathematics/z3: Stabilize 4.8.17 x86, #850061
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.8.17.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
index 08b88fb58e5e..9fb1ae9e0450 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 7b6db730474cc236b84bcdb9f75e552b0878d787
Author: Jakov Smolić gentoo org>
AuthorDate: Mon Jun 6 10:19:52 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Mon Jun 6 10:19:52 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7b6db730
sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.8.17.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
index a51a83e879b2..08b88fb58e5e 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 arm ~arm64 ~ppc ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: e162c6e4d7fde0ae9bf5706808bc114eb7c9b564
Author: Jakov Smolić gentoo org>
AuthorDate: Mon Jun 6 10:19:49 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Mon Jun 6 10:19:49 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e162c6e4
sci-mathematics/z3: Stabilize 4.8.17 arm, #850061
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.8.17.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
index 7ebfae64d20b..bbd018f7d9ba 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 14f33eceb0d265a819ecc6ebfaf86eae3f1c5dd7
Author: Jakov Smolić gentoo org>
AuthorDate: Mon Jun 6 10:19:51 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Mon Jun 6 10:19:51 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=14f33ece
sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/z3-4.8.17.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
index bbd018f7d9ba..a51a83e879b2 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~ppc ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 4742efdbcf669c9aea2d29703c3401e7b024232a
Author: Michał Górny gentoo org>
AuthorDate: Thu May 5 06:42:05 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Thu May 5 07:09:14 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4742efdb
sci-mathematics/z3: Bump to 4.8.17
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.8.17.ebuild | 108
2 files changed, 109 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 49d194a31e41..cf597f0c3e78 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1,3 @@
DIST z3-4.8.15.tar.gz 5213633 BLAKE2B
6ca07309370f891f6ca5fa114721cb5df96e726687bf3c2310ba4963b1d1dfeec6ede62fd7a960e17e824ab8ff1e17d2af2a90d8156245ba048b04045c8f0531
SHA512
7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c
DIST z3-4.8.16.tar.gz 5223980 BLAKE2B
67bca86d48df51c9aa4fa3544fd77133c4cc429e6f77f89aa26a559e56e267b8c0891befc6a5e24be541011aac02cb0d51ef26a636c3b360a1fa4d445967da21
SHA512
385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615
+DIST z3-4.8.17.tar.gz 5232392 BLAKE2B
80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224
SHA512
95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild
b/sci-mathematics/z3/z3-4.8.17.ebuild
new file mode 100644
index ..7ebfae64d20b
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/4.8"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~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-doc/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 RELEASE_NOTES
+ 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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/files/, sci-mathematics/z3/
commit: df149f7399efe651296bb014b3ad2d2f063432d0
Author: Michał Górny gentoo org>
AuthorDate: Tue Apr 26 15:24:20 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Tue Apr 26 16:04:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df149f73
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest| 1 -
sci-mathematics/z3/files/z3-4.8.14-libatomic.patch | 60
sci-mathematics/z3/z3-4.8.14-r1.ebuild | 107 -
3 files changed, 168 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index e5a4bbae217e..49d194a31e41 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,2 @@
-DIST z3-4.8.14.tar.gz 5113598 BLAKE2B
c6a82cec33e879123c33506897ac02be682d08a6432da0b11c6918f2664fd7249d8874ccb6f543907f789cc3b40b126465548abeabf4ac16d2ee791ce179742a
SHA512
10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab
DIST z3-4.8.15.tar.gz 5213633 BLAKE2B
6ca07309370f891f6ca5fa114721cb5df96e726687bf3c2310ba4963b1d1dfeec6ede62fd7a960e17e824ab8ff1e17d2af2a90d8156245ba048b04045c8f0531
SHA512
7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c
DIST z3-4.8.16.tar.gz 5223980 BLAKE2B
67bca86d48df51c9aa4fa3544fd77133c4cc429e6f77f89aa26a559e56e267b8c0891befc6a5e24be541011aac02cb0d51ef26a636c3b360a1fa4d445967da21
SHA512
385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615
diff --git a/sci-mathematics/z3/files/z3-4.8.14-libatomic.patch
b/sci-mathematics/z3/files/z3-4.8.14-libatomic.patch
deleted file mode 100644
index 4b7503ef47fd..
--- a/sci-mathematics/z3/files/z3-4.8.14-libatomic.patch
+++ /dev/null
@@ -1,60 +0,0 @@
-https://github.com/Z3Prover/z3/commit/3d87d86c2825437780167ae6ff8f5b203f15ee7f.patch
-https://bugs.gentoo.org/835003
-
-From b2b407cdedc586f8d11f9dd029e1c3016c80bba7 Mon Sep 17 00:00:00 2001
-From: Revy
-Date: Tue, 15 Mar 2022 02:11:40 +0800
-Subject: [PATCH] fix: build on non-x86 platform
-
-Signed-off-by: Revy
- CMakeLists.txt| 5 +
- cmake/check_link_atomic.cmake | 23 +++
- 2 files changed, 28 insertions(+)
- create mode 100644 cmake/check_link_atomic.cmake
-
-diff --git a/CMakeLists.txt b/CMakeLists.txt
-index be300607dd..477410ba8d 100644
a/CMakeLists.txt
-+++ b/CMakeLists.txt
-@@ -431,6 +431,11 @@ if (CMAKE_CXX_COMPILER_ID STREQUAL "MSVC")
- string(APPEND CMAKE_SHARED_LINKER_FLAGS " /RELEASE")
- endif()
-
-+
-+# Check atomic linking as needed
-+
-+include(${PROJECT_SOURCE_DIR}/cmake/check_link_atomic.cmake)
-+
-
- # Report default CMake flags
-
-diff --git a/cmake/check_link_atomic.cmake b/cmake/check_link_atomic.cmake
-new file mode 100644
-index 00..d462191a0b
/dev/null
-+++ b/cmake/check_link_atomic.cmake
-@@ -0,0 +1,23 @@
-+set(ATOMIC_TEST_SOURCE "
-+#include
-+std::atomic x;
-+std::atomic y;
-+std::atomic z;
-+std::atomic w;
-+int main() {
-+ ++z;
-+ ++y;
-+++w;
-+ return ++x;
-+}")
-+CHECK_CXX_SOURCE_COMPILES("${ATOMIC_TEST_SOURCE}" BUILTIN_ATOMIC)
-+if (NOT BUILTIN_ATOMIC)
-+ set(CMAKE_REQUIRED_LIBRARIES atomic)
-+ CHECK_CXX_SOURCE_COMPILES("${ATOMIC_TEST_SOURCE}" ATOMICS_REQUIRE_LIBATOMIC)
-+ unset(CMAKE_REQUIRED_LIBRARIES)
-+ if (ATOMICS_REQUIRE_LIBATOMIC)
-+list(APPEND Z3_DEPENDENT_LIBS atomic)
-+ else()
-+message(FATAL_ERROR "Host compiler must support std::atomic!")
-+ endif()
-+endif()
diff --git a/sci-mathematics/z3/z3-4.8.14-r1.ebuild
b/sci-mathematics/z3/z3-4.8.14-r1.ebuild
deleted file mode 100644
index 9789ce8a98e1..
--- a/sci-mathematics/z3/z3-4.8.14-r1.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-CMAKE_ECLASS=cmake
-PYTHON_COMPAT=( python3_{8..10} )
-
-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}
-
-SLOT="0/4.8"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv 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 )"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: d9f4032e5fd728dadf1b961b76374e0955fdc471
Author: Arthur Zamarin gentoo org>
AuthorDate: Tue Apr 26 14:01:09 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Tue Apr 26 14:01:09 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9f4032e
sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
index 2ff6dfc6935f..31cec588863f 100644
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 7ac725a3b9a640182619a9b030418dfc60c21c1a
Author: Sam James gentoo org>
AuthorDate: Tue Apr 26 03:47:45 2022 +
Commit: Sam James gentoo org>
CommitDate: Tue Apr 26 03:48:25 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7ac725a3
sci-mathematics/z3: Keyword 4.8.16 sparc, #779742
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.8.16.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.16.ebuild
b/sci-mathematics/z3/z3-4.8.16.ebuild
index 4ccc90174d87..7ebfae64d20b 100644
--- a/sci-mathematics/z3/z3-4.8.16.ebuild
+++ b/sci-mathematics/z3/z3-4.8.16.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: a276917c29bb4420465e58e894bee1aa5a3d6328
Author: Arthur Zamarin gentoo org>
AuthorDate: Mon Apr 25 19:37:52 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Mon Apr 25 19:37:52 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a276917c
sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
index 76237226946a..2ff6dfc6935f 100644
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 ~arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 81316f0eb07d3685377efb47472432841c83caf7
Author: Arthur Zamarin gentoo org>
AuthorDate: Mon Apr 25 19:37:17 2022 +
Commit: Arthur Zamarin gentoo org>
CommitDate: Mon Apr 25 19:37:17 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81316f0e
sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665
Signed-off-by: Arthur Zamarin gentoo.org>
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
index 57f9fee46feb..76237226946a 100644
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 ~arm arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 442a091a04af271e81c808924c5d3c003d933c7f
Author: Sam James gentoo org>
AuthorDate: Mon Apr 25 02:40:33 2022 +
Commit: Sam James gentoo org>
CommitDate: Mon Apr 25 02:40:33 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=442a091a
sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
index 48df35b614f0..57f9fee46feb 100644
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 33b04364935249893938bb7ef79ddcd7a5d48871
Author: Sam James gentoo org>
AuthorDate: Mon Apr 25 02:40:05 2022 +
Commit: Sam James gentoo org>
CommitDate: Mon Apr 25 02:40:05 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=33b04364
sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665
Signed-off-by: Sam James gentoo.org>
sci-mathematics/z3/z3-4.8.15-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
index 04689aa94acc..48df35b614f0 100644
--- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: fe0689da1c5f9c90993e04c4477159eed3ff13f2
Author: Michał Górny gentoo org>
AuthorDate: Sun Apr 24 20:24:05 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Sun Apr 24 20:26:19 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe0689da
sci-mathematics/z3: Bump to 4.8.16
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.8.16.ebuild | 108
2 files changed, 109 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 9752f8bb130e..e5a4bbae217e 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1,3 @@
DIST z3-4.8.14.tar.gz 5113598 BLAKE2B
c6a82cec33e879123c33506897ac02be682d08a6432da0b11c6918f2664fd7249d8874ccb6f543907f789cc3b40b126465548abeabf4ac16d2ee791ce179742a
SHA512
10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab
DIST z3-4.8.15.tar.gz 5213633 BLAKE2B
6ca07309370f891f6ca5fa114721cb5df96e726687bf3c2310ba4963b1d1dfeec6ede62fd7a960e17e824ab8ff1e17d2af2a90d8156245ba048b04045c8f0531
SHA512
7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c
+DIST z3-4.8.16.tar.gz 5223980 BLAKE2B
67bca86d48df51c9aa4fa3544fd77133c4cc429e6f77f89aa26a559e56e267b8c0891befc6a5e24be541011aac02cb0d51ef26a636c3b360a1fa4d445967da21
SHA512
385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615
diff --git a/sci-mathematics/z3/z3-4.8.16.ebuild
b/sci-mathematics/z3/z3-4.8.16.ebuild
new file mode 100644
index ..4ccc90174d87
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.8.16.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/4.8"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~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-doc/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 RELEASE_NOTES
+ 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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 5d07ea9a62bc5988e9fcf1b53e1f985f93e58747
Author: Maciej Barć gentoo org>
AuthorDate: Mon Mar 21 13:34:00 2022 +
Commit: Maciej Barć gentoo org>
CommitDate: Mon Mar 21 13:36:04 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5d07ea9a
sci-mathematics/z3: fix documentation
- add missing dot dependency
- install documentation into correct directory (use PF)
Closes: https://bugs.gentoo.org/818991
Signed-off-by: Maciej Barć gentoo.org>
sci-mathematics/z3/{z3-4.8.14.ebuild => z3-4.8.14-r1.ebuild} | 4 ++--
sci-mathematics/z3/{z3-4.8.15.ebuild => z3-4.8.15-r1.ebuild} | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/z3/z3-4.8.14.ebuild
b/sci-mathematics/z3/z3-4.8.14-r1.ebuild
similarity index 96%
rename from sci-mathematics/z3/z3-4.8.14.ebuild
rename to sci-mathematics/z3/z3-4.8.14-r1.ebuild
index 513000b5c713..9789ce8a98e1 100644
--- a/sci-mathematics/z3/z3-4.8.14.ebuild
+++ b/sci-mathematics/z3/z3-4.8.14-r1.ebuild
@@ -24,7 +24,7 @@ RDEPEND="${PYTHON_DEPS}
DEPEND="${RDEPEND}
java? ( >=virtual/jdk-1.8 )"
BDEPEND="
- doc? ( app-doc/doxygen )"
+ doc? ( app-doc/doxygen[dot] )"
PATCHES=(
"${FILESDIR}/${P}-libatomic.patch" #bug 835003
@@ -39,7 +39,7 @@ src_prepare() {
multilib_src_configure() {
local mycmakeargs=(
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+ -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)
diff --git a/sci-mathematics/z3/z3-4.8.15.ebuild
b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
similarity index 96%
rename from sci-mathematics/z3/z3-4.8.15.ebuild
rename to sci-mathematics/z3/z3-4.8.15-r1.ebuild
index bf4bf014f011..04689aa94acc 100644
--- a/sci-mathematics/z3/z3-4.8.15.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -24,7 +24,7 @@ RDEPEND="${PYTHON_DEPS}
DEPEND="${RDEPEND}
java? ( >=virtual/jdk-1.8 )"
BDEPEND="
- doc? ( app-doc/doxygen )"
+ doc? ( app-doc/doxygen[dot] )"
CMAKE_BUILD_TYPE=RelWithDebInfo
@@ -35,7 +35,7 @@ src_prepare() {
multilib_src_configure() {
local mycmakeargs=(
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+ -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)
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 9dd0012efec6b19a682f72e9c1b957e01463c9ec
Author: Michał Górny gentoo org>
AuthorDate: Mon Mar 21 07:23:43 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Mon Mar 21 08:54:36 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9dd0012e
sci-mathematics/z3: Bump to 4.8.15
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 +
sci-mathematics/z3/z3-4.8.15.ebuild | 103
2 files changed, 104 insertions(+)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index f6266c2c64df..9752f8bb130e 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1 +1,2 @@
DIST z3-4.8.14.tar.gz 5113598 BLAKE2B
c6a82cec33e879123c33506897ac02be682d08a6432da0b11c6918f2664fd7249d8874ccb6f543907f789cc3b40b126465548abeabf4ac16d2ee791ce179742a
SHA512
10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab
+DIST z3-4.8.15.tar.gz 5213633 BLAKE2B
6ca07309370f891f6ca5fa114721cb5df96e726687bf3c2310ba4963b1d1dfeec6ede62fd7a960e17e824ab8ff1e17d2af2a90d8156245ba048b04045c8f0531
SHA512
7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c
diff --git a/sci-mathematics/z3/z3-4.8.15.ebuild
b/sci-mathematics/z3/z3-4.8.15.ebuild
new file mode 100644
index ..bf4bf014f011
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.8.15.ebuild
@@ -0,0 +1,103 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+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}
+
+SLOT="0/4.8"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~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-doc/doxygen )"
+
+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/${P}"
+ -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 RELEASE_NOTES
+ 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
+
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/, sci-mathematics/z3/files/
commit: 21fd2b212d6410381821dd09ba0ddbb1ab1e4d3e
Author: Han Gao gmail com>
AuthorDate: Wed Mar 16 16:13:33 2022 +
Commit: Jakov Smolić gentoo org>
CommitDate: Wed Mar 16 19:18:07 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=21fd2b21
sci-mathematics/z3: fix link atomic in riscv
Bug: https://bugs.gentoo.org/835003
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Han Gao gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/24519
Signed-off-by: Jakov Smolić gentoo.org>
sci-mathematics/z3/files/z3-4.8.14-libatomic.patch | 60 ++
sci-mathematics/z3/z3-4.8.14.ebuild| 4 ++
2 files changed, 64 insertions(+)
diff --git a/sci-mathematics/z3/files/z3-4.8.14-libatomic.patch
b/sci-mathematics/z3/files/z3-4.8.14-libatomic.patch
new file mode 100644
index ..4b7503ef47fd
--- /dev/null
+++ b/sci-mathematics/z3/files/z3-4.8.14-libatomic.patch
@@ -0,0 +1,60 @@
+https://github.com/Z3Prover/z3/commit/3d87d86c2825437780167ae6ff8f5b203f15ee7f.patch
+https://bugs.gentoo.org/835003
+
+From b2b407cdedc586f8d11f9dd029e1c3016c80bba7 Mon Sep 17 00:00:00 2001
+From: Revy
+Date: Tue, 15 Mar 2022 02:11:40 +0800
+Subject: [PATCH] fix: build on non-x86 platform
+
+Signed-off-by: Revy
+---
+ CMakeLists.txt| 5 +
+ cmake/check_link_atomic.cmake | 23 +++
+ 2 files changed, 28 insertions(+)
+ create mode 100644 cmake/check_link_atomic.cmake
+
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index be300607dd..477410ba8d 100644
+--- a/CMakeLists.txt
b/CMakeLists.txt
+@@ -431,6 +431,11 @@ if (CMAKE_CXX_COMPILER_ID STREQUAL "MSVC")
+ string(APPEND CMAKE_SHARED_LINKER_FLAGS " /RELEASE")
+ endif()
+
++
++# Check atomic linking as needed
++
++include(${PROJECT_SOURCE_DIR}/cmake/check_link_atomic.cmake)
++
+
+ # Report default CMake flags
+
+diff --git a/cmake/check_link_atomic.cmake b/cmake/check_link_atomic.cmake
+new file mode 100644
+index 00..d462191a0b
+--- /dev/null
b/cmake/check_link_atomic.cmake
+@@ -0,0 +1,23 @@
++set(ATOMIC_TEST_SOURCE "
++#include
++std::atomic x;
++std::atomic y;
++std::atomic z;
++std::atomic w;
++int main() {
++ ++z;
++ ++y;
++++w;
++ return ++x;
++}")
++CHECK_CXX_SOURCE_COMPILES("${ATOMIC_TEST_SOURCE}" BUILTIN_ATOMIC)
++if (NOT BUILTIN_ATOMIC)
++ set(CMAKE_REQUIRED_LIBRARIES atomic)
++ CHECK_CXX_SOURCE_COMPILES("${ATOMIC_TEST_SOURCE}" ATOMICS_REQUIRE_LIBATOMIC)
++ unset(CMAKE_REQUIRED_LIBRARIES)
++ if (ATOMICS_REQUIRE_LIBATOMIC)
++list(APPEND Z3_DEPENDENT_LIBS atomic)
++ else()
++message(FATAL_ERROR "Host compiler must support std::atomic!")
++ endif()
++endif()
diff --git a/sci-mathematics/z3/z3-4.8.14.ebuild
b/sci-mathematics/z3/z3-4.8.14.ebuild
index 66a173a9a933..513000b5c713 100644
--- a/sci-mathematics/z3/z3-4.8.14.ebuild
+++ b/sci-mathematics/z3/z3-4.8.14.ebuild
@@ -26,6 +26,10 @@ DEPEND="${RDEPEND}
BDEPEND="
doc? ( app-doc/doxygen )"
+PATCHES=(
+ "${FILESDIR}/${P}-libatomic.patch" #bug 835003
+)
+
CMAKE_BUILD_TYPE=RelWithDebInfo
src_prepare() {
[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
commit: 3c87750c0c45f8efe85fc290c92b77cd3800da7d
Author: Michał Górny gentoo org>
AuthorDate: Sat Feb 12 08:11:16 2022 +
Commit: Michał Górny gentoo org>
CommitDate: Sat Feb 12 09:15:04 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c87750c
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny gentoo.org>
sci-mathematics/z3/Manifest | 1 -
sci-mathematics/z3/z3-4.8.13.ebuild | 103
2 files changed, 104 deletions(-)
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 6a41260973e8..f6266c2c64df 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,2 +1 @@
-DIST z3-4.8.13.tar.gz 5103999 BLAKE2B
5500bbc71e7a863092a36bdd2bc04f5a4435e9d8fdc62c7956aa2546ffa9e39344c9528bf802f6e4c211c799e873f2673dbf8b113599dcbb694ac040ada2e9a0
SHA512
c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30
DIST z3-4.8.14.tar.gz 5113598 BLAKE2B
c6a82cec33e879123c33506897ac02be682d08a6432da0b11c6918f2664fd7249d8874ccb6f543907f789cc3b40b126465548abeabf4ac16d2ee791ce179742a
SHA512
10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab
diff --git a/sci-mathematics/z3/z3-4.8.13.ebuild
b/sci-mathematics/z3/z3-4.8.13.ebuild
deleted file mode 100644
index 66a173a9a933..
--- a/sci-mathematics/z3/z3-4.8.13.ebuild
+++ /dev/null
@@ -1,103 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-CMAKE_ECLASS=cmake
-PYTHON_COMPAT=( python3_{8..10} )
-
-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}
-
-SLOT="0/4.8"
-LICENSE="MIT"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv 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-doc/doxygen )"
-
-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/${P}"
- -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 RELEASE_NOTES
- 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
-
