summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Collapse)Author
2020-02-23gnu: z3: Build the Python bindingsJakub Kądziołka
* 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.
2020-02-21gnu: Add vinci.Andreas Enge
* gnu/packages/maths.scm (vinci): New variable.
2020-02-10gnu: octave, octave-cli: Update to 5.2.0.Kei Kebreau
* gnu/packages/maths.scm (octave, octave-cli): Update to 5.2.0. [inputs]: Add bdb.
2020-01-31gnu: superlu-dist: Update to 6.2.0.Eric Bavier
* 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.
2020-01-31gnu: superlu: Update upstream url.Eric Bavier
* gnu/packages/maths.scm (superlu)[source,home-page]: Update url.
2020-01-23gnu: wxmaxima: Update to 20.01.3.Kei Kebreau
* gnu/packages/maths.scm (wxmaxima): Update to 20.01.3. [home-page]: Update URL.
2020-01-19gnu: elemental: Update home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (elemental)[home-page]: Use repository home page.
2020-01-19gnu: petsc: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (petsc)[home-page, license]: Use HTTPS.
2020-01-17gnu: Use HTTPS for www.hdfgroup.org.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (hdf5)[home-page, license]: Use HTTPS. (hdf-java, h5check)[source]: Likewise.
2020-01-17gnu: netcdf: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (netcdf)[home-page]: Use HTTPS.
2020-01-17gnu: scotch: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (scotch)[home-page]: Use HTTPS.
2020-01-17Update email address for Amin Bandali.Amin Bandali
* .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>
2020-01-14gnu: python-slepc4py: Update to 3.11.0.Paul Garlick
* gnu/packages/maths.scm (python-slepc4py): Update to 3.11.0.
2020-01-14gnu: python-petsc4py: Update to 3.11.0.Paul Garlick
* gnu/packages/maths.scm (python-petsc4py): Update to 3.11.0.
2020-01-10gnu: hdf5@1.10: Update to 1.10.6.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.6.
2020-01-07gnu: lapack: Update to 3.9.0.Konrad Hinsen
* gnu/packages/maths.scm (lapack): Update to 3.9.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-12-13gnu: hdf5@1.10: Update to 1.10.5.Ludovic Courtès
* 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.
2019-12-06gnu: Add lrslib.Andreas Enge
* gnu/packages/maths.scm (lrslib): New variable.
2019-12-04Merge branch 'staging'Marius Bakke
2019-12-01gnu: z3: Update to 4.8.7.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (z3): Update to 4.8.7.
2019-12-01gnu: nauty: Update to 2.6r12.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (nauty): Update to 2.6r12.
2019-11-28Merge branch 'master' into stagingMarius Bakke
2019-11-27gnu: Remove obsolete import of R build system module.Ricardo Wurmus
* gnu/packages/maths.scm: Remove import of (guix build-system r).
2019-11-27gnu: r-subplex: Move to (gnu packages cran).zimoun
* 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>
2019-11-27gnu: r-pracma: Move to (gnu packages cran).zimoun
* 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>
2019-11-27gnu: r-desolve: Move to (gnu packages cran).zimoun
* 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>
2019-11-27gnu: r-quadprog: Move to (gnu packages cran).zimoun
* 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>
2019-11-23gnu: wxmaxima: Update to 19.11.1.Kei Kebreau
* gnu/packages/maths.scm (wxmaxima): Update to 19.11.1.
2019-11-23gnu: r-quadprog: Update to 1.5-8.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (r-quadprog): Update to 1.5-8.
2019-11-23gnu: r-desolve: Update to 1.25.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (r-desolve): Update to 1.25.
2019-11-21Merge branch 'master' into stagingMarius Bakke
2019-11-19gnu: Add minisat.Robert Smith
* 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>
2019-10-21Merge branch 'master' into stagingMarius Bakke
2019-10-20gnu: vc: Update to 1.4.1.Marius Bakke
* 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.
2019-10-18Merge branch 'master' into stagingMarius Bakke
2019-10-14gnu: mumps: Build and install shared libraries.Maurice Brémond
* 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>
2019-10-14gnu: mumps: Update to 5.2.1.Maurice Brémond
* gnu/packages/maths.scm (mumps): Update to 5.2.1. Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
2019-10-13Merge branch 'master' into stagingMarius Bakke
2019-10-08gnu: mcrl2: Update source url.Jan Nieuwenhuizen
* gnu/packages/maths.scm (mcrl2): Update source url.
2019-10-08gnu: OpenBLAS: Update to 0.3.7.Marius Bakke
* gnu/packages/maths.scm (openblas): Update to 0.3.7.
2019-10-08gnu: OpenBLAS: Incorporate grafted changes.Marius Bakke
* gnu/packages/maths.scm (openblas)[replacement]: Remove. [arguments]: Add NUM_THREADS in #:make-flags. (openblas/fixed-num-threads): Remove variable.
2019-10-08Merge branch 'core-updates'Ludovic Courtès
2019-10-08gnu: maxflow: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS.
2019-10-08gnu: maxflow: Correct version to 3.0.5.Tobias Geerinckx-Rice
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.
2019-10-08gnu: maxflow: Use GIT-FILE-NAME.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME.
2019-10-01Merge branch 'master' into core-updatesLudovic Courtès
2019-09-30gnu: Add mcrl2-minimal.Jan Nieuwenhuizen
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
2019-09-30gnu: mcrl2: Update to 201908.0.Jan Nieuwenhuizen
* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
2019-09-28gnu: z3: Update to 4.8.6.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (z3): Update to 4.8.6.
2019-09-27gnu: dealii: Update to 9.1.1.Eric Bavier
* gnu/packages/maths.scm (dealii): Update to 9.1.1. [source]: Remove patch no longer needed. * gnu/local.mk (dist_patch_DATA): ditto. * gnu/packages/patches/dealii-mpi-deprecations.patch: Delete it.