Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/frama-c: drop duplicate, newer version in ::guruNowa Ammerlaan2024-11-193-79/+0
| | | | Signed-off-by: Nowa Ammerlaan <nowa@gentoo.org>
* sci-mathematics/Oid: Fix java, update URLsAlexander Puck Neuwirth2024-06-272-8/+29
| | | | | | Co-authored-by: Andrew Nowa Ammerlaan <andrewammerlaan@gentoo.org> Closes: https://github.com/gentoo/sci/pull/1240 Signed-off-by: Alexander Puck Neuwirth <alexander@neuwirth-informatik.de>
* sci-mathematics/pulp: tests pass with python3.12Michael Schubert2024-06-191-1/+1
| | | | | Signed-off-by: Michael Schubert <mschu.dev@gmail.com> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/pulp: Added pulp version 2.8.0 + python3.12Tomas Fabrizio Orsi2024-06-112-0/+22
| | | | | | Signed-off-by: Tomas Fabrizio Orsi <torsi@fi.uba.ar> Closes: https://github.com/gentoo/sci/pull/1273 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* */*: fix BDEPEND -> DEPENDAlexander Puck Neuwirth2024-03-181-1/+1
| | | | | Closes: https://github.com/gentoo/sci/pull/1260 Signed-off-by: Alexander Puck Neuwirth <alexander@neuwirth-informatik.de>
* sci-mathematics/cipi: Fix boost linkingAlexander Puck Neuwirth2024-02-192-0/+62
| | | | | | Signed-off-by: Alexander Puck Neuwirth <alexander@neuwirth-informatik.de> Co-authored-by: Andrew Nowa Ammerlaan <andrewammerlaan@gentoo.org> Closes: https://github.com/gentoo/sci/pull/1239
* sci-mathematics/ltl2ba: add 1.2, 1.3Alexander Puck Neuwirth2024-02-193-0/+64
| | | | | Closes: https://github.com/gentoo/sci/pull/1238 Signed-off-by: Alexander Puck Neuwirth <alexander@neuwirth-informatik.de>
* sci-mathematics/frama-c: remove unused patch(es)Michael Mair-Keimberger2023-12-311-254/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/sci/pull/1231 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/scilab-bin: add 2023.1.0Andrew Ammerlaan2023-09-262-0/+79
| | | | | Closes: https://bugs.gentoo.org/911270 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/pulp: disable py3.9Andrew Ammerlaan2023-05-021-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gap: treecleanAndrew Ammerlaan2023-05-024-258/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/frama-c: USE flag is deprecated in dependencyHorea Christian2023-04-061-1/+1
| | | | Signed-off-by: Horea Christian <chr@chymera.eu>
* sci-mathematics/pulp: add 2.7.0, drop 2.4Andrew Ammerlaan2023-03-172-7/+5
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/cipi: fix static uriAndrew Ammerlaan2023-02-101-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/acl2: remove duplicateAndrew Ammerlaan2023-01-127-390/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gappalib-coq: treecleanAndrew Ammerlaan2023-01-033-49/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gappa: treecleanAndrew Ammerlaan2023-01-034-103/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/flocq: treecleanAndrew Ammerlaan2023-01-033-52/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/netgen: move to media-gfx categoryBernd Waibel2022-11-1511-403/+0
| | | | | | Signed-off-by: Bernd Waibel <waebbl-gentoo@posteo.net> Closes: https://github.com/gentoo/sci/pull/1180 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/netgen: add 6.2.2204Bernd Waibel2022-11-156-0/+243
| | | | | | | | | | | | - OpenMP doesn't seem to be used, remove USE flag - dev-tcltk/tix doesn't seem to be used, remove dependency - dev-tcltk/togl is build internal and doesn't use a system togl installation - Stub generation from pybind11 doesn't currently work in a sandbox, see https://github.com/NGSolve/netgen/issues/126 - only depend on sci-libs/metis for USE=mpi Signed-off-by: Bernd Waibel <waebbl-gentoo@posteo.net> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/freefem++: drop 4.7.1Andrew Ammerlaan2022-11-152-103/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* add github remote-id when possibleJérôme Carretero2022-11-153-12/+19
| | | | | | | | Semi-automatically done with: https://gitlab.com/cJ/gentoo-bug-881037-github-reproducible-downloads Closes: https://github.com/gentoo/sci/pull/1182 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* */*: virtual/jpeg deprecationAndrew Ammerlaan2022-05-021-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/open-axiom: remove dead packageAndrew Ammerlaan2022-01-243-53/+0
| | | | | | Last release 2013, does not compile Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/scilab: remove scilab in favor of scilab-binAndrew Ammerlaan2022-01-2326-1827/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/freefem++: drop conflicting flag mpiAndrew Ammerlaan2022-01-152-4/+4
| | | | | | | | conflicts with cxx Closes: https://github.com/gentoo/sci/issues/1126 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/netgen: cleanup oldAndrew Ammerlaan2022-01-1311-1206/+0
| | | | | | | | | Closes: https://bugs.gentoo.org/670050 Closes: https://bugs.gentoo.org/502962 Bug: https://bugs.gentoo.org/688120 Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --force Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/netgen: add version 6.2.2105Andrew Ammerlaan2022-01-134-1/+139
| | | | | | | | | | Bug: https://github.com/NGSolve/netgen/issues/72 Bug: https://github.com/NGSolve/netgen/issues/77 Closes: https://bugs.gentoo.org/155424 Closes: https://bugs.gentoo.org/756214 Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --force Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/scilab-bin: add version 6.1.1Andrew Ammerlaan2022-01-113-0/+94
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I officially give up on making a non-bin ebuild. There are several problems: 1. The java dependencies are extremely difficult because of packaging systems that portage does not support (gralde, maven etc). We can hack around this as we did in dev-java/lucene::sci, but that is *a lot* of work, for a lot of dependencies that has to be redone on each version bump. We can solve this problem by getting the pre-compiled java dependencies from https://github.com/scilab/scilab-prerequirements. However.... 2. Scilab requires versions of libraries that we do not package any more in ::gentoo (e.g. hdf5). And adding and maintaining ebuilds for those old libraries is too much work. 3. If we take *only* the java stuff from scilab/scilab-prerequirements, build fails (likely incompatibility with certain versions of some non-java libraries, see 2.) 4. If we take *all* of scilab/scilab-prerequirements build still fails (with a different error this time). 5. The amount of scilab dependencies that are being last-rited and I therefore have to move to ::science to keep the dependencies resolving is increasing. Scilab is the number 1 cause of ::science breaking at the moment. Long story short, please enjoy this pre-compiled binary ebuild that actually works and will save us all a lot of headache. Closes: https://bugs.gentoo.org/237572 Closes: https://bugs.gentoo.org/691272 Closes: https://github.com/gentoo/sci/issues/879 Closes: https://github.com/gentoo/sci/issues/774 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/scilab: drop UnusedInheritsAndrew Ammerlaan2021-12-163-3/+3
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/netgen: fix inheritsAndrew Ammerlaan2021-12-162-6/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/freefem++: drop UnusedInheritsAndrew Ammerlaan2021-12-162-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/giac: remove duplicateAndrew Ammerlaan2021-12-135-243/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/why3: remove: ::guru version moved to ::gentooAndrew Ammerlaan2021-12-133-88/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/freefem++: add version 4.10Andrew Ammerlaan2021-12-132-0/+100
| | | | | | Closes: https://github.com/gentoo/sci/issues/1127 Package-Manager: Portage-3.0.29, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/acl2: Fix sed expression, clearer books installLucas Mitrak2021-10-072-0/+178
| | | | | | | | | | | | | | | | | | | | | | | | | | | * Fix sed expression which does not execute at all * Move books down to original install location Currently, the sed expression `/5/a export ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/` does not modify the acl2 executable script. The sed expression's intended behavior seems to be adding the enviroment variable `ACL2_SYSTEM_BOOKS` to the fifth line on the final script; however, no modification is made. A new sed expression must replace it, namely `5iexport ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/` which accomplishes inserting the enviroment variable into the script. This enviroment variable is recommended when the books directory resides outside where the executable was built [1]. In addition, the command `doins -r books` should be moved further down for the sake of clarity. This way the src_install() function modifies the files at the top and installs them at the bottom. Also, now the command `doins -r books` is beside the other similar commands. [1] https://raw.githubusercontent.com/acl2/acl2/master/doc.lisp Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Closes: https://github.com/gentoo/sci/pull/1115 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/acl2: Update 8.3 to the original intended ebuildLucas Mitrak2021-09-202-51/+86
| | | | | | | | | | | | | | | | | | | * Update 8.3's ebuild to the one originally intended for 8.3 Currently, sci-mathematics/acl2-8.3 will not compile to the fixed bug 755368 [1]. This bug was fixed in PR 1109 on github [2]. However, due to a version bump, acl2-8.3 remains unchanged. Therefore the ebuild for 8.3 should be updated to the original PR. acl2-8.3 was tested to work with the latest unstable version of sbcl-2.1.8. With this commit, acl2-8.3 will install successfully. Without this commit, it will not. [1] https://bugs.gentoo.org/755368 [2] https://github.com/gentoo/sci/pull/1109 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Closes: https://github.com/gentoo/sci/pull/1114 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/acl2: Require >=dev-lisp/sbcl-1.5.2 in BDEPENDLucas Mitrak2021-09-201-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | * Require >=dev-lisp/sbcl-1.5.2 due to addition of "--tls-limit 16384" Currently, sci-mathematics/acl2-8.4 will not compile with the current stable dev-lisp/sbcl-1.4.9 due to the addition of "--tls-limit 16384" to sbcl within the created file saved_acl2. This addition is documented in the acl-8.4 release notes [1] as "Increased the number of special variables that can be created". Within sbcl, this new feature was added in version 1.5.2. The news for that version [2] reads "enhancement: command-line option '--tls-limit' can be used". Therefore attempting to use the argument "--tls-limit 16384" with sbcl versions prior to 1.5.2 causes it to fail. Thus a minimum version requirement is needed for acl2-8.4. [1] https://www.cs.utexas.edu/users/moore/acl2/v8-4/combined-manual/ index.html?topic=ACL2____NOTE-8-4 [2] http://www.sbcl.org/all-news.html Closes: https://github.com/gentoo/sci/issues/1113 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etcLucas Mitrak2021-09-124-1/+101
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * version bump * EAPI bump * Remove eutils because it is no longer necessary and deprecated * inherit elisp-common for compiling/installing emacs files * Add emacs use flag for emacs files and TAGS file * Add app-editor/emacs to BDEPEND if its needed during compilation * Add doc use flag for compiling and installing html docs * Add dev-lang/perl as a DEPEND for doc * Change SRC_URI to upstream and updated github * Update metadata.xml to this new SRC_URI * Add patch which changes `make` to $(MAKE) in GNUmakefile for Q/A * Add src_prepare which deletes *.bak, *.orig, and sparc binary acl2link * Remove `emake certify-books` because certify-books no longer exists * Add `emake basic` because it is the one which is the default [1] * emake basic is much faster so the einfos are removed * Add `emake DOC` to compilation phase if DOC use flag is enabled * Add `elisp-compile` to compilation phase if emacs use flag is enabled * Install README.md always and html docs if doc use flag is enabled * Install emacs files and TAGS file is emacs use flag is enabled * Add `use emacs && elisp-site-regen` to postinst() and postrm() phases Currently, sci-mathematics/acl2 will not always install successfully. This is because the TAGS file is only created if the etags program is installed. The etags program is installed when emacs is installed. Therefore, an emacs use flag is added so the TAGS file is installed only when it is enabled. Since app-editors/emacs is required for the CBUILD, the dependency is added to the BDEPEND. In order to compile/install emacs files, the elisp-common eclass is inherited. This compilation and installation only takes place if the emacs use flag is enabled. The `elisp-site-regen` is added to pkg_postinst() and pkg_postrm() with the requirement of the emacs use flag being enabled. If the doc flag is enabled, then `emake DOC` is executed and the html docs are installed; however, the README.md is always installed. Since dev-lang/perl is needed for this compilation, it is added as a conditional requirement. If the books use flag is enabled, then the books will be compiled using `emake basic`. The reason `emake basic` was chosen instead of `emake regression` is because the latter is stated as being "usually unnecessary" [1] and that "most users will not want to use this target" [2] while the former is the default [1] and stated as "a convenient starting place" [3]. Every book is made before for major releases, so it is unecessary to to build all for an install. Since the compilation of the books is much faster, the einfo messages are removed. In addition, the SRC_URI for the previous ebuild is behind in commits [4] and is simply a clone. Therefore, the main github repo replaced it. The metadata is updated to this change also. A src_prepare phase was added which copies debian's Changelog of this package [5]. The entry on 2015-10-21 of this Changelog shows that the *.bak and *.orig files were removed to clean the target. Also, the inadvertent sparc binary acl2link was removed. This sparc binary lacks source code and therefore violates the GNU GPL. Debian filed a bug about this binary and the solution was to delete it [6]. A patch is added so a Q/A warning is not given: "make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule". The patch changes a make command to use the variable $(MAKE). This patch will be made available upstream via a github pull request. Finally, eutils is removed due to being depreciated and the EAPI is bumped. [1] https://www.cs.utexas.edu/users/moore/acl2/v8-3/combined-manual/ index.html?topic=ACL2____BOOKS-CERTIFICATION [2] https://github.com/acl2/acl2/blob/8.3/books/GNUmakefile#L61 [3] https://github.com/acl2/acl2/blob/8.3/books/GNUmakefile#L48 [4] https://github.com/acl2-devel/acl2-devel [5] https://debian.pkgs.org/9/debian-main-arm64/ acl2_7.2dfsg-3_arm64.deb.html [6] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787368 Closes: https://bugs.gentoo.org/755368 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Closes: https://github.com/gentoo/sci/pull/1109 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/flocq: EAPI bump, add multiprocessing to remakeLucas Mitrak2021-08-061-2/+4
| | | | | | | | | | | | | | | | | * EAPI bump from 7 to 8 * Add multiprocessing to remake using the $(makeopts_jobs) variable Currently, sci-mathematics/flocq does not have multiprocessing even though the homepage [1] states this is available. This is done by adding --jobs=$(makeopts_jobs) to remake. the makeopts_jobs variable comes from the multiprocessing eclass. [1] http://flocq.gforge.inria.fr/ Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Closes: https://github.com/gentoo/sci/pull/1107 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gappa: add version 1.4.0Andrew Ammerlaan2021-06-092-0/+43
| | | | | Package-Manager: Portage-3.0.19, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gappa: Add multiprocessing.eclass for makeopts_jobsLucas Mitrak2021-06-091-6/+4
| | | | | | | | | | | * Add inherit multiprocessing.eclass for makeopts_jobs * This is because remake does not understand -l nor --load-average This commit was tested in a docker image with dev-util/ebuildtester. This commit was written, tested, and submitted by Lucas Mitrak. Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Closes: https://github.com/gentoo/sci/pull/1090 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gappa: Remove -l or --load-average from ${MAKEOPTS}Lucas Mitrak2021-06-091-0/+5
| | | | | | | | | | | | | | | | | | | | * Remove -l or --load-average from ${MAKEOPTS} in src_compile() Currently, sci-mathematics/gappa will fail to compile if either -l or --load-average is set in ${MAKEOPTS} because remake does not accept them. This commit will remove either -l or --load-average from ${MAKEOPTS} during the src_compile() stage in the same method found in a suggested patch [1] written by developer Lars Wendler in bug 653554 [2]. This will allow the package to compile and install correctly. This commit was tested in a docker image with dev-util/ebuildtester. This commit was written, tested, and submitted by Lucas Mitrak. [1] https://653554.bugs.gentoo.org/attachment.cgi?id=528056 [2] https://bugs.gentoo.org/653554 Closes: https://bugs.gentoo.org/568368 Signed-off-by: Lucas Mitrak <lucas@lucasmitrak.com> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gap: fix BadDefaultUseFlagsAndrew Ammerlaan2021-06-011-3/+3
| | | | | Package-Manager: Portage-3.0.19, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/dsfmt: remove package - moved to ::gentooMatthias Maier2021-04-073-43/+0
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/scilab: some progressAndrew Ammerlaan2021-03-227-53/+19
| | | | | | | | | now it builds, but fails in the linker phase with some undefined references in libscigraphics.so Closes: https://github.com/gentoo/sci/issues/1060 Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
* sci-mathematics/scilab: fix dep on luceneAndrew Ammerlaan2021-03-212-2/+2
| | | | | | | https://github.com/gentoo/sci/issues/1060 Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
* sci-mathematics/acl2: drop oldAndrew Ammerlaan2021-03-202-51/+0
| | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
* sci-mathematics/burrtool: remove masked packageAndrew Ammerlaan2021-03-193-61/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
* sci-mathematics/frama-c: set USE defaultAndrew Ammerlaan2021-03-041-1/+1
| | | | | Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>