Commit graph

1431 commits

Author SHA1 Message Date
Vinicius Monego
c01a99bb34
gnu: python-libensemble: Update to 1.4.2.
* gnu/packages/maths.scm (python-libensemble): Update to 1.4.2.
[propagated-inputs]: Add python-mpmath.
[arguments]: Delete a file that contains a failing test.

Change-Id: I76deae624b7f2bede63ad1b2bcf445c5aae53953
2024-09-02 17:42:34 -03:00
Ludovic Courtès
461df5574f
gnu: gsl: Use gexps.
* gnu/packages/maths.scm (gsl)[arguments]: Use gexps.

Change-Id: Ic81576c61a237ff41d6ed767dcf58e38ca96e9ca
2024-08-31 10:45:46 +02:00
Ludovic Courtès
4d8382ab84
gnu: gsl: Fix test failures on i686-linux by building with -O2.
* gnu/packages/maths.scm (gsl)[arguments]: Pass #:make-flags '() on
i686-linux.  Remove modification of ‘linalg/test.c’ in
‘disable-failing-tests’ phase for i686-linux.

Change-Id: I615d4e0d71253ca294bc5c5c7a278e3046c186cc
2024-08-31 10:45:46 +02:00
Efraim Flashner
2b93fed8fa
gnu: gsl-static: Remove variable.
* gnu/packages/maths.scm (gsl-static): Remove variable.

Change-Id: I20af472e62582b403afa4be80b2d3f725903dabc
2024-08-31 10:42:48 +02:00
Efraim Flashner
53bec65c51
gnu: gsl: Provide static library in separate output.
* gnu/packages/maths.scm (gsl)[outputs]: New field.
[arguments]: Remove configure-flag disabling static library.  Add
make-flag to produce PIC output.  Add a phase to move the static
libraries into the static output.

Change-Id: I4c5dddb8d384f4e2f82122b239da44350bacf57a
2024-08-31 10:42:48 +02:00
Maxime Devos
c5ae065596
gnu: maths: Add 'bash' input for 'wrap-program'.
It is required for cross-compilation.

* gnu/packages/maths.scm
(units): Fix indentation, remove trailing #t.
[inputs]: Add bash-minimal and drop labels.
(feedgnuplot)[inputs]: Add bash-minimal.
(vuesz)[inputs]: Likewise.
(lingeling)[inputs]: Likewise.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: Ifc89d72147d4dbb268410c236a3a2137cd0712a0
2024-08-31 10:42:33 +02:00
Maxim Cournoyer
bd3843d7e6
gnu: lingeling: Import the correct set of modules.
* gnu/packages/maths.scm (lingeling) [arguments]
<modules>: Replace %default-gnu-imported-modules with %default-gnu-modules.

Change-Id: I9293cf6798395d9c9cf3fde5adac5439d02884df
2024-08-31 10:42:22 +02:00
Maxim Cournoyer
832c2549c0
gnu: hypre: Import the correct set of modules.
* gnu/packages/maths.scm (hypre) [arguments]
<modules>: Replace %default-gnu-imported-modules with %default-gnu-modules.

Change-Id: Iad7958af53360f83e7b04c5b6f8e2ccc8e87e27c
2024-08-31 10:42:22 +02:00
Maxim Cournoyer
40864d6597
gnu: mumps: Import the correct set of modules.
* gnu/packages/maths.scm (mumps) [arguments]
<modules>: Replace %default-gnu-imported-modules with %default-gnu-modules.

Change-Id: I61e06ba8df29a833124940a1a4e55cb063c66e4b
2024-08-31 10:42:22 +02:00
Maxim Cournoyer
f59df1aa3c
build-systems: gnu: Export %default-gnu-imported-modules and %default-gnu-modules.
Until now users would have to cargo cult or inspect the private
%default-modules variable of (guix build-systems gnu) to discover which
modules to include when extending the used modules via the #:modules argument.

The renaming was automated via the command:

  $ git grep -l %gnu-build-system-modules
    | xargs sed 's/%gnu-build-system-modules/%default-gnu-imported-modules/' -i

* guix/build-system/gnu.scm (%gnu-build-system-modules): Rename to...
(%default-gnu-imported-modules): ... this.
(%default-modules): Rename to...
(%default-gnu-modules): ... this.  Export.
(dist-package, gnu-build, gnu-cross-build): Adjust accordingly.

Change-Id: Idef307fff13cb76f3182d782b26e1cd3a5c757ee
2024-08-31 10:42:16 +02:00
Nicolas Goaziou
44553da934
gnu: nauty: Fix build.
* gnu/packages/maths.scm (nauty): Fix hash.

Change-Id: I4837baf2c43279705f0445fd08ad2578e431b8cc
2024-08-26 22:04:11 +02:00
Nicolas Goaziou
732dac4ce0
gnu: nauty: Update to 2.8.9.
* gnu/packages/maths.scm (nauty): Update to 2.8.9.
[arguments]<#:phases>: Add a phase for fixing a test.

