aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Collapse)AuthorAge
* gnu: dealii: Update to 9.6.0.Ludovic Courtès2024-09-05
| | | | | | * gnu/packages/maths.scm (dealii): Update to 9.6.0. Change-Id: I197511908d9ac27dd4ba1356515f1fbf7bafd218
* gnu: sundials, sundials-openmpi: Use gexps.Ludovic Courtès2024-09-05
| | | | | | | | * gnu/packages/maths.scm (sundials)[arguments]: Use gexps and use ‘search-input-file’ rather than ‘assoc-ref’. (sundials-openmpi)[arguments]: Likewise. Change-Id: Ife0c2ae3604cf66c90ec4a13fe9242f7fe7d550f
* gnu: sundials: Upgrade to 7.1.1.Ludovic Courtès2024-09-05
| | | | | | | | | * gnu/packages/maths.scm (sundials): Update to 7.1.1. [native-inputs]: Add PKG-CONFIG. (sundials-openmpi)[arguments]: Pass ‘-DPETSC_INCLUDE_DIRS’ instead of ‘-DPETSC_DIR’. Change-Id: I750415109d69b53afbcf461dc98b2028af03c35a
* gnu: petsc: Make ‘petscvariables’ reproducible.Ludovic Courtès2024-09-05
| | | | | | | | | | This is a followup to 31fe177a97bacec643180cc5bcf8805a6cb07481. * gnu/packages/maths.scm (petsc)[arguments]: In ‘clean-local-references’, fix typo in ‘MAKE_NP’ and ‘NPMAX’ regexps. Substitute ‘MAKE_TEST_NP’ and ‘MAKE_LOAD’ as well. Change-Id: I41b4279a3cdc4b077fab21f0f99273d0d50ed8e1
* gnu: python-slepc4py: Update to 3.21.1.Ludovic Courtès2024-09-05
| | | | | | | | | * gnu/packages/maths.scm (python-slepc4py): Update to 3.21.1. [arguments]: Switch to gexps. Replace ‘check’ phase. [native-inputs]: New field. [inputs]: Remove labels. Add ‘petsc-openmpi’. Change-Id: Ib6f1480415ac5128399c32c1974779b67edb5550
* gnu: slepc: Update to 3.21.1.Ludovic Courtès2024-09-05
| | | | | | * gnu/packages/maths.scm (slepc): Update to 3.21.1. Change-Id: Ib82754c351100de94b57c650a3688747bf706713
* gnu: python-petsc4py: Update to 3.21.4.Ludovic Courtès2024-09-05
| | | | | | | | | | | * gnu/packages/maths.scm (python-petsc4py): Update to 3.21.4. [source](modules, snippet): Remove. [arguments]: Switch to gexps. Rename ‘pre-build’ phase to ‘set-PETSC_DIR’. Replace ‘check’ phase. [native-inputs]: Switch to ‘python-cython-3’. [inputs]: Remove labels. Change-Id: I2d8ef3519f6ffe93ff761ef99c4b8951b6107e1c
* gnu: petsc: Update to 3.21.4.Ludovic Courtès2024-09-05
| | | | | | | | * gnu/packages/maths.scm (petsc): Update to 3.21.4. Update source URL. [arguments]: Move ‘check’ phase after ‘install’. [home-page]: Update. Change-Id: I8e7244ad4f8566119bc259f1dccec9589760a491
* gnu: hypre: Use gexps.Ludovic Courtès2024-09-05
| | | | | | | * gnu/packages/maths.scm (hypre)[arguments]: Use gexps. (hypre-openmpi)[arguments]: Likewise. Change-Id: I3064b7606b97076e2fb2947b1fb93319eeb184c9
* gnu: hypre: Add missing TeX Live dependency.Ludovic Courtès2024-09-05
| | | | | | * gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-CHANGEPAGE. Change-Id: I47592a908e3bda39a182424d4f0c9fd820f0d613
* gnu: jacal: Update to 1c8.Artyom V. Poptsov2024-09-03
| | | | | | | | * gnu/packages/maths.scm (jacal): Update to 1c8. [native-inputs]: Add time. Change-Id: I855993e5caf67854c4c508546485872f770afdd6 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: python-libensemble: Update to 1.4.2.Vinicius Monego2024-09-02
| | | | | | | | * 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
* gnu: gsl: Use gexps.Ludovic Courtès2024-08-31
| | | | | | * gnu/packages/maths.scm (gsl)[arguments]: Use gexps. Change-Id: Ic81576c61a237ff41d6ed767dcf58e38ca96e9ca
* gnu: gsl: Fix test failures on i686-linux by building with -O2.Ludovic Courtès2024-08-31
| | | | | | | | * 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
* gnu: gsl-static: Remove variable.Efraim Flashner2024-08-31
| | | | | | * gnu/packages/maths.scm (gsl-static): Remove variable. Change-Id: I20af472e62582b403afa4be80b2d3f725903dabc
* gnu: gsl: Provide static library in separate output.Efraim Flashner2024-08-31
| | | | | | | | | * 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
* gnu: maths: Add 'bash' input for 'wrap-program'.Maxime Devos2024-08-31
| | | | | | | | | | | | | | | 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
* gnu: lingeling: Import the correct set of modules.Maxim Cournoyer2024-08-31
| | | | | | | * gnu/packages/maths.scm (lingeling) [arguments] <modules>: Replace %default-gnu-imported-modules with %default-gnu-modules. Change-Id: I9293cf6798395d9c9cf3fde5adac5439d02884df
* gnu: hypre: Import the correct set of modules.Maxim Cournoyer2024-08-31
| | | | | | | * gnu/packages/maths.scm (hypre) [arguments] <modules>: Replace %default-gnu-imported-modules with %default-gnu-modules. Change-Id: Iad7958af53360f83e7b04c5b6f8e2ccc8e87e27c
* gnu: mumps: Import the correct set of modules.Maxim Cournoyer2024-08-31
| | | | | | | * gnu/packages/maths.scm (mumps) [arguments] <modules>: Replace %default-gnu-imported-modules with %default-gnu-modules. Change-Id: I61e06ba8df29a833124940a1a4e55cb063c66e4b
* build-systems: gnu: Export %default-gnu-imported-modules and ↵Maxim Cournoyer2024-08-31
| | | | | | | | | | | | | | | | | | | | | %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
* gnu: nauty: Fix build.Nicolas Goaziou2024-08-26
| | | | | | * gnu/packages/maths.scm (nauty): Fix hash. Change-Id: I4837baf2c43279705f0445fd08ad2578e431b8cc
* gnu: nauty: Update to 2.8.9.Nicolas Goaziou2024-08-26
| | | | | | | * gnu/packages/maths.scm (nauty): Update to 2.8.9. [arguments]<#:phases>: Add a phase for fixing a test. Change-Id: I854754ab372ef6ae1d5e13e14c0fc8a667177b4d
* gnu: hdf5-parallel-openmpi: Update to 1.14.x.Luca Cirrottola2024-08-19
| | | | | | | | | | | | 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
* gnu: hdf5@1.14: Update to 1.14.3.Luca Cirrottola2024-08-19
| | | | | | | | * 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
* gnu: mcrl2: Update to 202307.1.Janneke Nieuwenhuizen2024-08-01
| | | | | | * gnu/packages/maths.scm (mcrl2): Update to 202307.1. Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
* gnu: petsc: Build reproducibly.Lars Bilke2024-07-26
| | | | | | | | | | | | * 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 (<https://gitlab.com/petsc/petsc/-/commit/a970bd748978a4e12790be7c36b10e832ec0149f>). Add substitution for “Machine characteristics” bit. Co-authored-by: Ludovic Courtès <ludo@gnu.org> Change-Id: Ibb846c1ae368af94b46d5ce789b1263e0bc78a13
* gnu: gnuplot: Update to 6.0.1Karl Hallsby2024-07-21
| | | | | | | * gnu/packages/maths.scm (gnuplot): Update to 6.0.1. Change-Id: Ifd03a68eec47375f5af6bacfca616ff02bd23d7b Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
* gnu: xaos: Update to 4.3.2.Artyom V. Poptsov2024-07-10
| | | | | | | | | | * 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: petsc: Build optimized libraries.Lars Bilke2024-07-09
| | | | | | | * gnu/packages/maths.scm (petsc)[arguments]: Disable debug information. Change-Id: Iec92a5bf50a004880aeb1ec49d2a2beb154ef222 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: primesieve: Update to 12.3.Vinicius Monego2024-07-06
| | | | | | * gnu/packages/maths.scm (primesieve): Update to 12.3. Change-Id: Ie98e370f2467fd9e9c24e6bfb99b809011ee104a
* gnu: cminpack: Update to 1.3.9.Vinicius Monego2024-07-06
| | | | | | * gnu/packages/maths.scm (cminpack): Update to 1.3.9. Change-Id: I2b4039c4e8c313204f96773b1d0dd072dfca5d41
* gnu: openblas-ilp64: Enable building on all 64bit platforms.Efraim Flashner2024-06-30
| | | | | | | * gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Mark all 64bit platforms as supported. Change-Id: I3956b0140798842bae23fc5f855f0953ec81b53d
* gnu: frama-c: Add wrap-programs phase.Jean-Pierre De Jesus DIAZ2024-06-24
| | | | | | | | | | | | | | | 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: frama-c: Use G-Expressions.Jean-Pierre De Jesus DIAZ2024-06-24
| | | | | | | * gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions. Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643 Signed-off-by: jgart <jgart@dismail.de>
* gnu: frama-c: Update to 29.0.Jean-Pierre De Jesus DIAZ2024-06-24
| | | | | | | * gnu/packages/maths.scm (frama-c): Update to 29.0. Change-Id: Ifca4712bc1d75b0c8837ac04151fa9a83ae95bbe Signed-off-by: jgart <jgart@dismail.de>
* gnu: octave: Update to 9.2.0.Andy Tai2024-06-24
| | | | | | | * gnu/packages/maths.scm (octave-cli): Update to 9.2.0. Change-Id: Ib00c0eb687a469ecca20d570f39b69d8027c0cb0 Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu: bitwise: Update to 0.50.Artyom V. Poptsov2024-06-10
| | | | | | | * gnu/packages/maths.scm (bitwise): Update to 0.50. Change-Id: I34958302d3385d5dbe80715bf7d955af7a4aadbd Signed-off-by: jgart <jgart@dismail.de>
* gnu: minizinc: Update to 2.8.4.Herman Rimm2024-06-02
| | | | | | | * gnu/packages/maths.scm (minizinc): Update to 2.8.4. Change-Id: I503fd004b38abaac8829a2cb94c182b001d83763 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: chuffed: Update to 0.13.2.Herman Rimm2024-06-02
| | | | | | | * gnu/packages/maths.scm (chuffed): Update to 0.13.2. Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: gecode: Update to 6.2.0-1.f7f0d7c.Herman Rimm2024-06-02
| | | | | | | | | | | * 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>
* Revert "gnu: chuffed: Update to 0.13.2."Andreas Enge2024-05-15
| | | | | | | This reverts commit bc6742e168f4af9d6479e00f482998b03653787a. This makes it possible to apply the v3 patch series of issue #70087 and to properly credit its author.
* gnu: chuffed: Update to 0.13.2.Andreas Enge2024-05-15
| | | | | | | * gnu/packages/maths.scm (chuffed): Update to 0.13.2. [source]<origin>: Add file-name field. Change-Id: I466ba358e556ddab3134219493819ce521b59321
* gnu: why3: Enable extra features.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | | | * 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: why3: Use new style.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | | * 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: why3: Update to 1.7.2.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | * gnu/packages/maths.scm (why3): Update to 1.7.2. Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: frama-c: Update to 28.1.Jean-Pierre De Jesus DIAZ2024-05-15
| | | | | | | * gnu/packages/maths.scm (frama-c): Update to 28.1. Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: minizinc: Use gexps.Andreas Enge2024-05-15
| | | | | | * gnu/packages/maths.scm (minizinc): Use gexps. Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
* gnu: minizinc: Add chuffed backend.Herman Rimm2024-05-15
| | | | | | | * gnu/packages/maths.scm (minizinc): Add backend. Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257 Signed-off-by: Andreas Enge <andreas@enge.fr>
* gnu: gecode: Downgrade to 6.2.0-2.2d20e88.Andreas Enge2024-05-15
| | | | | | | | | 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
generated by cgit v1.2.3 (git 2.45.0) at 2024-11-28 07:42:24 +0000