| Commit message (Expand) | Author | Age |
|---|
| * | gnu: cryptominisat: Update to 5.11.22.•••* gnu/packages/maths.scm (cryptominisat): Update to 5.11.22.
[source]: Patch include for cadiback.
[inputs]: Add cadical, cadiback-for-cryptominisat and gmp.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: Add cadiback-for-cryptominisat.•••* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: Add cadiback.•••* gnu/packages/maths.scm (cadiback): New variable.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: Add cadical.•••* gnu/packages/patches/cadical-add-shared-library.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (cadical): New variable.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: lingeling: Update to 1.0.0.•••* gnu/packages/maths.scm (lingeling): Update to 1.0.0.
[#:phases]<hard-code-commit>: Adjust accordingly.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: z3: Update to 4.13.0.•••* gnu/packages/maths.scm (z3): Update to 4.13.0.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: kissat: Update to 4.0.1.•••* gnu/packages/maths.scm (kissat): Update to 4.0.1.
[#:phases]<patch-source>: Relax regexp to fix test.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: scasp: Update to 1.1.4.•••* gnu/packages/maths.scm (scasp): Update to 1.1.4.
| Liliana Marie Prikler | 2024-10-06 |
| * | gnu: scilab: Add sanity-check phase.•••* gnu/packages/maths.scm (scilab):
[arguments]<#:phases>: Add sanity-check phase.
Change-Id: Idc6911511fd0bf7e779d4af026f0a6390eb3b079
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Nicolas Graves | 2024-10-04 |
| * | gnu: scilab: Fix the scilab build script.•••* gnu/packages/maths.scm (scilab):
[arguments]<#:phases>: Reintroduce a manual patch for /bin/ls in phase
pre-build. This is necessary because the file is used when scilab
builds macros, even if it is discarded later.
[inputs]: Add coreutils-minimal.
Change-Id: I692fd6696273bfdce0e50b0f688a60e7dc289ce6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Nicolas Graves | 2024-10-04 |
| * | gnu: scilab: Cleanup more files.•••* gnu/packages/maths.scm (scilab):
[source] Delete .bat files.
Change-Id: I6f9ae17dd5d689c3e5836bf0c9e54725ef381428
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Nicolas Graves | 2024-10-04 |
| * | gnu: scilab: Update to 2024.1.0.•••* gnu/packages/maths.scm (scilab): Update to 2024.1.0.
* gnu/packages/patches/scilab-tbx_build_help.patch: Update patch.
Change-Id: I79197822aefba698b2383e3aa30fbc511da6954c
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Nicolas Graves | 2024-10-04 |
| * | gnu: netcdf: Remove input labels and use gexps.•••* gnu/packages/maths.scm (netcdf)[inputs]: Remove labels.
[arguments]: Use gexps.
(netcdf-parallel-openmpi): Use ‘package/inherit’.
[inputs]: Remove labels.
[arguments]: Use gexps.
Change-Id: Ibf133cd3eea20cbaf7c3d2e407370225f8716d10
| Ludovic Courtès | 2024-10-04 |
| * | gnu: netcdf-parallel-openmpi: Enable pnetcdf support.•••* gnu/packages/maths.scm (netcdf-parallel-openmpi) [arguments]: Enable pnetcdf support.
Change-Id: I7f3fc6abdb262be86840ea3f68bb6416a0ab1fad
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Romain GARBAGE | 2024-10-04 |
| * | gnu: Add pnetcdf.•••* gnu/packages/maths.scm (pnetcdf): New variable.
Change-Id: I419161be82cd45585187abfd1e63a23feac73d59
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Romain GARBAGE | 2024-10-04 |
| * | gnu: netcdf-parallel-openmpi: Build shared library.•••* gnu/packages/maths.scm (netcdf-parallel-openmpi) [arguments]: Enable
building of shared library.
Change-Id: I6e901d5939108421e041252207f10f4800890e97
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Romain GARBAGE | 2024-09-30 |
| * | gnu: sleef: Update to 3.6.1.•••* gnu/packages/maths.scm (sleef): Update to 3.6.1.
[arguments]: Set build-type to release. Update configure-flags to only
set building a shared library.
[inputs]: Remove openssl-1.1. Add mpfr, openssl.
Change-Id: I3dab4b84a755a49f187e93e684e85659af0e2a49
| Efraim Flashner | 2024-09-17 |
| * | gnu: armadillo: Update to 12.4.2.•••* gnu/packages/maths.scm (armadillo): Update to 12.4.2.
Change-Id: I06b5c63075589de9ef0c32115da912190c077b85
| Tobias Geerinckx-Rice | 2024-09-08 |
| * | gnu: chuffed: Add a source file-name.•••* gnu/packages/maths.scm (chuffed)[source]: Add a file-name field.
Change-Id: Iae1bf75cf0ceb050c6fe2be37a1de3b36b68d0c2
| Efraim Flashner | 2024-09-16 |
| * | gnu: 4ti2: Update to 1.6.10.•••* gnu/packages/maths.scm (4ti2): Update to 1.6.10.
Change-Id: Ic32526be423aade04a529fcdfbf9332a7c328daf
| Tobias Geerinckx-Rice | 2024-09-08 |
| * | Revert "gnu: gsl: Add debug output."•••This reverts commit 36e30a33e8c67d15ccfae6e4a4289c193f0759ad, which
triggers too many rebuilds (‘gsl’ has 2.9K dependents).
Change-Id: Ia0f0968b23dbf8234c69973eaf71d33a2e8c0690
| Ludovic Courtès | 2024-09-06 |
| * | gnu: gsl: Add debug output.•••* gnu/packages/maths.scm (gsl)[outputs]: Add "debug".
| Artyom Bologov | 2024-09-05 |
| * | gnu: dealii: Update to 9.6.0.•••* gnu/packages/maths.scm (dealii): Update to 9.6.0.
Change-Id: I197511908d9ac27dd4ba1356515f1fbf7bafd218
| Ludovic Courtès | 2024-09-05 |
| * | gnu: sundials, sundials-openmpi: Use gexps.•••* gnu/packages/maths.scm (sundials)[arguments]: Use gexps and use
‘search-input-file’ rather than ‘assoc-ref’.
(sundials-openmpi)[arguments]: Likewise.
Change-Id: Ife0c2ae3604cf66c90ec4a13fe9242f7fe7d550f
| Ludovic Courtès | 2024-09-05 |
| * | gnu: sundials: Upgrade to 7.1.1.•••* 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
| Ludovic Courtès | 2024-09-05 |
| * | gnu: petsc: Make ‘petscvariables’ reproducible.•••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
| Ludovic Courtès | 2024-09-05 |
| * | gnu: python-slepc4py: Update to 3.21.1.•••* 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
| Ludovic Courtès | 2024-09-05 |
| * | gnu: slepc: Update to 3.21.1.•••* gnu/packages/maths.scm (slepc): Update to 3.21.1.
Change-Id: Ib82754c351100de94b57c650a3688747bf706713
| Ludovic Courtès | 2024-09-05 |
| * | gnu: python-petsc4py: Update to 3.21.4.•••* 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
| Ludovic Courtès | 2024-09-05 |
| * | gnu: petsc: Update to 3.21.4.•••* 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
| Ludovic Courtès | 2024-09-05 |
| * | gnu: hypre: Use gexps.•••* gnu/packages/maths.scm (hypre)[arguments]: Use gexps.
(hypre-openmpi)[arguments]: Likewise.
Change-Id: I3064b7606b97076e2fb2947b1fb93319eeb184c9
| Ludovic Courtès | 2024-09-05 |
| * | gnu: hypre: Add missing TeX Live dependency.•••* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-CHANGEPAGE.
Change-Id: I47592a908e3bda39a182424d4f0c9fd820f0d613
| Ludovic Courtès | 2024-09-05 |
| * | gnu: jacal: Update to 1c8.•••* gnu/packages/maths.scm (jacal): Update to 1c8.
[native-inputs]: Add time.
Change-Id: I855993e5caf67854c4c508546485872f770afdd6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Artyom V. Poptsov | 2024-09-03 |
| * | 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
| Vinicius Monego | 2024-09-02 |
| * | gnu: gsl: Use gexps.•••* gnu/packages/maths.scm (gsl)[arguments]: Use gexps.
Change-Id: Ic81576c61a237ff41d6ed767dcf58e38ca96e9ca
| Ludovic Courtès | 2024-08-31 |
| * | 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
| Ludovic Courtès | 2024-08-31 |
| * | gnu: gsl-static: Remove variable.•••* gnu/packages/maths.scm (gsl-static): Remove variable.
Change-Id: I20af472e62582b403afa4be80b2d3f725903dabc
| Efraim Flashner | 2024-08-31 |
| * | 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
| Efraim Flashner | 2024-08-31 |
| * | 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
| Maxime Devos | 2024-08-31 |
| * | 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
| Maxim Cournoyer | 2024-08-31 |
| * | 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
| Maxim Cournoyer | 2024-08-31 |
| * | 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
| Maxim Cournoyer | 2024-08-31 |
| * | build-systems: gnu: Export %default-gnu-imported-modules and %default-gnu-mod...•••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
| Maxim Cournoyer | 2024-08-31 |
| * | gnu: nauty: Fix build.•••* gnu/packages/maths.scm (nauty): Fix hash.
Change-Id: I4837baf2c43279705f0445fd08ad2578e431b8cc
| Nicolas Goaziou | 2024-08-26 |
| * | 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
| Nicolas Goaziou | 2024-08-26 |
| * | 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
| Luca Cirrottola | 2024-08-19 |
| * | 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
| Luca Cirrottola | 2024-08-19 |
| * | gnu: mcrl2: Update to 202307.1.•••* gnu/packages/maths.scm (mcrl2): Update to 202307.1.
Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
| Janneke Nieuwenhuizen | 2024-08-01 |
| * | 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
(<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
| Lars Bilke | 2024-07-26 |
| * | 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>
| Karl Hallsby | 2024-07-21 |