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/coq: revbump for newer ocaml + numJason A. Donenfeld2020-01-071-0/+86
| | | | | | Fixes: https://bugs.gentoo.org/704928 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>
* sci-mathematics/prover9: eapi=7, add src_testMark Wright2020-01-071-6/+13
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics: Switch to cmake.eclassAndreas Sturmlechner2020-01-052-7/+7
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/wxmaxima: bump to 20.01.1Andrey Grozin2020-01-052-0/+50
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* */*: Clean PYTHON_COMPAT of obsolete implsMichał Górny2020-01-055-10/+10
| | | | | Closes: https://github.com/gentoo/gentoo/pull/14246 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/lrcalc: new package for Littlewood-Richardson coeffs.Michael Orlitzky2020-01-024-0/+140
| | | | | | | | | | | | | | | | | | | This package was imported from the sage-on-gentoo overlay with only a few changes: * Updated from EAPI=6 to EAPI=7. * Enabled the test suite, which passes for me. * Changed the HOMEPAGE/SRC_URI to use HTTPS, and follow a redirect. * Updated LICENSE from GPL-2 to GPL-2+ based on the upstream LICENSE file. The SageMath package can detect and use lrcalc from the system, so having this package installed will help Gentoo users of SageMath avoid pointless rebuilds of lrcalc. Closes: https://bugs.gentoo.org/704572 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/eclib: new package for rational elliptic curves.Michael Orlitzky2019-12-303-0/+77
| | | | | | | | | | | | | | | | | | | This commit imports eclib-20190909 from the sage-on-gentoo overlay where François Bissey has been maintaining it for use with SageMath. I've made a few changes on top of the overlay version: * Enabled the test suite (it passes for me). * Put the "--disable-allprogs" configure flag behind USE=minimal. * Put the "--with-boost" configure flag behind USE=boost. * Inlined the SRC_URI which was using a custom thirdpartymirror. * Dropped obsolete autotools.eclass and RESTRICT=mirror. The SageMath build system can detect eclib on the system now, so having this package installed will save users time when rebuilding SageMath. Closes: https://bugs.gentoo.org/704096 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gp2c: update pari version requirement in new revision.Michael Orlitzky2019-12-291-1/+3
| | | | | | | | | | | The src_configure phase for gp2c needs the pari.cfg file that only newer versions of sci-mathematics/pari install. This was a pretty dumb mistake for me to make, considering that I recently updated pari precisely for this reason. Closes: https://bugs.gentoo.org/704104 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gp2c: new package to compile GP routines to C.Michael Orlitzky2019-12-283-0/+53
| | | | | | | | | | | | This commit imports version 0.0.11.2 more or less as-is, from the sage-on-gentoo overlay where François Bissey has been maintaining it for use with SageMath. I've enabled the test suite, which passes for me. I also moved dev-lang/perl into BDEPEND, since it's run on the build host to compile function descriptions. Closes: https://bugs.gentoo.org/703488 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: new version 2.11.2.Michael Orlitzky2019-12-286-0/+240
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This new version was imported from the sage-on-gentoo overlay where François Bissey has been maintaining it for use with SageMath. I've made a few changes: * Moved the virtual/latex-base dependency into BDEPEND, because those tools are run on the build host to create the documentation. * Used the existing patches (with different names) where possible. * Edited pari-2.10-no-automagic.patch to not mess with PLOTLIBS when USE=fltk is set. My build was failing because this patch resulted in -lstdc++ being stripped from the linker flags. * Dropped empty variable "${mymake}" in a few places. * Enabled the full test suite, which passes for me if I lie to pari about the number of columns my terminal has (???). * Installed some extra documentation by setting DOCS and calling the default implementation of src_install. * Used "usex" instead of an "if" statement for a ./Configure flag. * Changed "export CPLUSPLUS=$(tc-getCXX)" to "tc-export CXX". The CPLUSPLUS variable doesn't appear anywhere in the source, so I doubt this was doing anything. It may not even be necessary to export CC/CXX any longer. * Added RESTRICT="!test? ( test )" now that we run the test suite. * Added myself and François as maintainers. Closes: https://bugs.gentoo.org/703156 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: cleaning old versionsAndrey Grozin2019-12-267-312/+0
| | | | | Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.12.2Andrey Grozin2019-12-243-0/+62
| | | | | Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/agda: allow multiple revisions of agda-stdlibSergei Trofimovich2019-12-243-3/+3
| | | | | Package-Manager: Portage-2.3.83, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: allow edisoncore-1.3.2Sergei Trofimovich2019-12-231-0/+150
| | | | | | | Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/703418 Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/singular: Remove call to deprecated elisp-need-emacs.Ulrich Müller2019-12-212-10/+0
| | | | | | | | Emacs 23 is the minimum version supported by the eclass. So, there is no need to check for >=22 and the call can simply be dropped. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/twelf: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/singular: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/pspp: Update virtual/emacs dependency.Ulrich Müller2019-12-201-1/+1
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/maxima: Update virtual/emacs dependency.Ulrich Müller2019-12-204-5/+5
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/Macaulay2: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/gretl: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/geomview: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/fricas: Update virtual/emacs dependency.Ulrich Müller2019-12-202-3/+3
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/agda: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/rstudio: Fix building with boost 1.72David Seifert2019-12-203-15/+47
| | | | | | Closes: https://bugs.gentoo.org/703124 Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/maxima: Provide missing texinfo file.Ulrich Müller2019-12-202-1/+4
| | | | | | | | | doc/info/de/include-maxima.de.texi is missing from the tarball, which caused the build to fail for L10N=de. Bug: https://bugs.gentoo.org/687244 Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/pari-data: new version to force mirror of new tarballs.Michael Orlitzky2019-12-163-30/+33
| | | | | | | | | | | | | | There are new versions of these databases, but upstream modifies the (unversioned) tarballs for them in-place when that happens. We tag the distfiles with the package version, however, so this new version should force new copies of everything to be mirrored. In addition, I've used https in HOMEPAGE and SRC_URI, and have updated the ebuild from EAPI=4 to EAPI=7. Closes: https://bugs.gentoo.org/703146 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: remove unused patch(es)Michael Mair-Keimberger2019-12-121-18/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13960 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/pymc: [QA] Fix MissingTestRestrictMichał Górny2019-12-121-0/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/flint: [QA] Fix MissingTestRestrictMichał Górny2019-12-123-6/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-115-14/+12
| | | | | | | | | | | | * Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-118-1/+9
| | | | | | | | | | | | | | | | | | The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Tested on python3.8Michał Górny2019-12-081-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove oldDavid Seifert2019-12-084-473/+0
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/singular: Remove oldDavid Seifert2019-12-0810-433/+0
| | | | | | | | * Required for pruning py2.7 from the tree Closes: https://github.com/gentoo/gentoo/pull/13912 Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/unuran: Port to EAPI 7David Seifert2019-12-081-21/+24
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rngstreams: Port to EAPI 7David Seifert2019-12-081-10/+22
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: [QA] Fix AbsoluteSymlinkDavid Seifert2019-12-072-2/+2
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: Remove oldDavid Seifert2019-12-074-753/+0
| | | | | | | * <dev-libs/boost-1.70 is gone from the tree Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.12.1Andrey Grozin2019-12-072-0/+50
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/gmm: version bump 5.3Amy Liffey2019-12-072-0/+23
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Amy Liffey <amynka@gentoo.org>
* sci-mathematics/gmm: update HOMEPAGE, SRC_URIWim Muskee2019-12-071-3/+3
| | | | | | | Closes: https://bugs.gentoo.org/699764 Closes: https://github.com/gentoo/gentoo/pull/13902 Signed-off-by: Wim Muskee <wimmuskee@gmail.com> Signed-off-by: Amy Liffey <amynka@gentoo.org>
* sci-mathematics/pymc3: Remove py2Michał Górny2019-12-041-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/coq: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13706 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/z3: arm64 stable (bug #700296)Aaron Bauman2019-11-231-1/+1
| | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.79, Repoman-2.3.18
* sci-mathematics/z3: arm stable wrt bug #700296Mikle Kolyada2019-11-221-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/fann: EAPI-7 bumpAndreas Sturmlechner2019-11-202-6/+5
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/z3: ppc64 stable wrt bug #700296Agostino Sarubbo2019-11-201-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>