futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
136,474 Commits 3 Branches 0 Tags 412 MiB
d53ce69ba2
Commit Graph

1401 Commits

Author SHA1 Message Date
Andreas Enge
dfdad66f5a
Revert "gnu: chuffed: Update to 0.13.2." 
This reverts commit bc6742e168.

This makes it possible to apply the v3 patch series of issue #70087
and to properly credit its author.
 2024-05-15 20:52:17 +02:00
Andreas Enge
bc6742e168
gnu: chuffed: Update to 0.13.2. 
* gnu/packages/maths.scm (chuffed): Update to 0.13.2.
[source]<origin>: Add file-name field.

Change-Id: I466ba358e556ddab3134219493819ce521b59321
 2024-05-15 18:55:28 +02:00
Jean-Pierre De Jesus DIAZ
b31a49cb5e
gnu: why3: Enable extra features. 
* 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-15 17:21:32 +02:00
Jean-Pierre De Jesus DIAZ
e6413c6f51
gnu: why3: Use new style. 
* 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-15 17:21:14 +02:00
Jean-Pierre De Jesus DIAZ
05d4190587
gnu: why3: Update to 1.7.2. 
* gnu/packages/maths.scm (why3): Update to 1.7.2.

Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b
Signed-off-by: Andreas Enge <andreas@enge.fr>
 2024-05-15 17:21:01 +02:00
Jean-Pierre De Jesus DIAZ
28ce5085a0
gnu: frama-c: Update to 28.1. 
* gnu/packages/maths.scm (frama-c): Update to 28.1.

Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5
Signed-off-by: Andreas Enge <andreas@enge.fr>
 2024-05-15 16:27:26 +02:00
Andreas Enge
8e5579f37c
gnu: minizinc: Use gexps. 
* gnu/packages/maths.scm (minizinc): Use gexps.

Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
 2024-05-15 15:06:49 +02:00
Herman Rimm
fcf6d663e3
gnu: minizinc: Add chuffed backend. 
* gnu/packages/maths.scm (minizinc): Add backend.

Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
Signed-off-by: Andreas Enge <andreas@enge.fr>
 2024-05-15 15:06:49 +02:00
Andreas Enge
6cdb6cc6ef
gnu: gecode: Downgrade to 6.2.0-2.2d20e88. 
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-15 14:35:07 +02:00
Andreas Enge
12d23e3ac9
gnu: gecode: Use gexps. 
* gnu/packages/maths.scm (gecode): Use gexps. Reindent package.

Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
 2024-05-15 14:35:07 +02:00
Andreas Enge
125fcf9f69
gnu: gecode: Update to 6.2.0-1.f7f0d7c. 
* gnu/packages/maths.scm (gecode): Update to 6.2.0-1.f7f0d7c.

Change-Id: I48b77da2957a08850215aa02a77a845052bf26f7
 2024-05-15 13:06:44 +02:00
Herman Rimm
4b10015a12
gnu: Add chuffed. 
* gnu/packages/maths.scm (chuffed): Add variable.

Co-authored-by: Andreas Enge <andreas@enge.fr>

Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
 2024-05-15 13:05:03 +02:00
Vinicius Monego
88c170a916
gnu: Add python-libensemble. 
* gnu/packages/maths.scm (python-libensemble): New variable.

Change-Id: I45d4ba209af746f22f3f6c74a01063726478de0f
 2024-05-11 14:04:33 -03:00
Andy Tai
1cb70ce152
gnu: wxmaxima: Update to 24.02.2. 
* gnu/packages/maths.scm (wxmaxima): Update to 24.02.2.

