summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/4ti2/4ti2-1.6.10.ebuild2
-rw-r--r--sci-mathematics/4ti2/Manifest2
-rw-r--r--sci-mathematics/Manifest.gzbin19521 -> 19524 bytes
-rw-r--r--sci-mathematics/cgal/Manifest2
-rw-r--r--sci-mathematics/cgal/cgal-6.0.1.ebuild4
-rw-r--r--sci-mathematics/z3/Manifest4
-rw-r--r--sci-mathematics/z3/z3-4.13.4.ebuild107
-rw-r--r--sci-mathematics/z3/z3-4.14.0.ebuild2
8 files changed, 7 insertions, 116 deletions
diff --git a/sci-mathematics/4ti2/4ti2-1.6.10.ebuild b/sci-mathematics/4ti2/4ti2-1.6.10.ebuild
index 580a2eadbe87..15e60acb13a7 100644
--- a/sci-mathematics/4ti2/4ti2-1.6.10.ebuild
+++ b/sci-mathematics/4ti2/4ti2-1.6.10.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/4ti2/4ti2/releases/download/Release_${PV//./_}/${P}.
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~ppc ~riscv ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm ~ppc ~riscv ~x86 ~amd64-linux ~x86-linux"
RDEPEND="
sci-mathematics/glpk:=[gmp]
diff --git a/sci-mathematics/4ti2/Manifest b/sci-mathematics/4ti2/Manifest
index 400dbf505c69..49d214a15b33 100644
--- a/sci-mathematics/4ti2/Manifest
+++ b/sci-mathematics/4ti2/Manifest
@@ -4,6 +4,6 @@ AUX 4ti2-1.6.7-gcc13.patch 895 BLAKE2B 2827da0a04f2871af174ffda828aca91141d18f37
DIST 4ti2-1.6.10-musl.patch.xz 15820 BLAKE2B 2994a4e0e589e8c8233bf9367206129605538145b3dffd6dc186026d0e45d78e382467dbebd13d5e0ae5d4f96a0a9411811d3ddb390b5a9e68e4251bd37fbb02 SHA512 2fd0f470cf5d571875715be3dd67ea05edb222f1ca30f33698f3bfe1c470fa56695b03ccdf27dfaacaa613616cf67bc9165072c710d267be370a718f40a268bd
DIST 4ti2-1.6.10.tar.gz 5496480 BLAKE2B e6d90e0282c1ad63ee887c7f301ce8127791d1f75b5c8a43866b812e7e773495ee2cf33e1e1d23eb3974cdd0632d7efc61ee7b2029902adad5601c3eedacbced SHA512 d591ed272664c7467e9b28082c0a99002b3a4616cf437eecd243ccca2ab0f08abdba5dcd039a109b05793f7aaf9f405af9a58c7eff90b7b01b3b1f34fb7fdb2e
DIST 4ti2-1.6.7.tar.gz 5649869 BLAKE2B ab0e7da1de88e5e99ead0b8fa7f7a72773b84ae903a31dc3134e83364ea45069889f8ce9812bb471cf72b824fe013756d557489b4d2ab31216141d5b6347acfc SHA512 38d638fe01ff3cef1aebae1eefd276cf02f808978851b4465e132f77d3ab34ea51d512e2ea28a42ac65263b458c43cf420dc5f8ac930f959dd0c14916cef9841
-EBUILD 4ti2-1.6.10.ebuild 1168 BLAKE2B ed74aae750dc6c887785b576aa2067a77a47761bd0e8c18ab252cd0c61a51f8aefbaf68ff4b937a561a379a3360130bf26157f15c5eaa941e0cc47c2e7c5b8f6 SHA512 ceb1a742061be09112307c8535ea63bc56248aed0e9cc7acdb5d080eece2cc6cc8e4254596c09cbfc909a9f5bc7fe52446d9dfd96dacadb90d9ebe09d382cde6
+EBUILD 4ti2-1.6.10.ebuild 1167 BLAKE2B fa6074e17ab2d1af4f9d8244a7752435ce95b75ab00682f7e1287854b9fbdbc2593d9080f6d7164949a56a3f8976fe293ee47e38d3d0eaf62dae63865a6a0ec6 SHA512 0cdd38c0342e88326ce6e324af23239e331d8ef3ebb042266dae5bb10e81ec116aadc4163173161b3c5753c7a805cb83fdddf18a03274fa007b669790b60baf4
EBUILD 4ti2-1.6.7-r1.ebuild 882 BLAKE2B 53225de86083c1f5f65a65138979c59eef5d460b0b7e5443d25a5e07957d7df61c4f0bb87621cea0a0e0cea754abcad61da66da0418f9b42354ae0b301d3fb5b SHA512 44966dc8c9f8aa40c02bb542dec561b7c658264ec29845933ff92caea50b9a4dd016b57f1c724f22bfde8a0a81a54b9c29485b82bdf369512b687c9f5982169d
MISC metadata.xml 531 BLAKE2B b06d3faf7ccbde8dfc9012e3d4060a703639873b4ebbda9c2fb07ef1fd4e6ad6b97d09e7ed12d8adfd35492c2cdc93ae9290987129e7f0aa34d6b0df6f8513ae SHA512 3564979bae9192cadb2351ec2a401d71de987d78e320701676f8e356a3352b75e921dd807a33e4963687489cd4b9f1dab7112c7d631cb74fef39d3b66943970e
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index eea7c367c298..77ea32cc2641 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/cgal/Manifest b/sci-mathematics/cgal/Manifest
index 241421e64633..f6b40e0c5695 100644
--- a/sci-mathematics/cgal/Manifest
+++ b/sci-mathematics/cgal/Manifest
@@ -9,6 +9,6 @@ DIST CGAL-6.0.1.tar.xz 25659212 BLAKE2B 48a707b74f6fc823197e60ae9643001ff24efcb7
DIST CGAL-6.0.tar.xz 25979696 BLAKE2B dfc7785cc6398334b877a8839c2ea20e4540663f86230d54b45771519cf2ade31bb943e512714b72e5bc5af80978cfe9833332bbb1a75fa009de9d6caf6c8f89 SHA512 3c7aa6e5a014867cc2a2038c96ab7f62ab735d678efc580cc498fa27209cd338c4bba9524ea90d4dd88442e4df648791b83c465e7319ae5870f8c3c8827128e7
EBUILD cgal-5.6.1.ebuild 1238 BLAKE2B 8094fe3fadccc096665fd7898c2efc7d5d6644e0353b2e6a704aebe1656cb159e30a8eaa17aa9b026f9a62f7f059415c4915a93e45337413b528ce4507f78f39 SHA512 7373abbe5b5d4348a71675b676176e0edc11a56e1c8c24b037ef3f2b5b77e3023a7f6a7ba976e79b7da496e0ea9e5c001aab7b8899d65a517866969a78696bf5
EBUILD cgal-5.6.ebuild 1248 BLAKE2B 85bf70631e6dbc0adb5aa26d52ee6f5948d8ae1f59f0db773a47d41eec88d50aabc5f61b6977e8fadcc55dcb0994d2e355551d98e1b2f5660633df99c2cdec81 SHA512 6f90f4c5b621b214a93556d19f4b1b9b4816cdc759a7d16ed12c7353b00d0b88277f6e4e4bdf39f45fc2cbf558cf03750f406a2ce5c8d642899124d19acc22bb
-EBUILD cgal-6.0.1.ebuild 1499 BLAKE2B 952f45d4e6f2357f0bb9f96b0df4e2199cf397f788054a52a8f026fbbd77cbaff77cd5f456cf9f60c2507b6423269c458ffb18088bdcaa07b7fbf853cb88cbb2 SHA512 21283d119699d2137eecc96720712c2083ec3fe2c4b269c105c58c19546ae34e86fbc720331fee031fee4403ba1234f7029a79df9c61548f1e5368d6b4ba35fa
+EBUILD cgal-6.0.1.ebuild 1498 BLAKE2B 6eeccec29b66dbef3dc97274a2d0839c513f086484c3307c397fd5a0d46df138e8efc8752b182bb7483b8dc7c58f8d67bea4a62771f37180342c1febe0b9fce6 SHA512 7811ae1ed51ec20aa8cb99658ba9bb3ed962fe9be13ca3ac81d40659d9c4829b20f3b8c6d36c1ffd711f26a6450b97ae4efb3d38c5b59d1805ff296e70cde27d
EBUILD cgal-6.0.ebuild 1267 BLAKE2B aca18500d15ad790790d8bd55881838577a40d41800f1bf3ef1693cd46a14f96001680211019a9d5b0c935e7b315476bfba7a84e7f86c5529cb804da0e19ed77 SHA512 70a1bb2f29040ea071944b4245af1ec26865fa7ab71e181d234a201b0d56abe0291034f94a66c88c44a41907a6b86b2573cf90ce56e477412f29238f66acaeca
MISC metadata.xml 1118 BLAKE2B ed180a3128a37bc151ce89a0edcc076b09449a43e9ce7633ac0c0343b20cdd585cf6b68dc92262730d8379b4eb0d4b26feba90327384f2e4546fba27336d96ca SHA512 c407490521df2908343dbc870684938dfe71e5f4a072f016361db9f08ebb598540c69a704ce97cf803b4e23846a18c259fc208f286f0d11d8acbadd32182142c
diff --git a/sci-mathematics/cgal/cgal-6.0.1.ebuild b/sci-mathematics/cgal/cgal-6.0.1.ebuild
index 17cb4b0c9a50..0f95bdcd6c32 100644
--- a/sci-mathematics/cgal/cgal-6.0.1.ebuild
+++ b/sci-mathematics/cgal/cgal-6.0.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -18,7 +18,7 @@ S="${WORKDIR}/${MY_P}"
LICENSE="LGPL-3 GPL-3 Boost-1.0"
SLOT="0/14"
-KEYWORDS="~amd64 ~arm64 ~ppc64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm64 ~ppc64 ~x86 ~amd64-linux ~x86-linux"
IUSE="doc examples test"
RESTRICT="!test? ( test )"
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 2c212476e25c..3d8f76999ea9 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,5 +1,3 @@
-DIST z3-4.13.4.tar.gz 5766645 BLAKE2B 99e22754a7b7333868b713d78677de5d8c8ed7fdf15f0a60c224cca49bd89022e80dee86aa23f96cb7ec052ef1286ec6e2d025a6e336001d4c0d09cfce50ac55 SHA512 fd554122f3bb65e5d6622e2e331546d24892dfd3e5310bc4e041bd1c61fecfe53dbb487e4b125d87367338cacc9e06f28c71f380aac5fe8a74f4b45aaa27b6ce
DIST z3-4.14.0.tar.gz 5841848 BLAKE2B fc56ab4538a8fa07fd7ea34fdd403a13941f93fee500e90686cfc827b5094d83662ad02fda0c9ff146cb425603a3d65aadc1c006d26dd40c8cbd91462381670a SHA512 5a3de3207b5c05f77f8369d7fdbb9e13a7db850f8c3edaa8f2adfcf58b186d34409e4a56d44646f853027850941135be5042e67a53ddf3302dc3b645c1ab3db4
-EBUILD z3-4.13.4.ebuild 2606 BLAKE2B 4d1558de478d4cde52c6202ce2dabb22645a71cee0782daf78bf36ca879b8bd539f9a95a9cbbfa9b7a0b0b08d780239bba50b5eb83c876071d5a993fb30c599b SHA512 210add2e050e469860ced42ddd316061646fcc8e9cba78cfc1ef0b6c9ad4ca9cc82ecee73a291c0fa290ed879b5b09c81b3b61afaf90dd2431700d8a7944a337
-EBUILD z3-4.14.0.ebuild 2612 BLAKE2B 2199cfdeaa07a1dc9a22a3a07bdb77645b65632b70a520b966d74ba56beb8499b50f95b6608b48b3cea2f548186217c46fc3d9394980904b875fb01837fd4878 SHA512 88bdeb3290537b666e5453de807e466a6020f7f5dc76fb804b9b635006d1e9300980ef2405377b6b4a90152ee5720bdf68d12d092ae2272932ed2f1fe2df840b
+EBUILD z3-4.14.0.ebuild 2606 BLAKE2B 4d1558de478d4cde52c6202ce2dabb22645a71cee0782daf78bf36ca879b8bd539f9a95a9cbbfa9b7a0b0b08d780239bba50b5eb83c876071d5a993fb30c599b SHA512 210add2e050e469860ced42ddd316061646fcc8e9cba78cfc1ef0b6c9ad4ca9cc82ecee73a291c0fa290ed879b5b09c81b3b61afaf90dd2431700d8a7944a337
MISC metadata.xml 1718 BLAKE2B a94783909c12aa7dd2d5fd1f9d2fc75e20ca91b6abffd6dc020f602e57ef698f7184acaf14def4b6e21bb659e595abd44956ba37a679134d11b523103b0461df SHA512 ed375986a8010a7ae1eadab3107342126194a5513cbb22ce2064ffeff42c7184ea94f4f69017204c73bd61236847475cd1f0d8b3ba369236b26630dc8b2f46a2
diff --git a/sci-mathematics/z3/z3-4.13.4.ebuild b/sci-mathematics/z3/z3-4.13.4.ebuild
deleted file mode 100644
index aa0ae4da8a05..000000000000
--- a/sci-mathematics/z3/z3-4.13.4.ebuild
+++ /dev/null
@@ -1,107 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..13} )
-
-inherit cmake-multilib java-pkg-opt-2 python-single-r1
-
-DESCRIPTION="An efficient theorem prover"
-HOMEPAGE="https://github.com/Z3Prover/z3/"
-SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"
-S=${WORKDIR}/z3-${P}
-
-LICENSE="MIT"
-SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv sparc x86"
-IUSE="doc examples gmp isabelle java python"
-REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-
-RDEPEND="
- ${PYTHON_DEPS}
- gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )
-"
-DEPEND="
- ${RDEPEND}
- java? ( >=virtual/jdk-1.8 )
-"
-BDEPEND="
- doc? ( app-text/doxygen[dot] )
-"
-
-CMAKE_BUILD_TYPE=RelWithDebInfo
-
-src_prepare() {
- cmake_src_prepare
- java-pkg-opt-2_src_prepare
-}
-
-multilib_src_configure() {
- local mycmakeargs=(
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"
- -DZ3_USE_LIB_GMP=$(usex gmp)
- -DZ3_ENABLE_EXAMPLE_TARGETS=OFF
- -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc)
- -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python)
- -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java)
- -DZ3_INCLUDE_GIT_DESCRIBE=OFF
- -DZ3_INCLUDE_GIT_HASH=OFF
- )
-
- multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" )
-
- cmake_src_configure
-}
-
-multilib_src_test() {
- cmake_build test-z3
- set -- "${BUILD_DIR}"/test-z3 /a
- echo "${@}" >&2
- "${@}" || die
-}
-
-multilib_src_install_all() {
- dodoc README.md
- use examples && dodoc -r examples
- use python && python_optimize
-
- if use isabelle; then
- insinto /usr/share/Isabelle/contrib/${P}/etc
- newins - settings <<-EOF
- Z3_COMPONENT="\$COMPONENT"
- Z3_HOME="${EPREFIX}/usr/bin"
- Z3_SOLVER="${EPREFIX}/usr/bin/z3"
- Z3_REMOTE_SOLVER="z3"
- Z3_VERSION="${PV}"
- Z3_INSTALLED="yes"
- Z3_NON_COMMERCIAL="yes"
- EOF
- fi
-}
-
-pkg_postinst() {
- if use isabelle; then
- if [[ -f ${ROOT}/etc/isabelle/components ]]; then
- sed -e "/contrib\/${PN}-[0-9.]*/d" \
- -i "${ROOT}/etc/isabelle/components" || die
- cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die
- contrib/${P}
- EOF
- fi
- fi
-}
-
-pkg_postrm() {
- if use isabelle; then
- if [[ ! ${REPLACING_VERSIONS} ]]; then
- if [[ -f "${ROOT}/etc/isabelle/components" ]]; then
- # Note: this sed should only match the version of this ebuild
- # Which is what we want as we do not want to remove the line
- # of a new Isabelle component being installed during an upgrade.
- sed -e "/contrib\/${P}/d" \
- -i "${ROOT}/etc/isabelle/components" || die
- fi
- fi
- fi
-}
diff --git a/sci-mathematics/z3/z3-4.14.0.ebuild b/sci-mathematics/z3/z3-4.14.0.ebuild
index 759a8f720476..aa0ae4da8a05 100644
--- a/sci-mathematics/z3/z3-4.14.0.ebuild
+++ b/sci-mathematics/z3/z3-4.14.0.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ppc64 ~riscv sparc x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-12 23:10:28 +0000