Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/pspp: add savannah upstream metadataSam James2022-10-181-0/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: add savannah upstream metadataSam James2022-10-181-13/+16
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: add savannah upstream metadataSam James2022-10-181-1/+4
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/smtinterpol: fix QA BadDescriptionConrad Kostecki2022-10-151-2/+2
| | | | Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/cvc4: fix PythonHasVersionUsageSam James2022-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16Ionen Wolkens2022-10-112-2/+28
| | | | | | Closes: https://bugs.gentoo.org/863257 Closes: https://bugs.gentoo.org/871423 Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.2-r1 x86, #876202Agostino Sarubbo2022-10-091-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.2-r1 amd64, #876202Agostino Sarubbo2022-10-091-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/pspp: fix MissingUseDepDefault on cairoSam James2022-10-082-2/+2
| | | | | Closes: https://bugs.gentoo.org/875944 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: drop 1.6.1Sam James2022-10-082-87/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gmp-ecm: new revision to drop USE=cuda support.Michael Orlitzky2022-10-072-15/+5
| | | | | | | | | | | | Our CUDA support doesn't work at the moment, and neither François nor I have access to the hardware. To avoid annoying users, we disable it until someone who has the hardware can tell us how to fix it. And while I'm deleting things... we say goodbye to static-libs, too. They aren't generally useful to end users. Closes: https://bugs.gentoo.org/873289 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/dataplot: add missing bdependAndrew Ammerlaan2022-10-061-1/+2
| | | | | Closes: https://bugs.gentoo.org/728890 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.0.2Maciej Barć2022-10-062-0/+105
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/giac: pari 2.15 compat + -gui workaroundFrançois Bissey2022-10-042-0/+23
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/27625 Closes: https://bugs.gentoo.org/875179 Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.16.0Maciej Barć2022-10-022-0/+68
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: restrict coq versionMaciej Barć2022-10-021-1/+1
| | | | | Closes: https://bugs.gentoo.org/873604 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/geogebra-bin: fix StaticSrcUriSam James2022-10-012-3/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2022-09-273-160/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 22.09.0Andrey Grozin2022-09-272-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/alt-ergo: 2.4.2 - do not depend on seqMaciej Barć2022-09-241-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-09-232-108/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/vampire: depend on z3 version >=4.11.2Maciej Barć2022-09-232-2/+2
| | | | | | | | both vampire 4.6.1 and 4.7 build correctly with >=sci-mathematics/z3-4.11.2 Closes: https://bugs.gentoo.org/872512 Bug: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-09-235-432/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Revert "Remove old"Michał Górny2022-09-236-0/+540
| | | | | Reverts: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-09-236-540/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290Arthur Zamarin2022-09-231-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290Arthur Zamarin2022-09-221-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.11.2 x86, #872290Jakov Smolić2022-09-221-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290Jakov Smolić2022-09-221-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.11.2 arm, #872290Jakov Smolić2022-09-221-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290Jakov Smolić2022-09-221-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/pari: bullet-proof DLLD detection.Michael Orlitzky2022-09-201-7/+7
| | | | | | | | | We have another DLLD (compiler driver for shared libraries) detection issue in bug 871117. We now force DLLD=$CC during ./Configure, which should override the detection with the correct value more reliably. Closes: https://bugs.gentoo.org/871117 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: drop 2.13.4Michael Orlitzky2022-09-201-121/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: add 2.15.0Michael Orlitzky2022-09-202-0/+127
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: drop 5.42.1-r1, EAPI-6--Andreas Sturmlechner2022-09-197-369/+0
| | | | | Closes: https://bugs.gentoo.org/867547 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/maxima: re-keyword 5.46.0 for ~ppcAndreas Sturmlechner2022-09-191-1/+1
| | | | | | Thanks-to: ernsteiswuerfel <erhard_f@mailbox.org> Bug: https://bugs.gentoo.org/778293 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/why3: bump to 1.5.1Maciej Barć2022-09-192-0/+104
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gmm: drop 5.1, 5.3Andreas Sturmlechner2022-09-163-46/+0
| | | | | Closes: https://bugs.gentoo.org/867541 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 ppc64, #867541Arthur Zamarin2022-09-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/maxima: update ManifestUlrich Müller2022-09-161-1/+0
| | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/maxima: Revert "drop 5.42.1-r1"Andreas Sturmlechner2022-09-167-0/+370
| | | | | | This reverts commit 9363c6359bfc0e1a025a2407b98be26fc3ceaa67. Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/maxima: drop 5.42.1-r1, 5.45.1-r2Andreas Sturmlechner2022-09-168-606/+0
| | | | | Closes: https://bugs.gentoo.org/867547 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/maxima: Stabilize 5.46.0 x86, #867547Agostino Sarubbo2022-09-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 ppc, #867541Arthur Zamarin2022-09-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 x86, #867541Sam James2022-09-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/maxima: Stabilize 5.46.0 amd64, #867547Agostino Sarubbo2022-09-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 amd64, #867541Agostino Sarubbo2022-09-151-2/+2
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/maxima: disable the failing test suite.Michael Orlitzky2022-09-141-1/+1
| | | | | | | | | | | Stabilization of maxima-5.46.0 is pending, but its test suite fails even after disabling a chunk of unmaintained "share" tests. The failures have all been reported upstream; for now let's just turn it off so we don't annoy users. Bug: https://bugs.gentoo.org/867547 Closes: https://bugs.gentoo.org/838202 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-133-0/+57
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: better slibtool fix in v6.4.0.Michael Orlitzky2022-09-111-0/+215
| | | | | | | | | | | | The --enable-link-all-dependencies flag was added to octave-6.4.0 to fix the build with slibtool, but that had some unintended consequences (bug 858554). The whole thing is moot in v7.2.0, but there's a better fix for v6.4.0: using --disable-no-undefined, which, double-negatively, allows for undefined symbols wherever they were causing problems. It still builds OK with rlibtool, ship it! Closes: https://bugs.gentoo.org/858554 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>