summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin19668 -> 19673 bytes
-rw-r--r--sci-mathematics/coq/Manifest2
-rw-r--r--sci-mathematics/coq/coq-8.20.0.ebuild2
-rw-r--r--sci-mathematics/flint/Manifest3
-rw-r--r--sci-mathematics/flint/files/flint-3.1.3_p1-c23.patch31
-rw-r--r--sci-mathematics/flint/flint-3.1.3_p1-r2.ebuild112
-rw-r--r--sci-mathematics/lean/Manifest2
-rw-r--r--sci-mathematics/lean/lean-4.11.0.ebuild2
8 files changed, 150 insertions, 4 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 9c0a2c278d05..2347820961ca 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 937ffb5bf1c6..daefd4ddc0dd 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,5 +1,5 @@
DIST coq-8.19.2.tar.gz 7678311 BLAKE2B 5f9617fbe0127b0c8357c63f331ba3e9fb5a931be9a4a8e8de2e27820a0d986bf99ed9a512740a0f721c742504225ae56e240af893510aa0e449931499d10aab SHA512 91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c
DIST coq-8.20.0.tar.gz 7839432 BLAKE2B 9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c SHA512 1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b
EBUILD coq-8.19.2.ebuild 2483 BLAKE2B ce2870e40fe70f113cb52eea1a7b5771bee4180d0a58e4bfb539feb0c499531b2dc1388066f33bb7024d77c5efc8541d3e545e86568e58cec12c48eaa9f8360d SHA512 49605fd89331d80ac24bd886f1b96ffbf9ad17c0ffec3dfe2ac0bda2176853f10e023708a02ccffbcda2c0f2a9443e921a44e2745446ac13181aada4c5aebb97
-EBUILD coq-8.20.0.ebuild 2896 BLAKE2B 0b241fec6dd165b83fa07c0708b03461ceebbf800fd6501936c8c36e7c9a0f42c6c01594c1ee48903b535dbd65a2fc389bd4bdb66e98ffe926a78fe302e4acec SHA512 5d4d0a01cf012f142cb341d63c2c19ea05be45c2605ca2a2ebe92a9773703d046927318371afc5804187546e0a60daa225b20df05428f721dd04e964a4dc1378
+EBUILD coq-8.20.0.ebuild 2895 BLAKE2B 537f16925a0b630a4fec48a5503aa3e10a8a225aca594d2cdd529f6ede52bdca5b6139b9556daba827f8283278827a013438ce4b4ce5153c038a01b79b774ac9 SHA512 c24c2a9d573a348ca6934de093b281c84de698b95355714f9d8d7d9d81d1d945eafa869370f9847731e4d930ae10e77600581aa3d27be6cace6adfaaa4f62323
MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc
diff --git a/sci-mathematics/coq/coq-8.20.0.ebuild b/sci-mathematics/coq/coq-8.20.0.ebuild
index 7446a497d097..ed305875cdd0 100644
--- a/sci-mathematics/coq/coq-8.20.0.ebuild
+++ b/sci-mathematics/coq/coq-8.20.0.ebuild
@@ -17,7 +17,7 @@ else
SRC_URI="https://github.com/coq/coq/archive/V${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64 ~x86"
+ KEYWORDS="amd64 ~x86"
fi
LICENSE="LGPL-2.1"
diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest
index 4ab2642a12c0..9ae34e98b243 100644
--- a/sci-mathematics/flint/Manifest
+++ b/sci-mathematics/flint/Manifest
@@ -1,6 +1,9 @@
AUX flint-3.0.1-find-cblas.patch 1755 BLAKE2B bdf73d282a98f11126271d1afb5dd27daa2242fbd4923558a720753db85fcc71474ab559822a3549d60c555ab72c8273350c9df3fea2ba4d134bd7a45ec4c089 SHA512 1dc9342031472e59a5ba68540f070dc410134be5d52d7545a780c5b2867fad3c84410c5719ada517a0f2780f384c02487d128e0264bdaa54e8cdf34d2a5b71df
+AUX flint-3.1.3_p1-c23.patch 925 BLAKE2B 88b6da674810c2ac15da5058cc00589376a9d1df587de5cfcf37fe0aad9dd7196cf769088ebbf181b713790bd52fed53c399f6d9e76e6f473a8d5e344f280e12 SHA512 cb3a8678a4a0ffb1b0a8b4a2851257afbd7187562e16d61812118b77814f6eca6cdb5a12f87ed6a4fb25e5e54bfefbc39cc8f4a7fc85fd2583a690c2ae93fd7a
AUX flint-3.1.3_p1-c99-I.patch 14288 BLAKE2B b0c030835fa6f239367fd169e428c09551893f4b7a7d525344d33ee8c9756f6652b570543af5bd0ffccc292753bde9dad4cbe933aa71187660fe96852f65fea5 SHA512 7698f3003cab0909a7a42d8c6701a3a4837325aa595ab171781faef482850b1c013dcf9f11e089fe860de7fa7aad0b9f62830b3f41a73343fb0663135f5067e3
AUX flint-3.1.3_p1-fix-pc-location.patch 1021 BLAKE2B 742529fe63da7433eedf5945d41135ad26cb46de4524c2126b3db029ce1eb75f036579396cdfa16d8c8b91b1b46c4e40b017677e7e51884d169f2c6d1274ef91 SHA512 f33ef280cc6c6e8f28d1bc0c88dd0cd018a9c3066b39c1898e1bb99ef95fb649efb4354c6a29a5210bf0b204820a0c78489f8bd73d895a3cf81aafd89459c7cd
DIST flint-3.1.3_p1.tar.gz 7588734 BLAKE2B 87acf8778e21e37c01e12b198ff81e62ab113df3e0e9c6155ff7dd505828f79d5c49d85093e261ea96397e906350caa03477e3ecbdd1fc09d6ae5c984397a2be SHA512 1b16ff2fb9cb2ac4b75513278b8c14683e8d83db39985631df14d6ea74bee4d6ea818a200321d5f0de6f1af89898f7a99dc7088f712f4c6db1a2546199aefba7
+DIST flint-3.1.3_p1.tar.xz 5657304 BLAKE2B 7a76cbd7e3ea6ecfb4728545c427eba48ab476b257316792305522770e03b335d558cc104bac50b1faf2e8e25663f6ade20eef99e85999f7209091bf3c6e674a SHA512 430e83be2d94c059066b7201319dbbbe414ccd10a4f359a865e54f3912b8b8e8f10dfd36ee81c96335553ee2736cf2ef9e1ffdf488c9706360b9e0e8a50a4eea
EBUILD flint-3.1.3_p1-r1.ebuild 2143 BLAKE2B 0fd33eed838547b58b961280b3aacfbb21c4d4829d2edff5e6572b451ccc5f5b2f9fdb4506fbd77034dde8cdb23fa6fd9f3bd8b2a3d1e5ed66b7807dd61dc0aa SHA512 0e3710c96a76ea0bf1a562d661d55a43097b81e6a4a120689d3f8dcd52239d5c3a2a4cac89a7e4e9501e07e47a32cc0ef3dd592799859a1005597ad092542850
+EBUILD flint-3.1.3_p1-r2.ebuild 2998 BLAKE2B 6c707c9b620ab557cf059bfdee18a77a5adb73962b4ac63fc74b448b171144c3d1739baf3f7b6bc08192029786fc6700a8aac6f07136ba5faa237d0623c288c8 SHA512 0432764a1e7a49b7bfb2d8feec0926bffdf67b17564824db720d54d4de8839b5dd811e2c6429edb5cdb04b9cd77a3301e3bcddf98c5a82bfe0b35e8ca0fbe185
MISC metadata.xml 640 BLAKE2B b95d6f493564025e43604bffa340fffd88fcedf29c282fcc3c18e08ac089cdf1e10837787af664dd250a77a62237bf3665ff0a3045ca52680dd67aa0b39eeba7 SHA512 a9a64076e7f0df29e6a05a9d349c530a4ee4285b6a444425681eddf6ae1e8b41f610fda0bd7cc86b5177b36f34bc3072b67c7edac2cc8c0709a032b000576a14
diff --git a/sci-mathematics/flint/files/flint-3.1.3_p1-c23.patch b/sci-mathematics/flint/files/flint-3.1.3_p1-c23.patch
new file mode 100644
index 000000000000..43f69603e3e0
--- /dev/null
+++ b/sci-mathematics/flint/files/flint-3.1.3_p1-c23.patch
@@ -0,0 +1,31 @@
+From ee516836e58327310ca58f10f71ae8873b0320e0 Mon Sep 17 00:00:00 2001
+From: Michael Orlitzky <michael@orlitzky.com>
+Date: Mon, 25 Nov 2024 22:22:02 -0500
+Subject: [PATCH] src/flint.h.in: fix "noreturn" attribute in C23 mode
+
+C23 uses [[noreturn]] for this, just like C++.
+
+Signed-off-by: Michael Orlitzky <michael@orlitzky.com>
+---
+ src/flint.h.in | 6 ++----
+ 1 file changed, 2 insertions(+), 4 deletions(-)
+
+diff --git a/src/flint.h.in b/src/flint.h.in
+index a574fc8a26..5b95ea5fe3 100644
+--- a/src/flint.h.in
++++ b/src/flint.h.in
+@@ -156,12 +156,10 @@ typedef const ulong * nn_srcptr;
+ # define FLINT_DEPRECATED
+ #endif
+
+-#if defined(__cplusplus)
++#if defined(__cplusplus) || ( __STDC_VERSION__ >= 202300L )
+ # define FLINT_NORETURN [[noreturn]]
+-#elif __STDC_VERSION__ < 202300L
+-# define FLINT_NORETURN _Noreturn
+ #else
+-# define FLINT_NORETURN noreturn
++# define FLINT_NORETURN _Noreturn
+ #endif
+
+ #if FLINT_USES_TLS
diff --git a/sci-mathematics/flint/flint-3.1.3_p1-r2.ebuild b/sci-mathematics/flint/flint-3.1.3_p1-r2.ebuild
new file mode 100644
index 000000000000..841de4da69e3
--- /dev/null
+++ b/sci-mathematics/flint/flint-3.1.3_p1-r2.ebuild
@@ -0,0 +1,112 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..13} python3_13t )
+inherit flag-o-matic python-any-r1
+
+DESCRIPTION="Fast Library for Number Theory"
+HOMEPAGE="https://www.flintlib.org/"
+
+MY_PV="${PV/_/-}"
+SRC_URI="https://github.com/flintlib/flint/releases/download/v${MY_PV}/flint-${MY_PV}.tar.xz -> ${P}.tar.xz"
+S="${WORKDIR}/${PN}-${MY_PV}"
+LICENSE="LGPL-2.1+"
+
+# Based off the soname, e.g. /usr/lib64/libflint.so -> libflint.so.15
+SLOT="0/19"
+
+KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~x86"
+IUSE="doc ntl test"
+
+RESTRICT="!test? ( test )"
+
+BDEPEND="${PYTHON_DEPS}
+ doc? (
+ app-text/texlive-core
+ dev-python/sphinx
+ dev-tex/latexmk
+ dev-texlive/texlive-latex
+ dev-texlive/texlive-latexextra
+ )
+ ntl? ( dev-libs/ntl )
+"
+
+# NTL is never linked
+DEPEND="dev-libs/gmp:=
+ dev-libs/mpfr:=
+ virtual/cblas"
+
+# Flint 3.x includes arb. We include some version of NTL here if USE=ntl
+# is set so that consumers can depend on flint[ntl] to get a usable
+# Flint-NTL interface. But otherwise, NTL isn't actually needed at
+# runtime, even if Flint was built with USE=ntl.
+RDEPEND="${DEPEND}
+ ntl? ( dev-libs/ntl )
+ !sci-mathematics/arb"
+
+# The rst files are API docs, but they're very low-effort compared to
+# the PDF and HTML docs, so we ship them unconditionally and hide only
+# the painful parts behind USE=doc.
+DOCS="AUTHORS README.md doc/source/*.rst"
+
+PATCHES=(
+ "${FILESDIR}/flint-3.0.1-find-cblas.patch"
+ "${FILESDIR}/flint-3.1.3_p1-c99-I.patch"
+ "${FILESDIR}/flint-3.1.3_p1-fix-pc-location.patch"
+ "${FILESDIR}/flint-3.1.3_p1-c23.patch"
+)
+
+src_configure() {
+ # Test failures:
+ # * https://bugs.gentoo.org/934463
+ # * https://github.com/flintlib/flint/issues/2029
+ filter-flags -floop-nest-optimize \
+ -ftree-loop-linear \
+ -floop-strip-mine \
+ -floop-block \
+ -fgraphite-identity
+
+ # ABI needs to be unset because flint uses it internally for
+ # an incompatible purpose.
+ # --enable-debug just adds -g to your CFLAGS
+ # --enable-avx2 and --enable-avx512 just add "-mfoo" to CFLAGS
+ # --enable-gc affects thread-safety
+ local myeconfargs=(
+ ABI=""
+ --disable-debug
+ --with-blas
+ --with-gmp
+ --with-mpfr
+ --without-gc
+ )
+
+ # The NTL interface consists of a single header, NTL-interface.h,
+ # that is always installed. USE=ntl only determines whether or not
+ # the corresponding tests (which actually use NTL) are built and
+ # run. As a result, we don't care about USE=ntl without USE=test.
+ use test && myeconfargs+=( $(use_with ntl) )
+ econf "${myeconfargs[@]}"
+
+ if use doc; then
+ # Avoid the "html/_sources" directory that will contain a copy
+ # of the rst sources we've already installed, and also avoid
+ # installing html/objects.inv.
+ HTML_DOCS="doc/build/html/*.html
+ doc/build/html/*.js
+ doc/build/html/_static"
+ DOCS+=" doc/build/latex/Flint.pdf"
+ fi
+}
+
+src_compile() {
+ default
+
+ if use doc; then
+ pushd doc
+ emake html
+ emake latexpdf
+ popd
+ fi
+}
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index 44e2599da84c..af7499375b50 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -4,6 +4,6 @@ DIST lean-3.51.1.tar.gz 1918894 BLAKE2B 9a240fe73193794a57001582c0623052cfc1c08e
DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb
DIST lean-4.2.0.tar.gz 16382466 BLAKE2B 3a8770d92ae89041f3e12089c3bb9171a993e8a1c702162925b569e13ed8d8819b3e9aa3c00e314a80a118ff8e4b18fb6df8b8a0e85a21fcb1daa5c0bfc29d4f SHA512 b0bd91f39319c1c6fd6851732d9dcb8758734500abc8faf0648c03582a81d51f2d942fa5deecedf81116b894d0b65e93eccab557bf155e69d65bda83eccaf7bb
EBUILD lean-3.51.1.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d
-EBUILD lean-4.11.0.ebuild 1396 BLAKE2B 290329acafb3a31c70e65b271d3221dde9b9d70cdfc38c3db68e108fe1d7cf55bf0791aaf37c2e6860ca7c2e11744203e739b6365c4f488f23d54f5b90b046b5 SHA512 b8f07890e09f4c8a4b7e810d0c34b9f49476c18a6962c6a2c38167a0935bd68fe113f76f856c1c2625d4a789e3210a187acdc23f9e1ae2283608efc4f6625bf1
+EBUILD lean-4.11.0.ebuild 1395 BLAKE2B 9dea5026d1cef60c08d7de76061cdd7401f3c49e551df397a02b61cc5ce4fa34dddd636a339013ac424b090635196d0b94142fa2af895f43d8a0dcfc2a5c009b SHA512 e336e331fafbaa6b658007e5e6b1fd726044bde52fbdda56935c9c65ff47b1942bc721365be74118a62c9439e2bb395bdca160e906237374e3c235cb62c17825
EBUILD lean-4.2.0.ebuild 1314 BLAKE2B 5d4bf0f35c2935eedec2da03e93eef5ae03e5d3520b6addb8682083782deab721d1f2aa3f1bc958887b7110bb4f5c031cc200780cf9c5dabccd1d4918617a043 SHA512 ce464635431381a814c8ef8823c06477992b2c3691c09421a9d068d3cabe40e775f999020dde5e53f7100082e304658c4d52e62372e1f21185fd3195774c0dc2
MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7
diff --git a/sci-mathematics/lean/lean-4.11.0.ebuild b/sci-mathematics/lean/lean-4.11.0.ebuild
index 88456a89f156..c5400dbabb88 100644
--- a/sci-mathematics/lean/lean-4.11.0.ebuild
+++ b/sci-mathematics/lean/lean-4.11.0.ebuild
@@ -22,7 +22,7 @@ else
-> ${P}.tar.gz"
S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}"
- KEYWORDS="~amd64"
+ KEYWORDS="amd64"
fi
LICENSE="Apache-2.0"
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 12:50:02 +0000