aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Collapse)AuthorAge
* gnu: mcrl2: Update to 202307.1.Janneke Nieuwenhuizen2024-08-01
| | | | | | * gnu/packages/maths.scm (mcrl2): Update to 202307.1. Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
* gnu: petsc: Build reproducibly.Lars Bilke2024-07-26
| | | | | | | | | | | | * gnu/packages/maths.scm (petsc)[arguments]: In ‘configure’ phase, add ‘sorted’ call in ‘gmakegen.py’. In ‘clean-local-references’, remove substitution of “Libraries compiled on”, which is unnecessary since PETSc 3.9 (<https://gitlab.com/petsc/petsc/-/commit/a970bd748978a4e12790be7c36b10e832ec0149f>). Add substitution for “Machine characteristics” bit. Co-authored-by: Ludovic Courtès <ludo@gnu.org> Change-Id: Ibb846c1ae368af94b46d5ce789b1263e0bc78a13
* gnu: gnuplot: Update to 6.0.1Karl Hallsby2024-07-21
| | | | | | | * gnu/packages/maths.scm (gnuplot): Update to 6.0.1. Change-Id: Ifd03a68eec47375f5af6bacfca616ff02bd23d7b Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
* gnu: xaos: Update to 4.3.2.Artyom V. Poptsov2024-07-10
| | | | | | | | | | * gnu/packages/maths.scm (xaos): Update to 4.3.2. [native-inputs]: Remove qtbase-5 and qttools-5; add qtbase and qttools. [arguments]: Use gexps. Fix "PREFIX" variable in "XaoS.pro" during "configure" phase. Change-Id: Ifae9890309368ee4131b531c9ea7b155a3cf693c Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: petsc: Build optimized libraries.Lars Bilke2024-07-09
| | | | | | | * gnu/packages/maths.scm (petsc)[arguments]: Disable debug information. Change-Id: Iec92a5bf50a004880aeb1ec49d2a2beb154ef222 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: primesieve: Update to 12.3.Vinicius Monego2024-07-06
| | | | | | * gnu/packages/maths.scm (primesieve): Update to 12.3. Change-Id: Ie98e370f2467fd9e9c24e6bfb99b809011ee104a
* gnu: cminpack: Update to 1.3.9.Vinicius Monego2024-07-06
| | | | | | * gnu/packages/maths.scm (cminpack): Update to 1.3.9. Change-Id: I2b4039c4e8c313204f96773b1d0dd072dfca5d41
* gnu: openblas-ilp64: Enable building on all 64bit platforms.Efraim Flashner2024-06-30
| | | | | | | * gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Mark all 64bit platforms as supported. Change-Id: I3956b0140798842bae23fc5f855f0953ec81b53d
* gnu: frama-c: Add wrap-programs phase.Jean-Pierre De Jesus DIAZ2024-06-24
| | | | | | | | | | | | | | | Frama-C needs the OCAMLPATH variable to be defined to load libraries, so define it using the OCAMLPATH variable generated during build time. Related issues: - <https://issues.guix.gnu.org/54094> (fixes it). - <https://issues.guix.gnu.org/69996> (only Frama-C fixed from this one). * gnu/packages/maths.scm (frama-c) <arguments>: Add wrap-programs phase. Change-Id: Icc8a0be5fed6678b71649da2e39a83caaaee9df2 Signed-off-by: jgart <jgart@dismail.de>
* gnu: frama-c: Use G-Expressions.Jean-Pierre De Jesus DIAZ2024-06-24
| | | | | | | * gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions. Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643 Signed-off-by: jgart <jgart@dismail.de>
* gnu: frama-c: Update to 29.0.Jean-Pierre De Jesus DIAZ2024-06-24
| | | | | | | * gnu/packages/maths.scm (frama-c): Update to 29.0. Change-Id: Ifca4712bc1d75b0c8837ac04151fa9a83ae95bbe Signed-off-by: jgart <jgart@dismail.de>
* gnu: octave: Update to 9.2.0.Andy Tai2024-06-24
| | | | | | | * gnu/packages/maths.scm (octave-cli): Update to 9.2.0. Change-Id: Ib00c0eb687a469ecca20d570f39b69d8027c0cb0 Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu: bitwise: Update to 0.50.Artyom V. Poptsov2024-06-10
| | | | | | | * gnu/packages/maths.scm (bitwise): Update to 0.50. Change-Id: I34958302d3385d5dbe80715bf7d955af7a4aadbd Signed-off-by: jgart <jgart@dismail.de>
* gnu: minizinc: Update to 2.8.4.Herman Rimm2024-06-02
| | | | | | | * gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: chuffed: Update to 0.13.2.Herman Rimm2024-06-02
| | | | | | | * gnu/packages/maths.scm (chuffed): Update to 0.13.2. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: gecode: Update to 6.2.0-1.f7f0d7c.Herman Rimm2024-06-02
| | | | | | | | | | | * gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c. [version]: Use version. [arguments]: Add patch-msc-and-version phase. Install examples to the examples output again. (minizinc)[arguments]: Copy provided gecode.msc file instead. Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* Revert "gnu: chuffed: Update to 0.13.2."Andreas Enge2024-05-15
| | | | | | | This reverts commit bc6742e168f4af9d6479e00f482998b03653787a. This makes it possible to apply the v3 patch series of issue #70087 and to properly credit its author.
* gnu: chuffed: Update to 0.13.2.Andreas Enge2024-05-15
| | | | | | | * gnu/packages/maths.scm (chuffed): Update to 0.13.2. [source]<origin>: Add file-name field. Change-Id: I466ba358e556ddab3134219493819ce521b59321
* gnu: why3: Enable extra features.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | | | * gnu/packages/maths.scm (why3) <propagated-inputs>: Add ocaml-ppx-deriving, ocaml-ppx-sexp-conv, ocaml-re and ocaml-sexplib to enable extra features. Change-Id: Ia3b66ac08cc25097967c6e18f2193601fb748cac Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: why3: Use new style.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | | * gnu/packages/maths.scm (why3): Use new style and move arguments above input fields. Change-Id: Ia9cb04cafe426d7f20c5efb10ca540572dbd3be9 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: why3: Update to 1.7.2.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | * gnu/packages/maths.scm (why3): Update to 1.7.2. Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: frama-c: Update to 28.1.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | * gnu/packages/maths.scm (frama-c): Update to 28.1. Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: minizinc: Use gexps.Andreas Enge2024-05-15
| | | | | | * gnu/packages/maths.scm (minizinc): Use gexps. Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
* gnu: minizinc: Add chuffed backend.Herman Rimm2024-05-15
| | | | | | | * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: gecode: Downgrade to 6.2.0-2.2d20e88.Andreas Enge2024-05-15
| | | | | | | | | This is a commit with which the dependent package minizinc builds successfully. * gnu/packages/maths.scm (gecode): Downgrade to 6.2.0-2.2d20e88. Change-Id: I0bdb0131374639b1664e6ec40374d51b6922094c
* gnu: gecode: Use gexps.Andreas Enge2024-05-15
| | | | | | * gnu/packages/maths.scm (gecode): Use gexps. Reindent package. Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
* gnu: gecode: Update to 6.2.0-1.f7f0d7c.Andreas Enge2024-05-15
| | | | | | * gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c. Change-Id: I48b77da2957a08850215aa02a77a845052bf26f7
* gnu: Add chuffed.Herman Rimm2024-05-15
| | | | | | | | * gnu/packages/maths.scm (chuffed): Add variable. Co-authored-by: Andreas Enge <andreas@enge.fr> Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
* gnu: Add python-libensemble.Vinicius Monego2024-05-11
| | | | | | * gnu/packages/maths.scm (python-libensemble): New variable. Change-Id: I45d4ba209af746f22f3f6c74a01063726478de0f
* gnu: wxmaxima: Update to 24.02.2.Andy Tai2024-05-06
| | | | | | | * gnu/packages/maths.scm (wxmaxima): Update to 24.02.2. Change-Id: I33cd6a3230a7d1672aadf942ad0b089dfa8603b0 Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
* gnu: scilab: Improve package management robustness in scilab-cli.Nicolas Graves2024-05-01
| | | | | | | | | | | | | | * gnu/packages/maths.scm (scilab)[source]<origin>: Improve package management robustness in scilab-cli by allowing tbx_build_help to log the scilab mode incompatibility error and not process the rest of the function instead of failing with it. * gnu/packages/patches/scilab-tbx_build_help.patch : Add patch. * gnu/local.mk(dist_patch_DATA): Add gnu/packages/patches/scilab-tbx_build_help.patch. Change-Id: I8ee94afb4aba906cbc8c7ca67f4c89aa0cf55ae6 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: scilab: Fixup and improve compilerDetection.sh script.Nicolas Graves2024-05-01
| | | | | | | | | | | | | | * gnu/packages/maths.scm (scilab) [arguments]<#:phases>: Fix compilerDetection.sh script in phase bootstrap-dynamic_link-scripts. [source]<origin>(patches): Add scilab-better-compiler-detection.patch. * gnu/packages/patches/scilab-better-compiler-detection.patch: Add file. * gnu/local.mk(dist_path_DATA): Add scilab-better-compiler-detection.patch. Change-Id: I7b1c78c4637fa1bc965eca8c516bf0b6cd4b92d1 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: scilab: Cleanup.Nicolas Graves2024-05-01
| | | | | | | | | | | | | * gnu/packages/maths.scm (scilab): [arguments]<#:phases>: In pre-build phase, remove unecessary code, due to the former introduction of the rewrap-scilab-cli phase. More robust version setting in the set-version phase. It anticipates for the next release which will not use "main" anymore. [source]<origin>(snippet) Sort dynamic_link deleted files. [inputs]: Add bash-minimal. Change-Id: I49b17886405e1ed8161e71b51655fa393ff7f10b Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: armadillo: Enable LAPACK support.Guillaume Le Vaillant2024-04-18
| | | | | | | * gnu/packages/maths.scm (armadillo)[arguments]: Add OPENBLAS_PROVIDES_LAPACK option to 'configure-flags'. Change-Id: I872520620c921d0ab1fef8f6e5812da12cee031b
* gnu: superlu-dist: Fix linking with the ParMETIS shim of pt-scotch.Ludovic Courtès2024-04-11
| | | | | | | * gnu/packages/maths.scm (superlu-dist)[arguments]: Adjust library names to match current ‘scotch’. Change-Id: If64094c058cc3be58435fe1c47cc99fb0a9e1fff
* gnu: pt-scotch: Include <stdint.h> so ‘parmetis.h’ is usable.Ludovic Courtès2024-04-11
| | | | | | | | | Fixes a bug when building ‘superlu-dist’ where ‘int32_t’ would be undefined. * gnu/packages/maths.scm (scotch)[source]: Add ‘snippet’. Change-Id: Id5beb2034d762727458821b93568e5b733184c00
* gnu: octave-cli: Update to 9.1.0.Andy Tai2024-04-07
| | | | | | | * gnu/packages/maths.scm (octave-cli): Update to 9.1.0. Change-Id: I8b8c3245644e0958d13d635f514d7fcc1d656a91 Signed-off-by: Christopher Baines <mail@cbaines.net>
* gnu: libflame: Switch to openblas.Romain GARBAGE2024-04-04
| | | | | | | | * gnu/packages/maths.scm (libflame): Switch input dependency from lapack to openblas. Change-Id: I7abdb8d126856488b0722b73c336309bf5c2234d Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: python-cvxopt: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (python-cvxopt): Remove dependency on lapack. Change-Id: I2a28ecf1ab5ea7683d6b8adf72054d3f86892771 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: scilab: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (scilab): Remove dependency on lapack. Change-Id: I5c825c9e6eee6f7fbde078c67d3208fcadf100b6 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: bonmin: Switch to openblas.Romain GARBAGE2024-04-04
| | | | | | | | * gnu/packages/maths.scm (bonmin): Switch input dependency from lapack to openblas. Change-Id: I3f1ef50827873fdc1eddcd152a74ffbbbf02ee44 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: superlu-dist: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (superlu-dist): Remove dependency on lapack. Change-Id: I5893e16f7ef6fd688fd6b53eba6d3005b832f0ef Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: elemental: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (elemental): Remove dependency on lapack. Change-Id: Iad28ceb70b87a26de75feec631b40aeedf977b53 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: dealii: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (dealii): Remove dependency on lapack. Change-Id: I6f3439c886a574b8a8d2d91a4afa04ed09daba7f Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: p4est: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (p4est): Remove dependency on lapack. Change-Id: I9c76f8b9ba3fc7d5feabfb059505f66ac50972c3 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: sundials-julia: Switch to openblas.Romain GARBAGE2024-04-04
| | | | | | | | * gnu/packages/maths.scm (sundials-julia): Switch input dependency from lapack to openblas. Change-Id: I7c5990b09f3a006600bab73ef998b081cbaa8935 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: ceres: Remove dependency on lapack.Romain GARBAGE2024-04-04
| | | | | | | * gnu/packages/maths.scm (ceres): Remove dependency to lapack. Change-Id: Iac55faf30a83bbbe3693cac73a9996af8ddcbde7 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: ipopt: Switch to openblas.Romain GARBAGE2024-04-04
| | | | | | | | * gnu/packages/maths.scm (ipopt): Switch input dependency from lapack to openblas and add required configure flags. Change-Id: I58b84f0741a973adf81da1716e2e2659af1c50c4 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: gmsh: Switch to openblas.Romain GARBAGE2024-04-04
| | | | | | | | * gnu/packages/maths.scm (gmsh): Switch input dependency from lapack to openblas. Change-Id: Ib04c07a51f3af65d259b9970073ec1f68603aed4 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: itpp: Switch to openblas.Romain GARBAGE2024-04-04
| | | | | | | | * gnu/packages/maths.scm (itpp): Switch input dependency from lapack to openblas. Change-Id: I42606d5ed379093a076790d2b300dfa96f18d2ea Signed-off-by: Ludovic Courtès <ludo@gnu.org>
generated by cgit v1.2.3 (git 2.45.0) at 2024-11-24 06:22:36 +0000