3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00
Commit graph

727 commits

Author SHA1 Message Date
Kei Kebreau
48446f0f94
gnu: wxmaxima: Update to 20.01.3.
* gnu/packages/maths.scm (wxmaxima): Update to 20.01.3.
[home-page]: Update URL.
2020-01-23 14:22:41 -05:00
Tobias Geerinckx-Rice
1e05e837c7
gnu: elemental: Update home page.
* gnu/packages/maths.scm (elemental)[home-page]: Use repository home
page.
2020-01-19 17:57:09 +01:00
Tobias Geerinckx-Rice
2299d83e2f
gnu: petsc: Use HTTPS home page.
* gnu/packages/maths.scm (petsc)[home-page, license]: Use HTTPS.
2020-01-19 06:09:02 +01:00
Tobias Geerinckx-Rice
0a44f9c4e4
gnu: Use HTTPS for www.hdfgroup.org.
* gnu/packages/maths.scm (hdf5)[home-page, license]: Use HTTPS.
(hdf-java, h5check)[source]: Likewise.
2020-01-17 23:32:34 +01:00
Tobias Geerinckx-Rice
821aa687b4
gnu: netcdf: Use HTTPS home page.
* gnu/packages/maths.scm (netcdf)[home-page]: Use HTTPS.
2020-01-17 23:32:34 +01:00
Tobias Geerinckx-Rice
d5730000e2
gnu: scotch: Use HTTPS home page.
* gnu/packages/maths.scm (scotch)[home-page]: Use HTTPS.
2020-01-17 23:32:34 +01:00
Amin Bandali
a3143063ae
Update email address for 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-17 18:30:33 +01:00
Paul Garlick
09bad3cd42
gnu: python-slepc4py: Update to 3.11.0.
* gnu/packages/maths.scm (python-slepc4py): Update to 3.11.0.
2020-01-14 17:24:11 +00:00
Paul Garlick
f1cc312e15
gnu: python-petsc4py: Update to 3.11.0.
* gnu/packages/maths.scm (python-petsc4py): Update to 3.11.0.
2020-01-14 17:23:50 +00:00
Tobias Geerinckx-Rice
cb169aae81
gnu: hdf5@1.10: Update to 1.10.6.
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.6.
2020-01-10 23:47:28 +01:00
Konrad Hinsen
e6de152dc1
gnu: lapack: Update to 3.9.0.
* gnu/packages/maths.scm (lapack): Update to 3.9.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-01-07 12:25:09 +01:00
Ludovic Courtès
94fea21b21
gnu: hdf5@1.10: Update to 1.10.5.
* 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-13 18:04:04 +01:00
Andreas Enge
0ffc2d537d
gnu: Add lrslib.
* gnu/packages/maths.scm (lrslib): New variable.
2019-12-06 22:56:02 +01:00
Marius Bakke
33b59c1a3e
Merge branch 'staging' 2019-12-04 20:12:41 +01:00
Tobias Geerinckx-Rice
dbef037ff4
gnu: z3: Update to 4.8.7.
* gnu/packages/maths.scm (z3): Update to 4.8.7.
2019-12-01 00:49:15 +01:00
Tobias Geerinckx-Rice
1ff64c503a
gnu: nauty: Update to 2.6r12.
* gnu/packages/maths.scm (nauty): Update to 2.6r12.
2019-12-01 00:49:14 +01:00
Marius Bakke
0897ad7fac
Merge branch 'master' into staging 2019-11-28 00:38:25 +01:00
Ricardo Wurmus
f3640e7395
gnu: Remove obsolete import of R build system module.
* gnu/packages/maths.scm: Remove import of (guix build-system r).
2019-11-27 18:29:32 +01:00
zimoun
ef7944b94f
gnu: r-subplex: Move to (gnu packages cran).
* 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-27 18:15:34 +01:00
zimoun
682768deb0
gnu: r-pracma: Move to (gnu packages cran).
* 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-27 18:15:34 +01:00
zimoun
9bd56b1a77
gnu: r-desolve: Move to (gnu packages cran).
* 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-27 18:15:34 +01:00
zimoun
0eb59d9eac
gnu: r-quadprog: Move to (gnu packages cran).
* 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-27 18:15:34 +01:00
Kei Kebreau
1e8609f238
gnu: wxmaxima: Update to 19.11.1.
* gnu/packages/maths.scm (wxmaxima): Update to 19.11.1.
2019-11-23 15:33:14 -05:00
Tobias Geerinckx-Rice
ec9a15c2eb
gnu: r-quadprog: Update to 1.5-8.
* gnu/packages/maths.scm (r-quadprog): Update to 1.5-8.
2019-11-23 02:00:40 +01:00
Tobias Geerinckx-Rice
3db9cbf676
gnu: r-desolve: Update to 1.25.
* gnu/packages/maths.scm (r-desolve): Update to 1.25.
2019-11-23 02:00:40 +01:00
Marius Bakke
b60d2bfff9
Merge branch 'master' into staging 2019-11-21 22:44:15 +01:00
Robert Smith
3b7828cc7f
gnu: Add minisat.
* 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-11-19 17:27:58 +01:00
Marius Bakke
023522d3a1
Merge branch 'master' into staging 2019-10-21 00:33:43 +02:00
Marius Bakke
9d731fb61d
gnu: vc: Update to 1.4.1.
* 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-20 00:31:15 +02:00
Marius Bakke
b95d1b3289
Merge branch 'master' into staging 2019-10-18 18:10:47 +02:00
Maurice Brémond
06e1239502
gnu: mumps: Build and install shared libraries.
* 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-14 18:25:31 +02:00
Maurice Brémond
5dbc79eb60
gnu: mumps: Update to 5.2.1.
* gnu/packages/maths.scm (mumps): Update to 5.2.1.

Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
2019-10-14 18:25:31 +02:00
Marius Bakke
378ebc048c
Merge branch 'master' into staging 2019-10-13 23:04:06 +02:00
Jan Nieuwenhuizen
185152e39e
gnu: mcrl2: Update source url.
* gnu/packages/maths.scm (mcrl2): Update source url.
2019-10-08 23:25:51 +02:00
Marius Bakke
2ea095300a
gnu: OpenBLAS: Update to 0.3.7.
* gnu/packages/maths.scm (openblas): Update to 0.3.7.
2019-10-08 21:23:06 +02:00
Marius Bakke
a4384dc970
gnu: OpenBLAS: Incorporate grafted changes.
* gnu/packages/maths.scm (openblas)[replacement]: Remove.
[arguments]: Add NUM_THREADS in #:make-flags.
(openblas/fixed-num-threads): Remove variable.
2019-10-08 21:23:06 +02:00
Ludovic Courtès
cf3d1763ed
Merge branch 'core-updates' 2019-10-08 11:37:07 +02:00
Tobias Geerinckx-Rice
0be9038c95
gnu: maxflow: Use HTTPS home page.
* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS.
2019-10-08 05:29:29 +02:00
Tobias Geerinckx-Rice
0af12a1367
gnu: maxflow: Correct version to 3.0.5.
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-08 05:29:29 +02:00
Tobias Geerinckx-Rice
2dc0a6cf36
gnu: maxflow: Use GIT-FILE-NAME.
* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME.
2019-10-08 05:29:28 +02:00
Ludovic Courtès
0cf2b6f2db
Merge branch 'master' into core-updates 2019-10-01 12:06:00 +02:00
Jan Nieuwenhuizen
e03b912600
gnu: Add mcrl2-minimal.
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
2019-09-30 21:26:56 +02:00
Jan Nieuwenhuizen
3bc74090d9
gnu: mcrl2: Update to 201908.0.
* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
2019-09-30 21:26:19 +02:00
Tobias Geerinckx-Rice
d49375c722
gnu: z3: Update to 4.8.6.
* gnu/packages/maths.scm (z3): Update to 4.8.6.
2019-09-28 05:36:12 +02:00
Eric Bavier
ba567cae97
gnu: dealii: Update to 9.1.1.
* 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.
2019-09-27 22:23:44 -05:00
Marius Bakke
e7f62a41b2
Merge branch 'master' into core-updates 2019-09-27 19:11:27 +02:00
Ludovic Courtès
11da634a6e
Merge branch 'master' into core-updates 2019-09-24 10:11:38 +02:00
Tobias Geerinckx-Rice
3f55b7be16
gnu: glm: Update to 0.9.9.6.
* gnu/packages/maths.scm (glm): Update to 0.9.9.6.
[source]: Add patch.
* gnu/packages/patches/glm-restore-install-target.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2019-09-24 02:10:49 +02:00
Tobias Geerinckx-Rice
ca2ead31d2
gnu: wxmaxima: Update to 19.09.0.
* gnu/packages/maths.scm (wxmaxima): Update to 19.09.0.
2019-09-21 19:17:52 +02:00
Ricardo Wurmus
70bb5d88e0
gnu: octave: Use texlive-union.
* gnu/packages/maths.scm (octave)[native-inputs]: Replace texlive with
texlive-union containing texlive-epsf.
2019-09-20 00:43:16 +02:00