Commit Graph

692 Commits

Author SHA1 Message Date
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
Efraim Flashner 697df13f61
gnu: octave-cli: Sort inputs alphabetically.
* gnu/packages/maths.scm (octave-cli)[inputs]: Sort inputs alphabetically.
2019-07-02 15:04:56 +03:00
Efraim Flashner 5b786db86c
gnu: atlas: All phases return #t.
* gnu/packages/maths.scm (atlas)[arguments]: Ensure all custom phases
return #t.
2019-06-28 10:39:11 +03:00
Ludovic Courtès 5cc1075a76
Merge branch 'master' into core-updates 2019-06-27 23:33:48 +02:00
Tobias Geerinckx-Rice cb1d8aeeb3
gnu: gnuplot: Update to 5.2.7.
* gnu/packages/maths.scm (gnuplot): Update to 5.2.7.
2019-06-21 23:20:36 +02:00
Marius Bakke 6cb1ef9ea2
Merge branch 'staging' into core-updates 2019-06-20 23:38:56 +02:00
Andreas Enge 264334716f
gnu: Add ppl.
* gnu/packages/maths.scm (ppl): New variable.
2019-06-20 16:46:37 +02:00
Nicolas Goaziou ab398380eb
gnu: Move ratpoints into a different module.
* gnu/packages/maths.scm (ratpoints): Move...
* gnu/packages/algebra.scm: ...here.
2019-06-20 09:20:29 +02:00
Nicolas Goaziou 0c842e3a59
gnu: Add ratpoints.
* gnu/packages/maths.scm (ratpoints): New variable.
* gnu/packages/patches/ratpoints-sturm_and_rp_private.patch: New file.
* gnu/local.mk (dist_patch_DATA): Reference patch.
2019-06-19 21:43:12 +02:00
Andreas Enge f455d99dfa
gnu: edge-addition-planarity-suite: Move to the (gnu packages graph) module.
* gnu/packages/maths.scm (edge-addition-planarity-suite): Move from here...
* gnu/packages/maths.scm (edge-addition-planarity-suite): ...to here.
2019-06-17 19:47:15 +02:00
Andreas Enge 9f6065237d
gnu: Add edge-addition-planarity-suite.
* gnu/packages/maths.scm (edge-addition-planarity-suite): New variable.
2019-06-17 17:02:01 +02:00
Ludovic Courtès 494a8cd03a
gnu: units: Update to 2.19.
* gnu/packages/maths.scm (units): Update to 2.19.
2019-06-15 18:29:58 +02:00
Ludovic Courtès d9bbfe042e
Merge branch 'master' into core-updates 2019-06-13 13:24:35 +02:00
Kei Kebreau eeccd2e575
gnu: wxmaxima: Update to 19.05.7.
* gnu/packages/maths.scm (wxmaxima): Update to 19.05.7.
2019-06-04 10:44:14 -04:00