summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Collapse)Author
9 hoursgnu: openblas-ilp64: Enable building on all 64bit platforms.Efraim Flashner
* gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Mark all 64bit platforms as supported. Change-Id: I3956b0140798842bae23fc5f855f0953ec81b53d
6 daysgnu: frama-c: Add wrap-programs phase.Jean-Pierre De Jesus DIAZ
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>
6 daysgnu: frama-c: Use G-Expressions.Jean-Pierre De Jesus DIAZ
* gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions. Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643 Signed-off-by: jgart <jgart@dismail.de>
6 daysgnu: frama-c: Update to 29.0.Jean-Pierre De Jesus DIAZ
* gnu/packages/maths.scm (frama-c): Update to 29.0. Change-Id: Ifca4712bc1d75b0c8837ac04151fa9a83ae95bbe Signed-off-by: jgart <jgart@dismail.de>
6 daysgnu: octave: Update to 9.2.0.Andy Tai
* gnu/packages/maths.scm (octave-cli): Update to 9.2.0. Change-Id: Ib00c0eb687a469ecca20d570f39b69d8027c0cb0 Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2024-06-10gnu: bitwise: Update to 0.50.Artyom V. Poptsov
* gnu/packages/maths.scm (bitwise): Update to 0.50. Change-Id: I34958302d3385d5dbe80715bf7d955af7a4aadbd Signed-off-by: jgart <jgart@dismail.de>
2024-06-02gnu: minizinc: Update to 2.8.4.Herman Rimm
* gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-06-02gnu: chuffed: Update to 0.13.2.Herman Rimm
* gnu/packages/maths.scm (chuffed): Update to 0.13.2. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-06-02gnu: gecode: Update to 6.2.0-1.f7f0d7c.Herman Rimm
* 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>
2024-05-15Revert "gnu: chuffed: Update to 0.13.2."Andreas Enge
This reverts commit bc6742e168f4af9d6479e00f482998b03653787a. This makes it possible to apply the v3 patch series of issue #70087 and to properly credit its author.
2024-05-15gnu: chuffed: Update to 0.13.2.Andreas Enge
* gnu/packages/maths.scm (chuffed): Update to 0.13.2. [source]<origin>: Add file-name field. Change-Id: I466ba358e556ddab3134219493819ce521b59321
2024-05-15gnu: why3: Enable extra features.Jean-Pierre De Jesus DIAZ
* 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>
2024-05-15gnu: why3: Use new style.Jean-Pierre De Jesus DIAZ
* 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>
2024-05-15gnu: why3: Update to 1.7.2.Jean-Pierre De Jesus DIAZ
* gnu/packages/maths.scm (why3): Update to 1.7.2. Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15gnu: frama-c: Update to 28.1.Jean-Pierre De Jesus DIAZ
* gnu/packages/maths.scm (frama-c): Update to 28.1. Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5 Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15gnu: minizinc: Use gexps.Andreas Enge
* gnu/packages/maths.scm (minizinc): Use gexps. Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
2024-05-15gnu: minizinc: Add chuffed backend.Herman Rimm
* gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-05-15gnu: gecode: Downgrade to 6.2.0-2.2d20e88.Andreas Enge
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
2024-05-15gnu: gecode: Use gexps.Andreas Enge
* gnu/packages/maths.scm (gecode): Use gexps. Reindent package. Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
2024-05-15gnu: gecode: Update to 6.2.0-1.f7f0d7c.Andreas Enge
* gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c. Change-Id: I48b77da2957a08850215aa02a77a845052bf26f7
2024-05-15gnu: Add chuffed.Herman Rimm
* gnu/packages/maths.scm (chuffed): Add variable. Co-authored-by: Andreas Enge <andreas@enge.fr> Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
2024-05-11gnu: Add python-libensemble.Vinicius Monego
* gnu/packages/maths.scm (python-libensemble): New variable. Change-Id: I45d4ba209af746f22f3f6c74a01063726478de0f
2024-05-06gnu: wxmaxima: Update to 24.02.2.Andy Tai
* gnu/packages/maths.scm (wxmaxima): Update to 24.02.2. Change-Id: I33cd6a3230a7d1672aadf942ad0b089dfa8603b0 Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2024-05-01gnu: scilab: Improve package management robustness in scilab-cli.Nicolas Graves
* 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>
2024-05-01gnu: scilab: Fixup and improve compilerDetection.sh script.Nicolas Graves
* 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>
2024-05-01gnu: scilab: Cleanup.Nicolas Graves
* 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>
2024-04-18gnu: armadillo: Enable LAPACK support.Guillaume Le Vaillant
* gnu/packages/maths.scm (armadillo)[arguments]: Add OPENBLAS_PROVIDES_LAPACK option to 'configure-flags'. Change-Id: I872520620c921d0ab1fef8f6e5812da12cee031b
2024-04-11gnu: superlu-dist: Fix linking with the ParMETIS shim of pt-scotch.Ludovic Courtès
* gnu/packages/maths.scm (superlu-dist)[arguments]: Adjust library names to match current ‘scotch’. Change-Id: If64094c058cc3be58435fe1c47cc99fb0a9e1fff
2024-04-11gnu: pt-scotch: Include <stdint.h> so ‘parmetis.h’ is usable.Ludovic Courtès
Fixes a bug when building ‘superlu-dist’ where ‘int32_t’ would be undefined. * gnu/packages/maths.scm (scotch)[source]: Add ‘snippet’. Change-Id: Id5beb2034d762727458821b93568e5b733184c00
2024-04-07gnu: octave-cli: Update to 9.1.0.Andy Tai
* gnu/packages/maths.scm (octave-cli): Update to 9.1.0. Change-Id: I8b8c3245644e0958d13d635f514d7fcc1d656a91 Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-04-04gnu: libflame: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (libflame): Switch input dependency from lapack to openblas. Change-Id: I7abdb8d126856488b0722b73c336309bf5c2234d Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: python-cvxopt: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (python-cvxopt): Remove dependency on lapack. Change-Id: I2a28ecf1ab5ea7683d6b8adf72054d3f86892771 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: scilab: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (scilab): Remove dependency on lapack. Change-Id: I5c825c9e6eee6f7fbde078c67d3208fcadf100b6 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: bonmin: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (bonmin): Switch input dependency from lapack to openblas. Change-Id: I3f1ef50827873fdc1eddcd152a74ffbbbf02ee44 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: superlu-dist: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (superlu-dist): Remove dependency on lapack. Change-Id: I5893e16f7ef6fd688fd6b53eba6d3005b832f0ef Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: elemental: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (elemental): Remove dependency on lapack. Change-Id: Iad28ceb70b87a26de75feec631b40aeedf977b53 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: dealii: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (dealii): Remove dependency on lapack. Change-Id: I6f3439c886a574b8a8d2d91a4afa04ed09daba7f Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: p4est: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (p4est): Remove dependency on lapack. Change-Id: I9c76f8b9ba3fc7d5feabfb059505f66ac50972c3 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: sundials-julia: Switch to openblas.Romain GARBAGE
* 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>
2024-04-04gnu: ceres: Remove dependency on lapack.Romain GARBAGE
* gnu/packages/maths.scm (ceres): Remove dependency to lapack. Change-Id: Iac55faf30a83bbbe3693cac73a9996af8ddcbde7 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: ipopt: Switch to openblas.Romain GARBAGE
* 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>
2024-04-04gnu: gmsh: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (gmsh): Switch input dependency from lapack to openblas. Change-Id: Ib04c07a51f3af65d259b9970073ec1f68603aed4 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: itpp: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (itpp): Switch input dependency from lapack to openblas. Change-Id: I42606d5ed379093a076790d2b300dfa96f18d2ea Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: hypre: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (hypre): Switch input dependency from lapack to openblas. Change-Id: I8bc2c3abf0d3ead52c9616e1a23bf4ac6113ac3b Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: scalapack: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (scalapack): Switch input dependency from lapack to openblas. Change-Id: Ie025e6ced66c75755314b53989547ffe26fbcd11 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: octave-cli: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (octave-cli): Switch input dependency from lapack to openblas. Change-Id: I3a624a44c1c9bc6be7360cfecbb61c955fa0d209 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: armadillo: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (armadillo): Switch inputs from lapack to openblas. Change-Id: I718371f2e95fafc31e5dccddccbc223c111f594d Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-04-04gnu: arpack-ng: Switch to openblas.Romain GARBAGE
* gnu/packages/maths.scm (arpack-ng): Switch inputs from lapack to openblas. Change-Id: I0d825373f0f267cc97748a9c2c7de1d73698354e Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-03-20Merge remote-tracking branch 'savannah/master' into gnome-teamChristopher Baines
Change-Id: Iec8e15b79c6fde516294c2bfcaf8ee3575b1f745
2024-03-19gnu: combinatorial-blas: Skip failing tests.Romain GARBAGE
* gnu/packages/maths.scm (combinatorial-blas): Add new phase. Change-Id: Ifefb2b17e6758547d38290753a7cd338032a6abb Signed-off-by: Ludovic Courtès <ludo@gnu.org>
generated by cgit v1.2.3 (git 2.44.0) at 2024-06-30 16:44:21 +0000