Age | Commit message (Collapse) | Author |
|
* gnu/packages/maths.scm (suitesparse): Update to 5.7.1.
[source]: The latest releases of SuiteSparse have only been published on GitHub.
Fetch from git tag as GitHub releases page only contains autogenerated tarballs
that guix lint complains about. Apply new patch for Mongoose's CMakeList.txt to
find SuiteSparse_config.
[arguments]: Add CMake flags used by new components GraphBLAS and Mongoose.
[native-inputs]: Add CMake and m4 needed to build GraphBLAS and Mongoose.
* gnu/packages/patches/suitesparse-mongoose-cmake.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
|
* gnu/packages/maths.scm (z3)[arguments]: Add the --python and
--pypkgdir flags to configure. To facilitate the latter, add
(guix build python-build-system) to #:modules and #:imported-modules.
|
|
* gnu/packages/maths.scm (vinci): New variable.
|
|
* gnu/packages/maths.scm (octave, octave-cli): Update to 5.2.0.
[inputs]: Add bdb.
|
|
* gnu/packages/maths.scm (superlu-dist): Update to 6.2.0.
[source]: Update upstream url. Remove mpi deprecations patch.
* gnu/packages/patches/superlu-dist-fix-mpi-deprecations.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
|
|
* gnu/packages/maths.scm (superlu)[source,home-page]: Update url.
|
|
* gnu/packages/maths.scm (wxmaxima): Update to 20.01.3.
[home-page]: Update URL.
|
|
* gnu/packages/maths.scm (elemental)[home-page]: Use repository home
page.
|
|
* gnu/packages/maths.scm (petsc)[home-page, license]: Use HTTPS.
|
|
* gnu/packages/maths.scm (hdf5)[home-page, license]: Use HTTPS.
(hdf-java, h5check)[source]: Likewise.
|
|
* gnu/packages/maths.scm (netcdf)[home-page]: Use HTTPS.
|
|
* gnu/packages/maths.scm (scotch)[home-page]: Use HTTPS.
|
|
* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
* gnu/packages/maths.scm (python-slepc4py): Update to 3.11.0.
|
|
* gnu/packages/maths.scm (python-petsc4py): Update to 3.11.0.
|
|
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.6.
|
|
* gnu/packages/maths.scm (lapack): Update to 3.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.5. Remove
"hdf5-mpi-deprecations.patch".
* gnu/packages/patches/hdf5-mpi-deprecations.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Remove it.
|
|
* gnu/packages/maths.scm (lrslib): New variable.
|
|
|
|
* gnu/packages/maths.scm (z3): Update to 4.8.7.
|
|
* gnu/packages/maths.scm (nauty): Update to 2.6r12.
|
|
|
|
* gnu/packages/maths.scm: Remove import of (guix build-system r).
|
|
* gnu/packages/maths.scm (r-subplex): Move from here...
* gnu/packages/cran.scm (r-subplex): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
|
|
* gnu/packages/maths.scm (r-pracma): Move from here...
* gnu/packages/cran.scm (r-pracma): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
|
|
* gnu/packages/maths.scm (r-desolve): Move from here...
* gnu/packages/cran.scm (r-desolve): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
|
|
* gnu/packages/maths.scm (r-quadprog): Move from here...
* gnu/packages/cran.scm (r-quadprog): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
|
|
* gnu/packages/maths.scm (wxmaxima): Update to 19.11.1.
|
|
* gnu/packages/maths.scm (r-quadprog): Update to 1.5-8.
|
|
* gnu/packages/maths.scm (r-desolve): Update to 1.25.
|
|
|
|
* gnu/packages/patches/minisat-friend-declaration.patch: New file.
* gnu/packages/patches/minisat-install.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add both files above.
* gnu/packages/maths.scm (minisat): New exported variable.
Signed-off-by: Mathieu Othacehe <m.othacehe@gmail.com>
|
|
|
|
* gnu/packages/maths.scm (vc): Update to 1.4.1.
[native-inputs]: Add VIRTEST and a test data origin.
[arguments]: Add phase to copy test data.
|
|
|
|
* gnu/packages/patches/mumps-shared-libseq.patch,
gnu/packages/patches/mumps-shared-mumps.patch,
gnu/packages/patches/mumps-shared-pord.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mumps)[source](patches): Add them.
[arguments]: In 'configure' phase, adjust "Makefile.inc" for shared
library support. In 'install' phase, install libmpiseq.so when it
exists.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
|
|
* gnu/packages/maths.scm (mumps): Update to 5.2.1.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
|
|
|
|
* gnu/packages/maths.scm (mcrl2): Update source url.
|
|
* gnu/packages/maths.scm (openblas): Update to 0.3.7.
|
|
* gnu/packages/maths.scm (openblas)[replacement]: Remove.
[arguments]: Add NUM_THREADS in #:make-flags.
(openblas/fixed-num-threads): Remove variable.
|
|
|
|
* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS.
|
|
This won't be picked up by ‘guix package -u’, but the code is identical
anyway. By changing this now, fewer installations will fail to upgrade
at all if upstream ever release a new <3.4.
* gnu/packages/maths.scm (maxflow)[version]: Change to 3.0.5.
[source]: Use version tag instead of raw matching commit.
|
|
* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME.
|
|
|
|
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
|
|
* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
|
|
* gnu/packages/maths.scm (z3): Update to 4.8.6.
|