summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/primecount: [QA] use tc-check-openmp correctlyDavid Seifert38 hours1-1/+6
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gretl: [QA] use tc-check-openmp correctlyDavid Seifert38 hours1-4/+6
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gmp-ecm: [QA] use tc-check-openmp correctlyDavid Seifert38 hours2-3/+12
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/agda-stdlib: egrep -> grep -ESam James3 days1-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/normaliz: [QA] tc-has-openmp → tc-check-openmpDavid Seifert3 days3-7/+20
| | | | | Closes: https://github.com/gentoo/gentoo/pull/25486 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gmp-ecm: fix qa WhitespaceFoundConrad Kostecki4 days1-2/+2
| | | | Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/normaliz: new upstream version 3.9.3.Michael Orlitzky9 days3-1/+71
| | | | | | | | | | | | | * EAPI=8 * No more autotools.eclass (upstream provides a real release). * Install the quick reference doc. * Support USE=nauty for automorphism group computation. * Pass --without-foo for remaining unsupported options. * Use the default src_test(). * Fix QA warning about pre-stripped files. Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new revision to fix gmp dependency.Michael Orlitzky10 days1-1/+2
| | | | | | | | We need gmp[cxx] to link with -lgmpxx. Closes: https://bugs.gentoo.org/776883 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild.Michael Orlitzky10 days3-381/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new revision with miscellaneous fixes.Michael Orlitzky10 days3-73/+181
| | | | | | | | | | | | * Update to EAPI=8. * Update the buildsystem patch to eliminate a call to "csh", fixing bug 732022 without requiring csh at build-time. * Drop tcsh from BDEPEND. * HOMEPAGE and SRC_URI needed updates. Closes: https://bugs.gentoo.org/732022 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/easycrypt: add Why3 constraints for older EC versionsMaciej Barć10 days2-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2Maciej Barć10 days2-46/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 2022.04_p20220505Maciej Barć10 days2-0/+46
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: bump to 1.5.0François-Xavier Carton10 days3-0/+105
| | | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/25372 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: don't install *.la files.Michael Orlitzky10 days1-0/+2
| | | | | | | | | I've fixed this only in the currently-unkeyworded v7.1.0 since it is harmless and octave takes a long time to build. Closes: https://bugs.gentoo.org/842663 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: upstream bumpFrançois Bissey11 days3-0/+67
| | | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Closes: https://bugs.gentoo.org/842843 Closes: https://github.com/gentoo/gentoo/pull/25341 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.17Michał Górny13 days2-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/octave: fix Java dependencySam James13 days1-2/+2
| | | | | | Thanks vaukai. Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: add rapidjson USE flagSam James13 days2-2/+5
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: tidy up 7.1.0Sam James13 days1-21/+14
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: fix patch filenameSam James13 days2-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: unkeyword 7.1.0Sam James13 days1-1/+2
| | | | | | | Doesn't build with SSL. Bug: https://bugs.gentoo.org/839285 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: patch 6.4.0 for Qt as wellSam James13 days2-1/+3
| | | | | | | ... given 7 doesn't seem to build with SSL? Bug: https://bugs.gentoo.org/839285 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: use configure.ac patchSam James13 days1-59/+18
| | | | | | | More resilient and doesn't get blown away by subsequent autoreconf. Bug: https://bugs.gentoo.org/839285 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: style tweaksSam James13 days2-5/+5
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: version bump to 7.1.0Thamognya Kodi13 days3-0/+277
| | | | | | | Bug: https://bugs.gentoo.org/839285 Closes: https://github.com/gentoo/gentoo/pull/25143 Signed-off-by: Thamognya Kodi <contact@thamognya.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/easycrypt: bump to 2022.04Maciej Barć2022-04-272-0/+44
| | | | | Closes: https://bugs.gentoo.org/841254 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-04-263-168/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665Arthur Zamarin2022-04-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Keyword 4.8.16 sparc, #779742Sam James2022-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665Arthur Zamarin2022-04-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665Arthur Zamarin2022-04-251-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665Sam James2022-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665Sam James2022-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.16Michał Górny2022-04-242-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/giac: upstream bumpFrançois Bissey2022-04-222-0/+167
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/25122 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: added upstream fixes for #776643 and #830279François Bissey2022-04-223-0/+64
| | | | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Bug: https://bugs.gentoo.org/776643 Bug: https://bugs.gentoo.org/830279 Closes: https://github.com/gentoo/gentoo/pull/24888 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/singular: upstream bumpFrançois Bissey2022-04-222-0/+114
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq-serapi: fix elisp libraries installationMaciej Barć2022-04-201-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: increase required menhir versionMaciej Barć2022-04-162-3/+3
| | | | | | | | | this is a very minor change to keep it in sync with https://opam.ocaml.org/packages/why3 also, no bump is needed since 20170418 version is long gone from ::gentoo Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave-6.4.0: add missing dependencieschn2022-04-161-5/+11
| | | | | | | Closes: https://bugs.gentoo.org/837752 Signed-off-by: Haonan Chen <chn@chn.moe> Closes: https://github.com/gentoo/gentoo/pull/24985 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/coq-serapi: add ppx_sexp_conv version constraintsMaciej Barć2022-04-161-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.1_p20220407Maciej Barć2022-04-152-0/+52
| | | | | | | | 2022.04.07 snapshot; bumped to get new cmdliner dependency, added in https://github.com/OCamlPro/alt-ergo/commit/92e831bf26b6f9d1478cd263e46e1a088fea29a8 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: depend on cmdliner <1.1.0Maciej Barć2022-04-151-1/+1
| | | | | | https://opam.ocaml.org/packages/alt-ergo/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/maxima: in 5.46 all localized docs are unicodeAndrey Grozin2022-04-141-2/+1
| | | | | | Closes: https://bugs.gentoo.org/838205 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 22.04.0Andrey Grozin2022-04-132-0/+80
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2022-04-132-80/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: bump to 5.46.0Andrey Grozin2022-04-132-0/+230
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: remove old versionsAndrey Grozin2022-04-133-490/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/pari: new upstream version 2.13.4.Michael Orlitzky2022-04-062-0/+122
| | | | | | Closes: https://bugs.gentoo.org/836869 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>