Change-Id: I854754ab372ef6ae1d5e13e14c0fc8a667177b4d
2024-08-26 20:57:44 +02:00
Luca Cirrottola
84c62cf166
gnu: hdf5-parallel-openmpi: Update to 1.14.x.
Fixes <https://issues.guix.gnu.org/68313>.

HDF5 1.14.3 contains the fix for <https://github.com/HDFGroup/hdf5/pull/3421>.

* gnu/packages/maths.scm (hdf5-parallel-openmpi): Inherit from HDF5-1.14.
[arguments]: Take arguments from HDF5-1.14.  Use gexps.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: I99222a1085dcd75c3c9ac83a0e88495e86a8cf59
2024-08-19 12:02:05 +02:00
Luca Cirrottola
832f2bcb92
gnu: hdf5@1.14: Update to 1.14.3.
* gnu/packages/maths.scm (hdf5-1.14): Update to 1.14.3.
[arguments]: New field.

Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
Change-Id: If413ec4d00de0de86020d8f56f2e3f9ec52ed0a9
2024-08-19 12:01:46 +02:00
Janneke Nieuwenhuizen
918b7d102c
gnu: mcrl2: Update to 202307.1.
* gnu/packages/maths.scm (mcrl2): Update to 202307.1.

Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
2024-08-01 09:10:25 +02:00
Lars Bilke
31fe177a97
gnu: petsc: Build reproducibly.
* 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
(<a970bd7489>).
Add substitution for “Machine characteristics” bit.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: Ibb846c1ae368af94b46d5ce789b1263e0bc78a13
2024-07-26 18:18:12 +02:00
Karl Hallsby
971e874f4e
gnu: gnuplot: Update to 6.0.1
* gnu/packages/maths.scm (gnuplot): Update to 6.0.1.

Change-Id: Ifd03a68eec47375f5af6bacfca616ff02bd23d7b
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2024-07-21 16:48:42 +02:00
Artyom V. Poptsov
ab54f8c514
gnu: xaos: Update to 4.3.2.
* 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>
2024-07-10 16:08:52 +02:00
Lars Bilke
d5a99af93f
gnu: petsc: Build optimized libraries.
* gnu/packages/maths.scm (petsc)[arguments]: Disable debug information.

Change-Id: Iec92a5bf50a004880aeb1ec49d2a2beb154ef222
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-07-09 13:54:44 +02:00
Vinicius Monego
f4ad32bfb4
gnu: primesieve: Update to 12.3.
* gnu/packages/maths.scm (primesieve): Update to 12.3.

Change-Id: Ie98e370f2467fd9e9c24e6bfb99b809011ee104a
2024-07-06 23:05:52 -03:00
Vinicius Monego
ae8b2caf11
gnu: cminpack: Update to 1.3.9.
* gnu/packages/maths.scm (cminpack): Update to 1.3.9.

Change-Id: I2b4039c4e8c313204f96773b1d0dd072dfca5d41
2024-07-06 23:05:52 -03:00
Efraim Flashner
c070c060fd
gnu: openblas-ilp64: Enable building on all 64bit platforms.
* gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Mark all
64bit platforms as supported.

Change-Id: I3956b0140798842bae23fc5f855f0953ec81b53d
2024-06-30 10:49:59 +03:00
Jean-Pierre De Jesus DIAZ
9ae83ac21d
gnu: frama-c: Add wrap-programs phase.
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>
2024-06-24 14:59:15 -05:00
Jean-Pierre De Jesus DIAZ
79f59b43d8
gnu: frama-c: Use G-Expressions.
* gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions.

Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643
Signed-off-by: jgart <jgart@dismail.de>
2024-06-24 14:59:15 -05:00
Jean-Pierre De Jesus DIAZ
8632bda8bb
gnu: frama-c: Update to 29.0.
* gnu/packages/maths.scm (frama-c): Update to 29.0.

Change-Id: Ifca4712bc1d75b0c8837ac04151fa9a83ae95bbe
Signed-off-by: jgart <jgart@dismail.de>
2024-06-24 14:59:15 -05:00
Andy Tai
250ab39c36
gnu: octave: Update to 9.2.0.
* 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-24 08:51:40 -04:00
Artyom V. Poptsov
9cc7fc6e79
gnu: bitwise: Update to 0.50.
* gnu/packages/maths.scm (bitwise): Update to 0.50.

Change-Id: I34958302d3385d5dbe80715bf7d955af7a4aadbd
Signed-off-by: jgart <jgart@dismail.de>
2024-06-10 18:20:18 -05:00
Herman Rimm
0bd5e1bf92
gnu: minizinc: Update to 2.8.4.
* gnu/packages/maths.scm (minizinc): Update to 2.8.4.

Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-06-02 12:05:10 +02:00
Herman Rimm
977bac6897
gnu: chuffed: Update to 0.13.2.
* gnu/packages/maths.scm (chuffed): Update to 0.13.2.

Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-06-02 12:05:10 +02:00
Herman Rimm
4b443b41f4
gnu: gecode: Update to 6.2.0-1.f7f0d7c.
* 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-06-02 12:05:10 +02:00
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