Age | Commit message (Collapse) | Author |
|
* 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/packages/maths.scm (petsc)[arguments]: Disable debug information.
Change-Id: Iec92a5bf50a004880aeb1ec49d2a2beb154ef222
Signed-off-by: Andreas Enge <andreas@enge.fr>
|
|
* gnu/packages/maths.scm (primesieve): Update to 12.3.
Change-Id: Ie98e370f2467fd9e9c24e6bfb99b809011ee104a
|
|
* gnu/packages/maths.scm (cminpack): Update to 1.3.9.
Change-Id: I2b4039c4e8c313204f96773b1d0dd072dfca5d41
|
|
* gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Mark all
64bit platforms as supported.
Change-Id: I3956b0140798842bae23fc5f855f0953ec81b53d
|
|
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/packages/maths.scm (frama-c) <arguments>: Use G-Expressions.
Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643
Signed-off-by: jgart <jgart@dismail.de>
|
|
* gnu/packages/maths.scm (frama-c): Update to 29.0.
Change-Id: Ifca4712bc1d75b0c8837ac04151fa9a83ae95bbe
Signed-off-by: jgart <jgart@dismail.de>
|
|
* gnu/packages/maths.scm (octave-cli): Update to 9.2.0.
Change-Id: Ib00c0eb687a469ecca20d570f39b69d8027c0cb0
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
|
* gnu/packages/maths.scm (bitwise): Update to 0.50.
Change-Id: I34958302d3385d5dbe80715bf7d955af7a4aadbd
Signed-off-by: jgart <jgart@dismail.de>
|
|
* 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>
|