aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2024-12-03gnu: gsl: Update to 2.8....* gnu/packages/maths.scm (gsl): Update to 2.8. Change-Id: I7a7af6af46b0be57a435a09460cb1237c65c6ff8 Ludovic Courtès
2024-12-03gnu: gsl: Build with ‘-O2 -g’ unconditionally....Fixes a regression introduced in 53bec65c51c3f2b7e318db4dc7a5c3a09ad00214 that would cause gsl to be built without optimizations and without debugging symbols (equivalent to “-O0 -g0”). * gnu/packages/maths.scm (gsl)[arguments]: Remove #:make-flags. Change-Id: I5297e3602bffbb7655d655622cc3d7595f82b25a Ludovic Courtès
2024-12-03gnu: gsl: Add debug output....* gnu/packages/maths.scm (gsl)[outputs]: Add "debug". Signed-off-by: Ludovic Courtès <ludo@gnu.org> Artyom Bologov
2024-11-29gnu: petsc: Remove store references on make and gcc....Reduces closure size from 970 MB to around 700 MB for petsc-openmpi package and also makes `guix pack` packages containing petsc bit-reproducible (by removing make it removes implicit guile dependency). * gnu/packages/maths.scm (petsc)[arguments]: Add patterns in ’clean-local-references’ and ‘clear-reference-to-compiler’. Change-Id: I465c325b152b09befdb746e5bc47fbeaf9a061dc Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars Bilke
2024-11-29gnu: petsc: Remove arch version from uname output....Enables reproducible building on machines with have a different arch-suffix in uname output, e.g.: Machine·characteristics:·Linux-x.x.x-arch1-1-x86_64-with-glibc2.39 vs. Machine·characteristics:·Linux-x.x.x-arch2-1-x86_64-with-glibc2.39 Will become Machine·characteristics:·Linux-x.x.x-archx-x-x86_64-with-glibc2.39 * gnu/packages/maths.scm (petsc)[arguments]: Adjust machine regexp in ‘clean-local-references’. Change-Id: Icc37a298c0c2d16e96f2c8eaf5aa4781cc4e5ac4 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars Bilke
2024-11-22gnu: dune-functions: Update to 2.10.0....* gnu/packages/maths.scm (dune-functions): Update to 2.10.0. Change-Id: I022a75f9c66adf50b5b074594d50eed98f316634 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-typetree: Update to 2.10.0....* gnu/packages/maths.scm (dune-typetree): Update to 2.10.0. Change-Id: I5f41fd6a1f8401283d6fa1831d8af96cd751907e Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-subgrid: Update to 2.10.0....* gnu/packages/maths.scm (dune-subgrid): Update to 2.10.0. Change-Id: I447398849731713a4f56e22139b829cb835e97ce Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-alugrid: Update to 2.10.0....* gnu/packages/maths.scm (dune-alugrid): Update to 2.10.0. Change-Id: I316d27b7da3e07398d12a156fa9b3b24675b7fad Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-localfunctions: Update to 2.10.0....* gnu/packages/maths.scm (dune-localfunctions): Update to 2.10.0. Change-Id: If3a92b213d0c94b15035b937e9d0fd96bdf13554 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-istl: Update to 2.10.0....* gnu/packages/maths.scm (dune-istl): Update to 2.10.0. [source]: Remove patch that has been applied upstream. * gnu/packages/patches/dune-istl-fix-solver-playground.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: Ifbbb6f2dea815159a1743ae6e622c154cf1cc9b0 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-grid: Update to 2.10.0....* gnu/packages/maths.scm (dune-grid): Update to 2.10.0. [source]: Remove patch that has been applied upstream. * gnu/packages/patches/dune-grid-add-missing-include-cassert.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: I793f9151ace3c5104fd2b8d74ace128e73133cf3 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-uggrid: Update to 2.10.0....* gnu/packages/maths.scm (dune-uggrid): Update to 2.10.0. [source]: Download as tarball. Change-Id: I3b89ad16dffe6bb64bc343bda4b27868720551f4 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-geometry: Update to 2.10.0....* gnu/packages/maths.scm (dune-geometry): Update to 2.10.0. Change-Id: I4643e3f2c558abbe56f8dbd5e3ff59b334c00912 Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-22gnu: dune-common: Update to 2.10.0....* gnu/packages/maths.scm (dune-common): Update to 2.10.0. Change-Id: I9294c8cb03933533ca05d574320fbfcb8fc711fd Signed-off-by: Andreas Enge <andreas@enge.fr> Felix Gruber
2024-11-18gnu: hdf5: Remove machine info from libraries....* gnu/packages/maths.scm (hdf5-1.14)[arguments]: Add ‘patch-configure-build-settings’. Change-Id: I1435b866babeb95af48e0fd970d931f022c8bc67 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars Bilke
2024-11-15gnu: scilab: Update to 2025.0.0....* gnu/packages/maths.scm (scilab): Update to 2025.0.0. [inputs]: Replace hdf5-1.1.0 by hdf5-1.14. Signed-off-by: Andreas Enge <andreas@enge.fr> Change-Id: If70812525226bb1e9968b1f1042d822d56908f8b Nicolas Graves
2024-10-31gnu: boolector: Fix build....gnu/packages/maths.scm (boolector)[inputs]: Add gmp. Change-Id: I008360baed99d02d55bff76d683136ff505e2742 Zheng Junjie
2024-10-31gnu: louvain-community: Fix home-page....* gnu/packages/maths.scm (louvain-community)[home-page]: Use the right link. Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390 Zheng Junjie
2024-10-31gnu: louvain-community: Don't tune native....* gnu/packages/maths.scm (louvain-community)[arguments]<#:phases>: Add no-tune-native phase. [properties]: Add tunable? field. Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390 Zheng Junjie
2024-10-24gnu: Add python-primecountpy....* gnu/packages/maths.scm (python-primecountpy): New variable. Change-Id: Id775a672c104162965825d8d44e599df0c26f11a Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> Vinicius Monego
2024-10-24gnu: primecount: Update to 7.14....* gnu/packages/maths.scm (primecount): Update to 7.14. [argumetns]<#configure-flags>: Build man pages, link to existing primesieve package. [inputs]: Add primesieve. [native-inputs]: Add asciidoc. Change-Id: Ia6405274c86c3f996bcaa533cb86226da047fbfa Sharlatan Hellseher
2024-10-24gnu: Add primecount....* gnu/packages/maths.scm (primecount): New variable. Change-Id: I03692a1be46cc4d0f3eabe95a3f76719a5c63d83 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> Vinicius Monego
2024-10-24gnu: packages/maths: Sort alphabetically....* gnu/packages/maths.scm: (python-blis, python-blis-for-thinc, python-cvxopt, python-kiwisolver, python-libensemble, python-petsc4py): Sort variables alphabetically. Change-Id: Ie00bea4d51ded909e9852e8565b1e26b1412c644 Sharlatan Hellseher
2024-10-24gnu: packages/maths: Sort alphabetically....* gnu/packages/maths.scm: (pnetcdf, popf, ppl, primesieve): Sort variables alphabetically. Change-Id: I49653934a3a7149ef51975c6f757d2dcd2f84fb5 Sharlatan Hellseher
2024-10-06gnu: 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-06gnu: Add cadiback-for-cryptominisat....* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable. Liliana Marie Prikler
2024-10-06gnu: Add cadiback....* gnu/packages/maths.scm (cadiback): New variable. Liliana Marie Prikler
2024-10-06gnu: 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-06gnu: 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-06gnu: z3: Update to 4.13.0....* gnu/packages/maths.scm (z3): Update to 4.13.0. Liliana Marie Prikler
2024-10-06gnu: 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-06gnu: scasp: Update to 1.1.4....* gnu/packages/maths.scm (scasp): Update to 1.1.4. Liliana Marie Prikler
2024-10-04gnu: 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-04gnu: 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-04gnu: 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-04gnu: 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-04gnu: 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-04gnu: 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-04gnu: Add pnetcdf....* gnu/packages/maths.scm (pnetcdf): New variable. Change-Id: I419161be82cd45585187abfd1e63a23feac73d59 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Romain GARBAGE
2024-09-30gnu: 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-17gnu: 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-08gnu: armadillo: Update to 12.4.2....* gnu/packages/maths.scm (armadillo): Update to 12.4.2. Change-Id: I06b5c63075589de9ef0c32115da912190c077b85 Tobias Geerinckx-Rice
2024-09-16gnu: chuffed: Add a source file-name....* gnu/packages/maths.scm (chuffed)[source]: Add a file-name field. Change-Id: Iae1bf75cf0ceb050c6fe2be37a1de3b36b68d0c2 Efraim Flashner
2024-09-08gnu: 4ti2: Update to 1.6.10....* gnu/packages/maths.scm (4ti2): Update to 1.6.10. Change-Id: Ic32526be423aade04a529fcdfbf9332a7c328daf Tobias Geerinckx-Rice
2024-09-06Revert "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-05gnu: gsl: Add debug output....* gnu/packages/maths.scm (gsl)[outputs]: Add "debug". Artyom Bologov
2024-09-05gnu: dealii: Update to 9.6.0....* gnu/packages/maths.scm (dealii): Update to 9.6.0. Change-Id: I197511908d9ac27dd4ba1356515f1fbf7bafd218 Ludovic Courtès
2024-09-05gnu: 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-05gnu: 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