Commit graph

705 commits

Author SHA1 Message Date
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
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
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 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
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
Jan Nieuwenhuizen 185152e39e
gnu: mcrl2: Update source url.
* gnu/packages/maths.scm (mcrl2): Update source url.
2019-10-08 23:25:51 +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
Ludovic Courtès 9ff87bb996
Merge branch 'master' into core-updates 2019-09-17 16:27:15 +02:00
Paul Garlick 0746c33eff
gnu: gmsh: Update home page.
This addresses a 'guix lint' warning.

* gnu/packages/maths.scm (gmsh)[home-page]: Update to avoid URL
redirection.
2019-09-13 14:53:57 +01:00
Ludovic Courtès ba05be2249
gnu: openblas: Set 'NUM_THREADS'.
Until now, OpenBLAS would use at most the N threads, where N is the
number of cores that happened to be available on the build
machine (typically N=8).

* gnu/packages/maths.scm (openblas/fixed-num-threads): New variable.
(openblas)[replacement]: New field.
(openblas-ilp64): Use 'package/inherit'.
2019-09-13 10:50:11 +02:00
Paul Garlick abed5df777
gnu: gmsh: Fetch source from Git.
* gnu/packages/maths.scm (gmsh)[source]: Switch to GIT-FETCH.
2019-09-12 16:21:31 +01:00
Ricardo Wurmus 8b35c8cd61
gnu: hypre: Update texlive-union.
* gnu/packages/maths.scm (hypre)[native-inputs]: Replace texlive-generic-xypic
and texlive-fonts-xypic with texlive-xypic; add texlive-cm to the
texlive-union.
2019-09-12 12:10:05 +02:00
Mark H Weaver 65542a8852
Merge branch 'master' into core-updates 2019-09-06 20:46:00 -04:00
Marius Bakke c959d99fd0
gnu: hdf4: Update to 4.2.14.
* gnu/packages/maths.scm (hdf4): Update to 4.2.14.
2019-09-04 13:17:38 +02:00
Marius Bakke 25bdbb618a
gnu: hdf-eos2: Add libtirpc input.
* gnu/packages/maths.scm (hdf-eos2)[inputs]: Add LIBTIRPC.
2019-09-03 18:49:32 +02:00
Marius Bakke bd3d71cb16
gnu: hdf4: Build with libtirpc.
* gnu/packages/patches/hdf4-tirpc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (hdf4)[source](patches): Use it.
[inputs]: Add LIBTIRPC.
[arguments]: Adjust #:configure-flags accordingly.
2019-09-03 13:24:34 +02:00
Steve Sprang 4cb5d2515c
gnu: Add speedcrunch.
* gnu/packages/maths.scm (speedcrunch): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-31 21:04:08 +02:00
Mark H Weaver 0481289cbc
Merge branch 'master' into core-updates 2019-08-29 17:19:18 -04:00
Tobias Geerinckx-Rice a7c7015adb
gnu: python-cvxopt: Update to 1.2.3.
* gnu/packages/maths.scm (python-cvxopt): Update to 1.2.3.
2019-08-26 05:02:51 +02:00
Mark H Weaver 893c2df00d
Merge branch 'master' into core-updates 2019-08-22 15:53:27 -04:00
Kei Kebreau 439378fd9f
gnu: wxmaxima: Update to 19.08.0.
* gnu/packages/maths.scm (wxmaxima): Update to 19.08.0.
2019-08-20 21:50:30 -04:00
Marius Bakke 462ad9f56b
Merge branch 'master' into core-updates 2019-08-13 20:42:06 +02:00
Marius Bakke 8e7f97b9ff
Merge branch 'master' into staging 2019-08-08 00:35:37 +02:00
Ricardo Wurmus d36430d274
gnu: r-desolve: Update to 1.24.
* gnu/packages/maths.scm (r-desolve): Update to 1.24.
2019-08-06 15:48:52 +02:00
Marius Bakke 1c7d7f3f65
gnu: double-conversion: Update to 3.1.5.
* gnu/packages/maths.scm (double-conversion): Update to 3.1.5.
2019-08-04 13:49:54 +02:00
Ludovic Courtès 64de896a71
Merge branch 'master' into core-updates 2019-07-17 15:51:10 +02:00
Paul Garlick 37dc29200c
gnu: Add opencascade-occt.
* gnu/packages/maths.scm (opencascade-occt): New variable.
2019-07-16 22:19:26 +01:00
Marius Bakke 97149c5767
gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7.
These variables are no longer set in the build environment by default.  GCC
still respects these search paths and treats them as "system headers" so we
can continue to use them, just not expect them to be available.

* gnu/packages/mpi.scm (openmpi)[arguments]: Do not attempt to read from
C_INCLUDE_PATH, nor CPLUS_INCLUDE_PATH.
* gnu/packages/games.scm (kiki)[arguments]: Likewise.
* gnu/packages/networking.scm (hcxtools)[arguments]: Likewise.
* gnu/packages/synergy.scm (synergy)[arguments]: Likewise.
* gnu/packages/bioinformatics.scm (gemma, sailfish)[arguments]: Likewise.
* gnu/packages/maths.scm (dune-alugrid)[arguments]: Likewise.
2019-07-14 18:13:34 +02:00
Marius Bakke 4fb9165515
Merge branch 'staging' into core-updates 2019-07-02 20:18:16 +02:00