Change-Id: I33cd6a3230a7d1672aadf942ad0b089dfa8603b0
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2024-05-06 13:47:25 +02:00
Nicolas Graves
04d4e772e5
gnu: scilab: Improve package management robustness in scilab-cli. 
* 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-01 23:45:34 +02:00
Nicolas Graves
4dec5a30fe
gnu: scilab: Fixup and improve compilerDetection.sh script. 
* 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-01 23:45:24 +02:00
Nicolas Graves
df1a6c7259
gnu: scilab: Cleanup. 
* 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-05-01 23:44:15 +02:00
Guillaume Le Vaillant
ffa78a2d0e
gnu: armadillo: Enable LAPACK support. 
* gnu/packages/maths.scm (armadillo)[arguments]: Add OPENBLAS_PROVIDES_LAPACK
  option to 'configure-flags'.

Change-Id: I872520620c921d0ab1fef8f6e5812da12cee031b
 2024-04-18 15:10:06 +02:00
Ludovic Courtès
cd96573b73
gnu: superlu-dist: Fix linking with the ParMETIS shim of pt-scotch. 
* gnu/packages/maths.scm (superlu-dist)[arguments]: Adjust library names
to match current ‘scotch’.

Change-Id: If64094c058cc3be58435fe1c47cc99fb0a9e1fff
 2024-04-11 12:17:30 +02:00
Ludovic Courtès
68202bcc43
gnu: pt-scotch: Include <stdint.h> so ‘parmetis.h’ is usable. 
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-11 12:17:30 +02:00
Andy Tai
6cf91aa1c8
gnu: octave-cli: Update to 9.1.0. 
* gnu/packages/maths.scm (octave-cli): Update to 9.1.0.

Change-Id: I8b8c3245644e0958d13d635f514d7fcc1d656a91
Signed-off-by: Christopher Baines <mail@cbaines.net>
 2024-04-07 19:40:49 +01:00
Romain GARBAGE
b6fa870405
gnu: libflame: Switch to openblas. 
* 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-04 16:19:33 +02:00
Romain GARBAGE
8b38ecb521
gnu: python-cvxopt: Remove dependency on lapack. 
* gnu/packages/maths.scm (python-cvxopt): Remove dependency on lapack.

Change-Id: I2a28ecf1ab5ea7683d6b8adf72054d3f86892771
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:19:12 +02:00
Romain GARBAGE
b0b556cba4
gnu: scilab: Remove dependency on lapack. 
* gnu/packages/maths.scm (scilab): Remove dependency on lapack.

Change-Id: I5c825c9e6eee6f7fbde078c67d3208fcadf100b6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:19:04 +02:00
Romain GARBAGE
5d3fc03690
gnu: bonmin: Switch to openblas. 
* 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-04 16:18:21 +02:00
Romain GARBAGE
da7f591619
gnu: superlu-dist: Remove dependency on lapack. 
* gnu/packages/maths.scm (superlu-dist): Remove dependency on lapack.

Change-Id: I5893e16f7ef6fd688fd6b53eba6d3005b832f0ef
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:18:14 +02:00
Romain GARBAGE
8e9b803db2
gnu: elemental: Remove dependency on lapack. 
* gnu/packages/maths.scm (elemental): Remove dependency on lapack.

Change-Id: Iad28ceb70b87a26de75feec631b40aeedf977b53
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:18:11 +02:00
Romain GARBAGE
b38ec2f751
gnu: dealii: Remove dependency on lapack. 
* gnu/packages/maths.scm (dealii): Remove dependency on lapack.

Change-Id: I6f3439c886a574b8a8d2d91a4afa04ed09daba7f
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:18:08 +02:00
Romain GARBAGE
6e16c50b84
gnu: p4est: Remove dependency on lapack. 
* gnu/packages/maths.scm (p4est): Remove dependency on lapack.

Change-Id: I9c76f8b9ba3fc7d5feabfb059505f66ac50972c3
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:17:59 +02:00
Romain GARBAGE
a8b1096769
gnu: sundials-julia: Switch to openblas. 
* 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-04 16:17:42 +02:00
Romain GARBAGE
e423df6fa6
gnu: ceres: Remove dependency on lapack. 
* gnu/packages/maths.scm (ceres): Remove dependency to lapack.

