Commit graph

1521 commits

Author SHA1 Message Date
Zheng Junjie
142be256d4
gnu: louvain-community: Fix home-page.
* gnu/packages/maths.scm (louvain-community)[home-page]: Use the right link.

Change-Id: Idb1f54511f63bf62a9bf29cfb9177cd9f31b2390
2024-10-31 10:43:59 +08:00
Zheng Junjie
af7a5ea4e4
gnu: 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
2024-10-31 10:43:56 +08:00
Vinicius Monego
9d577f0f4c
gnu: Add python-primecountpy.
* gnu/packages/maths.scm (python-primecountpy): New variable.

Change-Id: Id775a672c104162965825d8d44e599df0c26f11a
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-10-24 10:59:58 +01:00
Sharlatan Hellseher
64ed498737
gnu: 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
2024-10-24 10:59:58 +01:00
Vinicius Monego
6c72e72ae8
gnu: Add primecount.
* gnu/packages/maths.scm (primecount): New variable.

Change-Id: I03692a1be46cc4d0f3eabe95a3f76719a5c63d83
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-10-24 10:59:58 +01:00
Sharlatan Hellseher
68fe21b5b2
gnu: 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
2024-10-24 10:59:58 +01:00
Sharlatan Hellseher
6781127a0b
gnu: packages/maths: Sort alphabetically.
* gnu/packages/maths.scm: (pnetcdf, popf, ppl, primesieve): Sort
variables alphabetically.

Change-Id: I49653934a3a7149ef51975c6f757d2dcd2f84fb5
2024-10-24 10:59:51 +01:00
Liliana Marie Prikler
739b0a0fe1
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.
2024-10-06 12:17:17 +02:00
Liliana Marie Prikler
caaf6e98df
gnu: Add cadiback-for-cryptominisat.
* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
2024-10-06 12:17:17 +02:00
Liliana Marie Prikler
ea8ef0f878
gnu: Add cadiback.
* gnu/packages/maths.scm (cadiback): New variable.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
dcf77f8fca
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.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
e2ff842ece
gnu: lingeling: Update to 1.0.0.
* gnu/packages/maths.scm (lingeling): Update to 1.0.0.
[#:phases]<hard-code-commit>: Adjust accordingly.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
857c50d6e0
gnu: z3: Update to 4.13.0.
* gnu/packages/maths.scm (z3): Update to 4.13.0.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
7a3b9db47e
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.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
a77f280b34
gnu: scasp: Update to 1.1.4.
* gnu/packages/maths.scm (scasp): Update to 1.1.4.
2024-10-06 12:17:16 +02:00
Nicolas Graves
ed0d985385
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>
2024-10-04 19:43:39 +02:00
Nicolas Graves
8570fccfa7
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>
2024-10-04 19:43:39 +02:00
Nicolas Graves
e6391ceb1e
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>
2024-10-04 19:43:38 +02:00
Nicolas Graves
2e433799c5
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>
2024-10-04 19:43:38 +02:00
Ludovic Courtès
51868735f3
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
2024-10-04 17:23:13 +02:00
Romain GARBAGE
a227a6efb5
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>
2024-10-04 17:23:13 +02:00
Romain GARBAGE
26d1b6b3c9
gnu: Add pnetcdf.
* gnu/packages/maths.scm (pnetcdf): New variable.

Change-Id: I419161be82cd45585187abfd1e63a23feac73d59
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 17:23:13 +02:00
Romain GARBAGE
c51d7fd569
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>
2024-09-30 22:52:23 +02:00
Efraim Flashner
5bc1fff8f1
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
2024-09-17 21:17:22 +03:00
Tobias Geerinckx-Rice
278cce9f61
gnu: armadillo: Update to 12.4.2.
* gnu/packages/maths.scm (armadillo): Update to 12.4.2.

Change-Id: I06b5c63075589de9ef0c32115da912190c077b85
2024-09-08 02:00:00 +02:00
Efraim Flashner
02a3ad5b0c
gnu: chuffed: Add a source file-name.
* gnu/packages/maths.scm (chuffed)[source]: Add a file-name field.

Change-Id: Iae1bf75cf0ceb050c6fe2be37a1de3b36b68d0c2
2024-09-16 09:08:38 +03:00
Tobias Geerinckx-Rice
4e2a35661a
gnu: 4ti2: Update to 1.6.10.
* gnu/packages/maths.scm (4ti2): Update to 1.6.10.

Change-Id: Ic32526be423aade04a529fcdfbf9332a7c328daf
2024-09-08 02:00:00 +02:00
Ludovic Courtès
c4a2b99f7d
Revert "gnu: gsl: Add debug output."
This reverts commit 36e30a33e8, which
triggers too many rebuilds (‘gsl’ has 2.9K dependents).

Change-Id: Ia0f0968b23dbf8234c69973eaf71d33a2e8c0690
2024-09-06 09:00:55 +02:00
Artyom Bologov
36e30a33e8
gnu: gsl: Add debug output.
* gnu/packages/maths.scm (gsl)[outputs]: Add "debug".
2024-09-05 19:10:40 -05:00
Ludovic Courtès
993d6d2e7b
gnu: dealii: Update to 9.6.0.
* gnu/packages/maths.scm (dealii): Update to 9.6.0.

Change-Id: I197511908d9ac27dd4ba1356515f1fbf7bafd218
2024-09-05 10:14:25 +02:00
Ludovic Courtès
7e87b95c40
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
2024-09-05 10:14:25 +02:00
Ludovic Courtès
0fcd05b044
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
2024-09-05 10:14:25 +02:00
Ludovic Courtès
8d5d66887e
gnu: petsc: Make ‘petscvariables’ reproducible.
This is a followup to 31fe177a97.

* 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
2024-09-05 10:14:24 +02:00
Ludovic Courtès
0b6586a223
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
2024-09-05 10:14:24 +02:00
Ludovic Courtès
b4a8f5d784
gnu: slepc: Update to 3.21.1.
* gnu/packages/maths.scm (slepc): Update to 3.21.1.

Change-Id: Ib82754c351100de94b57c650a3688747bf706713
2024-09-05 10:14:24 +02:00
Ludovic Courtès
0852461c4f
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
2024-09-05 10:14:24 +02:00
Ludovic Courtès
23e62a1529
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
2024-09-05 10:14:24 +02:00
Ludovic Courtès
ed1b4f56fc
gnu: hypre: Use gexps.
* gnu/packages/maths.scm (hypre)[arguments]: Use gexps.
(hypre-openmpi)[arguments]: Likewise.

Change-Id: I3064b7606b97076e2fb2947b1fb93319eeb184c9
2024-09-05 10:14:24 +02:00
Ludovic Courtès
6bf70cf9a6
gnu: hypre: Add missing TeX Live dependency.
* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-CHANGEPAGE.

Change-Id: I47592a908e3bda39a182424d4f0c9fd820f0d613
2024-09-05 10:14:24 +02:00
Artyom V. Poptsov
aef015bfc9
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>
2024-09-03 13:59:34 +02:00
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