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/why3-for-spark: profiling is not more supported by newer ocamlTupone Alfredo2020-01-171-2/+1
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtkTupone Alfredo2020-01-161-1/+1
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/fricas: fix HOMEPAGEAndrey Grozin2020-01-152-4/+4
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/why3-for-spark: Needs a newer coq versionTupone Alfredo2020-01-151-1/+1
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: use ocaml-4.09Tupone Alfredo2020-01-141-0/+78
| | | | | | Closes: https://bugs.gentoo.org/705072 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/prng: [QA] Fix HomepageInSrcUriDavid Seifert2020-01-131-1/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/mathomatic: [QA] Fix HomepageInSrcUriDavid Seifert2020-01-131-1/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/lrcalc: [QA] Fix HomepageInSrcUriDavid Seifert2020-01-131-1/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rkward: Port to ecm.eclass and kde.org.eclassAndreas Sturmlechner2020-01-121-26/+29
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/pymc: remove last-rited pkgMikle Kolyada2020-01-124-82/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/lybniz: remove last-rited pkgMikle Kolyada2020-01-123-43/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/mlpy: remove last-rited pkgMikle Kolyada2020-01-123-52/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/nusmv: remove last-rited pkgMikle Kolyada2020-01-123-100/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/p9m4: remove last-rited pkgMikle Kolyada2020-01-126-264/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/Macaulay2: remove last-rited pkgMikle Kolyada2020-01-126-286/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/snns: remove last-rited pkgMikle Kolyada2020-01-129-525/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/factmsieve: remove last-rited pkgMikle Kolyada2020-01-124-92/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/xmds: remove last-rited pkgMikle Kolyada2020-01-123-61/+0
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/yacas: Remove local USE="gui"David Seifert2020-01-121-1/+0
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/octave: Remove local USE="gui"David Seifert2020-01-121-1/+0
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: Bump to 1.2.5033, use acct rstudio-serverMark Wright2020-01-105-0/+469
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Thanks to John Dough for reporting the version bump bug #702140. Thanks to toralf for reporting bug #693662. The egit_clean: command not found is fixed by inherit vcs-clean. The QA: other The ebuild is installing to one or more unexpected paths: /usr/extras is fixed with the sed under this comment: # install themes in /etc/rstudio/extra/sthemes instead of /usr/extra/themes The: One or more CMake variables were not used by the project: QT_QMAKE_EXECUTABLE RSTUDIO_INSTALL_FREEDESKTOP is fixed by only setting these variables if use !dedicated. Thanks to Alessandro Barbieri reporting bug #696944, the dependencies are unbundled in rstudio 1.2.5033.ebuild, and some needless dependencies are removed. Closes: https://bugs.gentoo.org/show_bug.cgi?id=702140 Closes: https://bugs.gentoo.org/show_bug.cgi?id=693662 Closes: https://bugs.gentoo.org/show_bug.cgi?id=696944 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Mark Wright <gienah@gentoo.org>
* 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>