aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Collapse)AuthorAge
* gnu: boolector: Fix build.Zheng Junjie2024-10-31
| | | | | | gnu/packages/maths.scm (boolector)[inputs]: Add gmp. Change-Id: I008360baed99d02d55bff76d683136ff505e2742
* gnu: louvain-community: Fix home-page.Zheng Junjie2024-10-31
| | | | | | * gnu/packages/maths.scm (louvain-community)[home-page]: Use the right link. Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390
* gnu: louvain-community: Don't tune native.Zheng Junjie2024-10-31
| | | | | | | | * gnu/packages/maths.scm (louvain-community)[arguments]<#:phases>: Add no-tune-native phase. [properties]: Add tunable? field. Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390
* gnu: Add python-primecountpy.Vinicius Monego2024-10-24
| | | | | | | * gnu/packages/maths.scm (python-primecountpy): New variable. Change-Id: Id775a672c104162965825d8d44e599df0c26f11a Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
* gnu: primecount: Update to 7.14.Sharlatan Hellseher2024-10-24
| | | | | | | | | | * 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
* gnu: Add primecount.Vinicius Monego2024-10-24
| | | | | | | * gnu/packages/maths.scm (primecount): New variable. Change-Id: I03692a1be46cc4d0f3eabe95a3f76719a5c63d83 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
* gnu: packages/maths: Sort alphabetically.Sharlatan Hellseher2024-10-24
| | | | | | | | * gnu/packages/maths.scm: (python-blis, python-blis-for-thinc, python-cvxopt, python-kiwisolver, python-libensemble, python-petsc4py): Sort variables alphabetically. Change-Id: Ie00bea4d51ded909e9852e8565b1e26b1412c644
* gnu: packages/maths: Sort alphabetically.Sharlatan Hellseher2024-10-24
| | | | | | | * gnu/packages/maths.scm: (pnetcdf, popf, ppl, primesieve): Sort variables alphabetically. Change-Id: I49653934a3a7149ef51975c6f757d2dcd2f84fb5
* gnu: cryptominisat: Update to 5.11.22.Liliana Marie Prikler2024-10-06
| | | | | | * gnu/packages/maths.scm (cryptominisat): Update to 5.11.22. [source]: Patch include for cadiback. [inputs]: Add cadical, cadiback-for-cryptominisat and gmp.
* gnu: Add cadiback-for-cryptominisat.Liliana Marie Prikler2024-10-06
| | | | * gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
* gnu: Add cadiback.Liliana Marie Prikler2024-10-06
| | | | * gnu/packages/maths.scm (cadiback): New variable.
* gnu: Add cadical.Liliana Marie Prikler2024-10-06
| | | | | | * 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.
* gnu: lingeling: Update to 1.0.0.Liliana Marie Prikler2024-10-06
| | | | | * gnu/packages/maths.scm (lingeling): Update to 1.0.0. [#:phases]<hard-code-commit>: Adjust accordingly.
* gnu: z3: Update to 4.13.0.Liliana Marie Prikler2024-10-06
| | | | * gnu/packages/maths.scm (z3): Update to 4.13.0.
* gnu: kissat: Update to 4.0.1.Liliana Marie Prikler2024-10-06
| | | | | * gnu/packages/maths.scm (kissat): Update to 4.0.1. [#:phases]<patch-source>: Relax regexp to fix test.
* gnu: scasp: Update to 1.1.4.Liliana Marie Prikler2024-10-06
| | | | * gnu/packages/maths.scm (scasp): Update to 1.1.4.
* gnu: scilab: Add sanity-check phase.Nicolas Graves2024-10-04
| | | | | | | | * gnu/packages/maths.scm (scilab): [arguments]<#:phases>: Add sanity-check phase. Change-Id: Idc6911511fd0bf7e779d4af026f0a6390eb3b079 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: scilab: Fix the scilab build script.Nicolas Graves2024-10-04
| | | | | | | | | | | * 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>
* gnu: scilab: Cleanup more files.Nicolas Graves2024-10-04
| | | | | | | | * gnu/packages/maths.scm (scilab): [source] Delete .bat files. Change-Id: I6f9ae17dd5d689c3e5836bf0c9e54725ef381428 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: scilab: Update to 2024.1.0.Nicolas Graves2024-10-04
| | | | | | | | * 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>
* gnu: netcdf: Remove input labels and use gexps.Ludovic Courtès2024-10-04
| | | | | | | | | | * 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
* gnu: netcdf-parallel-openmpi: Enable pnetcdf support.Romain GARBAGE2024-10-04
| | | | | | | * gnu/packages/maths.scm (netcdf-parallel-openmpi) [arguments]: Enable pnetcdf support. Change-Id: I7f3fc6abdb262be86840ea3f68bb6416a0ab1fad Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add pnetcdf.Romain GARBAGE2024-10-04
| | | | | | | * gnu/packages/maths.scm (pnetcdf): New variable. Change-Id: I419161be82cd45585187abfd1e63a23feac73d59 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: netcdf-parallel-openmpi: Build shared library.Romain GARBAGE2024-09-30
| | | | | | | | * 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>
* gnu: sleef: Update to 3.6.1.Efraim Flashner2024-09-17
| | | | | | | | | * 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
* gnu: armadillo: Update to 12.4.2.Tobias Geerinckx-Rice2024-09-08
| | | | | | * gnu/packages/maths.scm (armadillo): Update to 12.4.2. Change-Id: I06b5c63075589de9ef0c32115da912190c077b85
* gnu: chuffed: Add a source file-name.Efraim Flashner2024-09-16
| | | | | | * gnu/packages/maths.scm (chuffed)[source]: Add a file-name field. Change-Id: Iae1bf75cf0ceb050c6fe2be37a1de3b36b68d0c2
* gnu: 4ti2: Update to 1.6.10.Tobias Geerinckx-Rice2024-09-08
| | | | | | * gnu/packages/maths.scm (4ti2): Update to 1.6.10. Change-Id: Ic32526be423aade04a529fcdfbf9332a7c328daf
* Revert "gnu: gsl: Add debug output."Ludovic Courtès2024-09-06
| | | | | | | This reverts commit 36e30a33e8c67d15ccfae6e4a4289c193f0759ad, which triggers too many rebuilds (‘gsl’ has 2.9K dependents). Change-Id: Ia0f0968b23dbf8234c69973eaf71d33a2e8c0690
* gnu: gsl: Add debug output.Artyom Bologov2024-09-05
| | | | * gnu/packages/maths.scm (gsl)[outputs]: Add "debug".
* 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
generated by cgit v1.2.3 (git 2.45.0) at 2024-11-22 15:24:26 +0000