| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (minizinc): Update to 2.8.4.
Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (chuffed): Update to 0.13.2.
Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
| |
This reverts commit bc6742e168f4af9d6479e00f482998b03653787a.
This makes it possible to apply the v3 patch series of issue #70087
and to properly credit its author.
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (chuffed): Update to 0.13.2.
[source]<origin>: Add file-name field.
Change-Id: I466ba358e556ddab3134219493819ce521b59321
|
|
|
|
|
|
|
|
|
| |
* 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/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/packages/maths.scm (why3): Update to 1.7.2.
Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (frama-c): Update to 28.1.
Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (minizinc): Use gexps.
Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (minizinc): Add backend.
Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
|
|
|
|
|
|
|
| |
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/packages/maths.scm (gecode): Use gexps. Reindent package.
Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c.
Change-Id: I48b77da2957a08850215aa02a77a845052bf26f7
|
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (chuffed): Add variable.
Co-authored-by: Andreas Enge <andreas@enge.fr>
Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (python-libensemble): New variable.
Change-Id: I45d4ba209af746f22f3f6c74a01063726478de0f
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (wxmaxima): Update to 24.02.2.
Change-Id: I33cd6a3230a7d1672aadf942ad0b089dfa8603b0
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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/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/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/packages/maths.scm (armadillo)[arguments]: Add OPENBLAS_PROVIDES_LAPACK
option to 'configure-flags'.
Change-Id: I872520620c921d0ab1fef8f6e5812da12cee031b
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (superlu-dist)[arguments]: Adjust library names
to match current ‘scotch’.
Change-Id: If64094c058cc3be58435fe1c47cc99fb0a9e1fff
|
|
|
|
|
|
|
|
|
| |
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/packages/maths.scm (octave-cli): Update to 9.1.0.
Change-Id: I8b8c3245644e0958d13d635f514d7fcc1d656a91
Signed-off-by: Christopher Baines <mail@cbaines.net>
|
|
|
|
|
|
|
|
| |
* 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/packages/maths.scm (python-cvxopt): Remove dependency on lapack.
Change-Id: I2a28ecf1ab5ea7683d6b8adf72054d3f86892771
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (scilab): Remove dependency on lapack.
Change-Id: I5c825c9e6eee6f7fbde078c67d3208fcadf100b6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* 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/packages/maths.scm (superlu-dist): Remove dependency on lapack.
Change-Id: I5893e16f7ef6fd688fd6b53eba6d3005b832f0ef
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (elemental): Remove dependency on lapack.
Change-Id: Iad28ceb70b87a26de75feec631b40aeedf977b53
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (dealii): Remove dependency on lapack.
Change-Id: I6f3439c886a574b8a8d2d91a4afa04ed09daba7f
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (p4est): Remove dependency on lapack.
Change-Id: I9c76f8b9ba3fc7d5feabfb059505f66ac50972c3
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* 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/packages/maths.scm (ceres): Remove dependency to lapack.
Change-Id: Iac55faf30a83bbbe3693cac73a9996af8ddcbde7
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* 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/packages/maths.scm (gmsh): Switch input dependency from
lapack to openblas.
Change-Id: Ib04c07a51f3af65d259b9970073ec1f68603aed4
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (itpp): Switch input dependency from
lapack to openblas.
Change-Id: I42606d5ed379093a076790d2b300dfa96f18d2ea
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (hypre): Switch input dependency from
lapack to openblas.
Change-Id: I8bc2c3abf0d3ead52c9616e1a23bf4ac6113ac3b
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (scalapack): Switch input dependency from
lapack to openblas.
Change-Id: Ie025e6ced66c75755314b53989547ffe26fbcd11
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (armadillo): Switch inputs from lapack to openblas.
Change-Id: I718371f2e95fafc31e5dccddccbc223c111f594d
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
| |
* gnu/packages/maths.scm (arpack-ng): Switch inputs from lapack to openblas.
Change-Id: I0d825373f0f267cc97748a9c2c7de1d73698354e
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|\
| |
| |
| | |
Change-Id: Iec8e15b79c6fde516294c2bfcaf8ee3575b1f745
|
| |
| |
| |
| |
| |
| |
| | |
* gnu/packages/maths.scm (combinatorial-blas): Add new phase.
Change-Id: Ifefb2b17e6758547d38290753a7cd338032a6abb
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|\|
| |
| |
| | |
Change-Id: I775274c2693536e2efa36c9abca4c54c5c458e26
|
| |
| |
| |
| |
| |
| |
| |
| | |
Diffoscope shows there are changes, but they don't look significant.
* gnu/packages/maths.scm (combinatorial-blas): Update source hash.
Change-Id: I32db6df0ef7c652572b1e874fe22175a4b66af6e
|
| |
| |
| |
| |
| |
| |
| |
| | |
* gnu/packages/maths.scm (hypre)[arguments]: Adjust 'check phase to
honor the #:tests? flag.
Change-Id: I475fabd7d9f73ed320b97a4767830d82190c2b15
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Tested with some real-world simulations on multpiple HPC systems.
* gnu/packages/maths.scm (petsc)[properties]: Add tunable? flag.
Change-Id: I81588d0556c4176f29d7ab760322cd7aec271f12
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
|
|\| |
|
| |
| |
| |
| |
| |
| | |
* gnu/packages/maths.scm (nauty): Update to 2.8.8.
Change-Id: I741b398e7ab367a7c82ee8cc454f1790524b5db6
|