Change-Id: Iac55faf30a83bbbe3693cac73a9996af8ddcbde7
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-04-04 16:17:35 +02:00
Romain GARBAGE
17c9c00521
gnu: ipopt: Switch to openblas. 
* 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-04 16:17:33 +02:00
Romain GARBAGE
55d48b9a2f
gnu: gmsh: Switch to openblas. 
* 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-04 16:17:27 +02:00
Romain GARBAGE
e2dd1cb536
gnu: itpp: Switch to openblas. 
* 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-04 16:17:24 +02:00
Romain GARBAGE
0e8011a998
gnu: hypre: Switch to openblas. 
* 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-04 16:17:17 +02:00
Romain GARBAGE
2a9b6ac7ec
gnu: scalapack: Switch to openblas. 
* 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-04 16:17:14 +02:00
Romain GARBAGE
f51f351c1f
gnu: octave-cli: Switch to openblas. 
* 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-04 16:17:12 +02:00
Romain GARBAGE
dc457d969b
gnu: armadillo: Switch to openblas. 
* 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-04 16:17:11 +02:00
Romain GARBAGE
e7d134c22a
gnu: arpack-ng: Switch to openblas. 
* 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-04-04 16:17:07 +02:00
Christopher Baines
8fa0761264
Merge remote-tracking branch 'savannah/master' into gnome-team 
Change-Id: Iec8e15b79c6fde516294c2bfcaf8ee3575b1f745
 2024-03-20 14:54:26 +00:00
Romain GARBAGE
b213afbf58
gnu: combinatorial-blas: Skip failing tests. 
* gnu/packages/maths.scm (combinatorial-blas): Add new phase.

Change-Id: Ifefb2b17e6758547d38290753a7cd338032a6abb
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2024-03-19 17:31:32 +01:00
Christopher Baines
618cae45dc
Merge remote-tracking branch 'savannah/master' into gnome-team 
Change-Id: I775274c2693536e2efa36c9abca4c54c5c458e26
 2024-03-16 10:19:30 +00:00
Christopher Baines
0e00d2ced1
gnu: combinatorial-blas: Update source hash. 
Diffoscope shows there are changes, but they don't look significant.

* gnu/packages/maths.scm (combinatorial-blas): Update source hash.

Change-Id: I32db6df0ef7c652572b1e874fe22175a4b66af6e
 2024-03-14 13:40:31 +00:00
Lars Bilke
f7e6a84e98
gnu: hypre: Honor the #:tests? flag. 
* 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>
 2024-03-12 13:48:32 +02:00
Lars Bilke
6cff29fb6e
gnu: petsc: Add tunable property. 
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>
 2024-03-12 13:48:32 +02:00
Liliana Marie Prikler
2ee5451319
Merge branch 'master' into gnome-team 2024-03-10 00:05:58 +01:00
Nicolas Goaziou
d79c88e880
gnu: nauty: Update to 2.8.8. 
* gnu/packages/maths.scm (nauty): Update to 2.8.8.

Change-Id: I741b398e7ab367a7c82ee8cc454f1790524b5db6
 2024-03-08 13:33:37 +01:00
Andy Tai
b1a74ee76e
gnu: units: Update to 2.23. 
* gnu/packages/maths.scm (units): Update to 2.23.

Change-Id: Ia1b3df68c125631255cb3d28d2bf55d3148ee462
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2024-03-04 08:55:00 +02:00
Liliana Marie Prikler
25c14c893f
Merge branch 'master' into gnome-team 2024-03-02 12:22:34 +01:00
Sharlatan Hellseher
533942d513
gnu: giza: Update to 1.4.1. 
* gnu/packages/maths.scm (giza): Update to 1.4.1.

Change-Id: I7e6087e22cc6dea4a680fa45db155e42a724b50d
 2024-02-27 22:51:56 +00:00