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: serialize installAlfredo Tupone2021-04-062-2/+2
| | | | | | Closes: https://bugs.gentoo.org/780114 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: python3_9, switch to cmake.eclassAndreas Sturmlechner2021-04-051-10/+9
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/arb: Switch to cmake.eclassAndreas Sturmlechner2021-04-051-2/+2
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/rkward: Drop superfluous optfeature headerAndreas Sturmlechner2021-04-041-2/+1
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/flint: fix CMAKE_MAKEFILE_GENERATORSam James2021-04-021-3/+2
| | | | | | | Controls sys-devel/make dependency in global scope, hence must be defined pre-inherit. Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/maxima: require USE="ansi" and USE="readline" for gcl.Michael Orlitzky2021-04-011-1/+1
| | | | | | | | | | | | While digging through its configure.ac, I noticed that maxima needs (and checks for) ANSI support within GCL. And we pull in app-misc/rlwrap to ensure that all lisp implementations support readline, but not for gcl. So we probably want USE=readline there, too. The revisions are getting annoying but I have to fix this before I forget. Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: new package for the Giac/Xcas math systems.Michael Orlitzky2021-04-015-0/+304
| | | | | | | | | | | | | | | | We have bugzilla requests for this package going back to 2005! The SageMath suite has recently gained the ability to use Giac from the system, so now is an especially good time to add it to the tree. François Bissey has been maintaining this package for years in the sage-on-gentoo overlay and contributing fixes upstream, so the ebuild required only minor changes at this point. I personally thank him and you should too. Closes: https://bugs.gentoo.org/94539 Closes: https://bugs.gentoo.org/94542 Closes: https://bugs.gentoo.org/760684 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/glpk: don't install build artifacts with USE=examples.Michael Orlitzky2021-03-311-0/+16
| | | | | | | | | | | | | | | | The build system for glpk automatically descends into the "examples" directory to build an example program. Afterwards, when we install the entire "examples" directory to honor USE=examples, we wind up installing the build artifacts for that program as well. This commit adds an extra "emake clean" to remove the build artifacts, and an "rm" to get rid of the (useless, to the end user) example Makefiles themselves. Closes: https://bugs.gentoo.org/779358 Reported-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/msieve: Remove broken live ebuildDavid Seifert2021-03-311-50/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/msieve: Clean up ebuildDavid Seifert2021-03-313-99/+24
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/maxima: drop eutils.eclass and duplicate launcher.Michael Orlitzky2021-03-301-5/+2
| | | | | | | | | | | Upstream provides its own xmaxima launcher now, so the one that we were (attempting to, since I borked it during the EAPI=7 bump) create is no longer necessary. This commit drops the duplicate icon, and the use of eutils.eclass which no longer serves any discernable purpose. Closes: https://bugs.gentoo.org/779325 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/yafu: Remove sieve USE flagJakov Smolic2021-03-303-18/+2
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/ggnfs: Remove last-rited pkgJakov Smolic2021-03-304-239/+0
| | | | | | | | | Closes: https://bugs.gentoo.org/454074 Closes: https://bugs.gentoo.org/542280 Closes: https://bugs.gentoo.org/708508 Closes: https://bugs.gentoo.org/728026 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/maxima: hide dbl.el when USE=gcl is unset.Michael Orlitzky2021-03-291-0/+7
| | | | | | | | | | | One of the emacs modes installed by maxima requires the gcl lisp interpreter (with emacs support) to be installed. To avoid confusing error messages, we remove it from the installation image when USE=gcl is unset. Closes: https://bugs.gentoo.org/502112 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: new revision with separate ccl/ccl64 support.Michael Orlitzky2021-03-292-1/+234
| | | | | | | | | | | | | | | | | | In Gentoo, both the 32-bit and 64-bit versions of clozurecl are provided by the same package and executable name (ccl). Maxima however treats them as separate lisp implementations, with two complete sets of configure flags. To make that work correctly in the ebuild, we'd need to have a bunch of special cases for the user's architecture. Instead, this commit adds a separate "clozurecl64" USE flag to complement the existing, now 32-bit, "clozurecl" flag. This will allow us to mask the 32-bit flag in the 64-bit profiles and vice-versa. Closes: https://bugs.gentoo.org/665364 Closes: https://bugs.gentoo.org/715278 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gimps: Remove oldPPed722021-03-262-76/+0
| | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/20075 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: Version bump to 30.5 build 2PPed722021-03-262-0/+76
| | | | | | | Closes: https://bugs.gentoo.org/777849 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/maxima: new USE-controlled dependency on sci-libs/vtk.Michael Orlitzky2021-03-253-7/+51
| | | | | | | | | | | | | | VTK is an optional backend for plotting in Maxima that you can enable with "draw_renderer: 'vtk;". It is also NON-optional when drawing with the scene() command; however, scene() is presently broken after VTK dropped its Tcl/Tk interface. As a result, we add sci-libs/vtk only as an optional dependency to Maxima, behind USE=vtk. This requires dropping ~ppc for now. Closes: https://bugs.gentoo.org/769899 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: rename USE=tk to USE=gui.Michael Orlitzky2021-03-251-9/+12
| | | | | | | | The "tk" flag isn't something a normal user can understand. Since its main purpose it to enable a GUI, I've renamed it to "gui". Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: don't hard-code the python interpreter.Michael Orlitzky2021-03-252-4/+55
| | | | | | | | | | | | This is a two-parter to fix bug 766291, which has the build failing because it can't find "python". First, we patch the build system to use @PYTHON@ instead of "python" in the one place upstream missed it. Second, we add python-single-r1 to the ebuild so that we get $PYTHON set appropriately. Closes: https://bugs.gentoo.org/766291 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: re-enable ECL package.Michael Orlitzky2021-03-252-3/+33
| | | | | | | | | | The ECL package needed for USE=ecls got dropped from the ebuild because the patch it requires no longer applied. We take François Bissey's patch from the sage-on-gentoo overlay and re-enable it. Closes: https://bugs.gentoo.org/732776 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: Revert "don't hardcode python"Michael Orlitzky2021-03-252-40/+2
| | | | | | | | | This reverts commit 9b7b496428d9e3c307666e05aed3035c0ebb883d. I have a complete fix for this (and other open maxima bugs) in the middle of a series of patches/revisions. Reverting so that it doesn't clobber my rebase. Sorry for not speaking up! Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: don't hardcode pythonAndrey Grozin2021-03-252-2/+40
| | | | | | | Suggested-by: Michael Orlitzky <mjo@gentoo.org> Closes: https://bugs.gentoo.org/766291 Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/singular: new version 4.2.0p1.Michael Orlitzky2021-03-225-0/+249
| | | | | | | | | Taken from the sage-on-gentoo overlay with minor tweaks and a new patch. Many, many thanks to François Bissey for his work on this. Closes: https://bugs.gentoo.org/712004 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gimps: Remove oldPPed722021-03-192-74/+0
| | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/19973 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: Version bump to 30.5 build 1PPed722021-03-192-0/+76
| | | | | | | Closes: https://bugs.gentoo.org/776931 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/topcom: removing doc use flag, unconditional installationFrançois Bissey2021-03-161-6/+4
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19936 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: define HTML_DOCS only when doc is in USE.François Bissey2021-03-161-2/+4
| | | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Bug: https://bugs.gentoo.org/776310 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* */*: Add proxied="yes" for non-@gentoo.org peopleMichał Górny2021-03-1614-14/+14
| | | | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '/pkgmetadata/maintainer[substring(email, string-length(email) - string-length("@gentoo.org") + 1) != "@gentoo.org"]' \ -t attr -n proxied -v yes {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Add 'proxied="proxy"' for proxy-maint projectMichał Górny2021-03-1614-14/+14
| | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '//maintainer[email="proxy-maint@gentoo.org"]' \ -t attr -n proxied -v proxy {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Normalize metadata.xml filesMichał Górny2021-03-166-6/+5
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/agda: allow ghc-8.10.4Sergei Trofimovich2021-03-151-1/+4
| | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/flint: add missing dev-tex/latexmk dependency.Michael Orlitzky2021-03-151-0/+1
| | | | | | | | | | Straight-to-stable because we're still in the process of stabilizing v2.6.3 and I don't want to make amd64@ re-test it when I've already done that myself. Closes: https://bugs.gentoo.org/775164 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1Sam James2021-03-134-182/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/fann: Revert multilib supportAndreas Sturmlechner2021-03-122-9/+9
| | | | | | | | | | | | Reverting commit 4f798560ee14becf35b08aabbe758ba60aa52b73. Done without fixing tests for multilib, no one fixed the bug since 2019. Bug: https://bugs.gentoo.org/589380 Closes: https://bugs.gentoo.org/700760 Bug: https://bugs.gentoo.org/770553 Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/octave: new upstream version 6.2.0.Michael Orlitzky2021-03-102-2/+2
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new revision to fixup examples install.Michael Orlitzky2021-03-071-1/+4
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new versionAlessandro Barbieri2021-03-073-0/+211
| | | | | | | | | | | | * EAPI 7 * build dynamic libraries instead of static * fix cddlib include dir Closes: https://bugs.gentoo.org/761085 Closes: https://github.com/gentoo/gentoo/pull/14668 Package-Manager: Portage-2.3.87, Repoman-2.3.20 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2021-03-062-97/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231Sam James2021-03-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 arm, #774231Sam James2021-03-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231Sam James2021-03-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/yafu: Port to EAPI 7Jakov Smolic2021-03-033-34/+38
| | | | | | | | | | * Fix building with gcc-10 * Drop obsolete eclasses Closes: https://bugs.gentoo.org/709304 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Closes: https://github.com/gentoo/gentoo/pull/19744 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gfan: adapt to newer cddlibFrançois Bissey2021-03-021-0/+67
| | | | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/19661 Bug: https://bugs.gentoo.org/show_bug.cgi?id=762817 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cliquer: upstream bumpFrançois Bissey2021-02-282-0/+30
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19705 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/rw: new upstream versionFrançois Bissey2021-02-282-0/+30
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/19706 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/4ti2: Remove oldJakov Smolic2021-02-272-38/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: Stabilize 1.6.7 amd64, #770634Sam James2021-02-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>