me
/
guix
Archived
1
0
Fork 0
Commit Graph

860 Commits (073b12d70d069680eda45b87d5a9bde506fe2b7e)

Author SHA1 Message Date
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
Efraim Flashner 7ad3c81240
gnu: gsl: Update to 2.6.
* gnu/packages/maths.scm (gsl): Update to 2.6.
[source]: Remove patch.
* gnu/packages/patches/gsl-test-i686.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-11-26 22:26:20 +02: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
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
Kei Kebreau ccc963d528
gnu: maxima: Update to 5.43.0.
* gnu/packages/maths.scm (maxima): Update to 5.43.0.
[arguments]: Adjust "patch-paths" and "post-install" phases.
2019-06-04 09:30:38 -04:00
Eric Bavier 4d44bcad56
gnu: dealii-openmpi: Add hdf5-parallel-openmpi input.
* gnu/packages/maths.scm (dealii-openmpi)[inputs]: Add hdf5-parallel-openmpi.
2019-05-31 19:41:41 -05:00
Eric Bavier a13e0f3db4
gnu: slepc: Update to 3.11.1.
* gnu/packages/maths.scm (slepc): Update to 3.11.1.
[native-inputs]: Add petsc:examples.
[arguments]: Add PETSCCONFIGDIR to #:make-flags.
2019-05-31 19:41:41 -05:00
Eric Bavier 4f7a4a06c2
gnu: petsc: Update to 3.11.2.
* gnu/packages/maths.scm (petsc): Update to 3.11.2.
2019-05-31 19:41:41 -05:00
Eric Bavier e586c6faf3
gnu: petsc-complex-mpi: Setup MPI for tests.
* gnu/packages/maths.scm (petsc-complex-mpi)[arguments]: Add 'mpi-setup
phase.
2019-05-31 19:41:41 -05:00
Marius Bakke 57df83e07d
Merge branch 'staging' into core-updates 2019-05-25 00:25:15 +02:00
Vagrant Cascadian 57e69c1d2e
gnu: mumps: Fix typo "Gaussian".
* gnu/packages/maths (mumps)[description]: Fix typo.
2019-05-22 18:29:33 -07:00
Vagrant Cascadian 784c3da11e
gnu: hdf5-parallel-openmpi: Fix typo "explicitly".
* gnu/packages/maths (hdf5-parallel-openmpi): Fix typo.
2019-05-22 18:21:16 -07:00
Tobias Geerinckx-Rice a36efdbc60
gnu: mlucas: Update source hash.
The tarball was modified in-place with too many small changes to list
here, all of them apparently intended as minor bug fixes.

* gnu/packages/maths.scm (mlucas)[source]: Update sha256.
2019-05-17 03:27:41 +02:00
Nicolas Goaziou 6f8c41958f
gnu: Add nauty.
* gnu/packages/maths.scm (nauty): New variable.
2019-05-16 23:19:08 +02:00
Ludovic Courtès 3ea420f337
gnu: hdf5: Add dependency on Perl.
* gnu/packages/maths.scm (hdf5)[native-inputs]: Add PERL.
2019-05-14 12:11:04 +02:00
Ludovic Courtès 549d15712f
gnu: hdf5: Build a thread-safe library.
* gnu/packages/maths.scm (hdf5)[arguments]: Pass "--enable-threadsafe
--with-pthread --enable-unsupported".
2019-05-14 12:11:04 +02:00
Ricardo Wurmus ae9ed1390f
gnu: r-quadprog: Update to 1.5-7.
* gnu/packages/maths.scm (r-quadprog): Update to 1.5-7.
2019-05-11 12:05:34 +02:00
Marius Bakke e77412362f
gnu: OpenBLAS: Update to 0.3.6.
* gnu/packages/maths.scm (openblas): Update to 0.3.6.
2019-05-04 16:25:53 +02:00
Ricardo Wurmus 6b1c7ac8ed
gnu: hypre: Unconditionally return #T from build phases.
* gnu/packages/maths.scm (hypre)[arguments]: Use INVOKE and unconditionally
return #T from build phases.
2019-04-28 16:05:57 +02:00
Ricardo Wurmus 9cd82b1c9d
gnu: jacal: Unconditionally return #T from configure phase.
* gnu/packages/maths.scm (jacal)[arguments]: Use INVOKE in configure phase.
2019-04-28 16:05:57 +02:00
Ricardo Wurmus 32d5360f43
gnu: z3: Unconditionally return #T from build phases.
* gnu/packages/maths.scm (z3)[arguments]: Use INVOKE in build phases.
2019-04-28 16:05:56 +02:00
Ricardo Wurmus cb6f44d4e4
gnu: atlas: Always return #T from build phases.
* gnu/packages/maths.scm (atlas)[arguments]: Always return #T from build
phases; use INVOKE.
2019-04-28 16:05:56 +02:00
Ricardo Wurmus 1ec1782106
gnu: make-blis: Always return #T from configure phase.
* gnu/packages/maths.scm (make-blis)[arguments]: Use INVOKE.
2019-04-28 16:05:56 +02:00
Ludovic Courtès 7d62fa206b
Merge branch 'staging' 2019-04-28 14:45:35 +02:00
Ricardo Wurmus ea9d634c7e
gnu: r-quadprog: Update to 1.5-6.
* gnu/packages/maths.scm (r-quadprog): Update to 1.5-6.
2019-04-27 12:03:13 +02:00
Marius Bakke 37da4fbe15
Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
Mark H Weaver df129041dd
gnu: maxima: Return #t from custom 'check' phase.
* gnu/packages/maths.scm (maxima)[arguments]: Use invoke in the custom
check phase.
2019-04-22 14:58:24 -04:00
Marius Bakke f5961dd585
Merge branch 'master' into staging 2019-04-17 00:08:34 +02:00
Tobias Geerinckx-Rice be0997278b
gnu: hypre: Update to 2.15.1.
* gnu/packages/maths.scm (hypre): Update to 2.15.1.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice fabcbf3261
gnu: hypre: Don't use unstable tarball.
* gnu/packages/maths.scm (hypre)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice 90cea67111
gnu: openspecfun: Don't use unstable tarball.
* gnu/packages/maths.scm (openspecfun)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice 67f1db3864
gnu: muparser: Don't use unstable tarball.
* gnu/packages/maths.scm (muparser)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Ricardo Wurmus 9f2a87d1bf
gnu: r-pracma: Update to 2.2.5.
* gnu/packages/maths.scm (r-pracma): Update to 2.2.5.
2019-04-11 23:37:24 +02:00
Tobias Geerinckx-Rice ca72dd2cb5
gnu: openlibm: Don't use unstable tarball.
* gnu/packages/maths.scm (openlibm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice 830971bf3a
gnu: opencascade-oce: Don't use unstable tarball.
* gnu/packages/maths.scm (opencascade-oce)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice 5db874d1df
gnu: gctp: Don't use unstable tarball.
* gnu/packages/maths.scm (gctp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Ludovic Courtès db7441e470
Merge branch 'master' into staging 2019-04-08 23:08:56 +02:00
Ludovic Courtès adb223b8ba
gnu: scalapack: Use 'non-copyleft' as the license.
* gnu/packages/maths.scm (scalapack)[license]: Use LICENSE:NON-COPYLEFT.
2019-04-08 10:42:51 +02:00
Marius Bakke ba00235a96
Merge branch 'master' into staging 2019-04-08 00:54:01 +02:00
Ricardo Wurmus ecfbc51faa
gnu: Add clp.
* gnu/packages/maths.scm (clp): New variable.
2019-04-07 21:33:03 +02:00
Marius Bakke 81866208fa
gnu: glm: Update to 0.9.9.5.
* gnu/packages/maths.scm (glm): Update to 0.9.9.5.
2019-04-04 14:31:43 +02:00
Kei Kebreau 932d6e276b
gnu: wxmaxima: Update to 19.03.1.
* gnu/packages/maths.scm (wxmaxima): Update to 19.03.1.
2019-04-02 14:45:22 -04:00
Arun Isaac 413f61265e
gnu: Add mlucas.
* gnu/packages/maths.scm (mlucas): New variable.
2019-04-01 17:07:31 +05:30
Marius Bakke 571fb008a5
Merge branch 'master' into staging 2019-04-01 00:02:39 +02:00
Ricardo Wurmus 2a509880d4
gnu: hdf-java: Adjust indentation.
* gnu/packages/maths.scm (hdf-java): Adjust indentation.
2019-03-27 10:47:34 +01:00
Ricardo Wurmus 64dc8b0bfd
gnu: hdf-java: Fix build.
* gnu/packages/maths.scm (hdf-java)[arguments]: Fix copying from automake;
substitute embedded hdf5 version number.
2019-03-27 10:13:46 +01:00
Ricardo Wurmus 9286c0f7e8
gnu: hdf-java: Use INVOKE.
* gnu/packages/maths.scm (hdf-java)[arguments]: Unconditionally return #T from
build phases.
2019-03-27 10:12:57 +01:00
Marius Bakke 081850816f
Merge branch 'master' into staging 2019-03-21 23:18:54 +01:00
Marius Bakke 915618f2ff
gnu: glm: Update to 0.9.9.4.
* gnu/packages/maths.scm (glm): Update to 0.9.9.4.
2019-03-21 19:23:48 +01:00
Tobias Geerinckx-Rice b2c52fc9ff
gnu: petsc: Update to 3.10.4.
* gnu/packages/maths.scm (petsc): Update to 3.10.4.
2019-03-18 22:17:37 +01:00
Tobias Geerinckx-Rice 0e36b2b7d0
gnu: gnuplot: Update to 5.2.6.
* gnu/packages/maths.scm (gnuplot): Update to 5.2.6.
2019-03-18 22:17:36 +01:00
Tobias Geerinckx-Rice 98a5cd51b3
gnu: ipopt: Update to 3.12.12.
* gnu/packages/maths.scm (ipopt): Update to 3.12.12.
2019-03-18 21:20:31 +01:00
ng0 47956fa0c2
Correct name and email address for ng0.
* .mailmap, Makefile.am, doc/guix.de.texi, doc/guix.fr.texi,
doc/guix.texi, etc/completion/fish/guix.fish,
gnu/packages/accessibility.scm, gnu/packages/admin.scm,
gnu/packages/audio.scm, gnu/packages/autotools.scm,
gnu/packages/cdrom.scm, gnu/packages/check.scm,
gnu/packages/cinnamon.scm, gnu/packages/compression.scm,
gnu/packages/crypto.scm, gnu/packages/databases.scm,
gnu/packages/django.scm, gnu/packages/dns.scm, gnu/packages/elixir.scm,
gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/enlightenment.scm, gnu/packages/erlang.scm,
gnu/packages/fonts.scm, gnu/packages/fontutils.scm,
gnu/packages/forth.scm, gnu/packages/fvwm.scm, gnu/packages/games.scm,
gnu/packages/gl.scm, gnu/packages/gnome.scm, gnu/packages/gnunet.scm,
gnu/packages/gnupg.scm, gnu/packages/gnuzilla.scm, gnu/packages/gtk.scm,
gnu/packages/guile-wm.scm,gnu/packages/guile-xyz.scm,
gnu/packages/haskell-check.scm, gnu/packages/haskell-crypto.scm,
gnu/packages/haskell.scm, gnu/packages/image-viewers.scm,
gnu/packages/image.scm, gnu/packages/irc.scm,
gnu/packages/language.scm, gnu/packages/libcanberra.scm,
gnu/packages/linux.scm, gnu/packages/lisp.scm, gnu/packages/lolcode.scm,
gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/mail.scm,
gnu/packages/markup.scm, gnu/packages/mate.scm, gnu/packages/maths.scm,
gnu/packages/mc.scm, gnu/packages/messaging.scm, gnu/packages/music.scm,
gnu/packages/ncurses.scm, gnu/packages/networking.scm,
gnu/packages/nickle.scm, gnu/packages/openbox.scm, gnu/packages/pdf.scm,
gnu/packages/perl-check.scm, gnu/packages/perl.scm,
gnu/packages/python-compression.scm, gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm, gnu/packages/python-xyz.scm,
gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/ruby.scm,
gnu/packages/rust.scm, gnu/packages/scheme.scm,
gnu/packages/serialization.scm, gnu/packages/shells.scm,
gnu/packages/ssh.scm, gnu/packages/suckless.scm, gnu/packages/tbb.scm,
gnu/packages/telephony.scm, gnu/packages/text-editors.scm,
gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tls.scm,
gnu/packages/tor.scm, gnu/packages/version-control.scm,
gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/web.scm,
gnu/packages/wm.scm, gnu/packages/xdisorg.scm, gnu/packages/xfce.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/services/certbot.scm,
gnu/services/desktop.scm, gnu/services/version-control.scm,
gnu/services/web.scm, guix/import/hackage.scm, guix/licenses.scm:
Correct name and email address for ng0.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2019-03-18 15:05:08 +01:00
Marius Bakke c958c31cae
gnu: double-conversion: Update to 3.1.4.
* gnu/packages/maths.scm (double-conversion): Update to 3.1.4.
2019-03-14 15:40:10 +01:00
Marius Bakke a4de1a651e
gnu: double-conversion: Update to 3.1.3.
* gnu/packages/maths.scm (double-conversion): Update to 3.1.3.
[source](uri): Adjust for version tag prefix.
2019-03-10 18:38:51 +01:00
Marius Bakke 8c5533b582
Merge branch 'master' into staging 2019-03-10 18:38:25 +01:00
Efraim Flashner 0ef54303f3
gnu: c-graph: Update to 2.0.1.
* gnu/packages/maths.scm (c-graph): Update to 2.0.1.
2019-03-07 22:00:52 +02:00
Marius Bakke f339df425e
Merge branch 'master' into staging 2019-03-06 16:31:58 +01:00
Kei Kebreau 5b8f892872
gnu: octave, octave-cli: Update to 5.1.0.
* gnu/packages/maths.scm (octave, octave-cli): Update to 5.1.0.
2019-03-06 09:17:33 -05:00
Marius Bakke 19464173ba
Merge branch 'master' into staging 2019-03-01 17:33:00 +01:00
Ricardo Wurmus 8412fa6cc7
gnu: hypre: Remove indirect TexLive dependencies.
* gnu/packages/maths.scm (hypre)[native-inputs]: Remove
texlive-latex-oberdiek, texlive-generic-ifxetex, and texlive-latex-url from
texlive-union.
2019-03-01 12:55:34 +01:00
Paul Garlick 758439cf4b
gnu: python-petsc4py: Update to 10.3.1.
* gnu/packages/maths.scm (python-petsc4py): Update to 10.3.1.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-02-26 17:12:29 -05:00
Marius Bakke aa51eb2073
Merge branch 'master' into staging 2019-02-24 21:25:52 +01:00
Tobias Geerinckx-Rice eea4a0910c
gnu: 4ti2: Update to 1.6.9.
* gnu/packages/maths.scm (4ti2): Update to 1.6.9.
[source]: Update URI.
2019-02-24 17:51:28 +01:00
Eric Bavier 5855756c81
gnu: openblas: Honor parallel-job-count.
* gnu/packages/maths.scm (openblas)[arguments]: Add "MAKE_NB_JOBS" make flag.
2019-02-21 22:04:48 -06:00
Marius Bakke 2c76e19df4
Merge branch 'master' into staging 2019-02-20 17:01:39 +01:00
Eric Bavier 40b114c0bb
gnu: dealii: Upgrade to 9.0.1.
* gnu/packages/patches/dealii-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (dealii)[source]: Upgrade to 9.0.1.  Use patch.
[arguments]: Use new MPI configuration flags.
2019-02-13 22:39:12 -06:00
Marius Bakke 6901878894
Merge branch 'master' into staging 2019-02-14 00:20:28 +01:00
Eric Bavier 6d433d6ef7
gnu: Add ELPA.
* gnu/packages/maths.scm (elpa, elpa-openmpi): New variables.
2019-02-13 14:08:19 -06:00
Eric Bavier aa94524052
gnu: petsc: Upgrade to 3.10.3.
* gnu/packages/maths.scm (petsc): Upgrade to 3.10.3.
2019-02-13 14:08:19 -06:00
Eric Bavier f73750e6f4
gnu: scalapack: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/scalapack-blacs-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (scalapack)[source]: Use it.
2019-02-13 14:08:19 -06:00
Marius Bakke 602a5ef9f3
gnu: OpenBLAS: Update to 0.3.5.
* gnu/packages/maths.scm (openblas): Update to 0.3.5.
2019-02-10 21:04:23 +01:00
Ludovic Courtès 50a93adc05
Merge branch 'staging' 2019-02-09 15:14:59 +01:00
Ricardo Wurmus 4714b00e7a
gnu: Add dune-pdelab.
* gnu/packages/maths.scm (dune-pdelab): New variable.
2019-02-08 19:15:03 +01:00
Ricardo Wurmus 85b9371cbe
gnu: Add dune-functions.
* gnu/packages/maths.scm (dune-functions): New variable.
2019-02-08 18:29:30 +01:00
Ricardo Wurmus 0e50630f15
gnu: Add dune-typetree.
* gnu/packages/maths.scm (dune-typetree): New variable.
2019-02-08 17:58:32 +01:00
Ricardo Wurmus ab03d899ca
gnu: Add dune-alugrid.
* gnu/packages/maths.scm (dune-alugrid): New variable.
2019-02-08 17:52:47 +01:00
Ricardo Wurmus 5a70aa7d69
gnu: Add dune-localfunctions.
* gnu/packages/maths.scm (dune-localfunctions): New variable.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus ea51d3578c
gnu: Add dune-istl.
* gnu/packages/maths.scm (dune-istl): New variable.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus ef6e69fdec
gnu: Add dune-grid.
* gnu/packages/maths.scm (dune-grid): New variable.
2019-02-08 16:26:20 +01:00
Eric Bavier 7b84610e21
gnu: hdf5: Upgrade to 1.8.21.
* gnu/packages/maths.scm (hdf5): Upgrade to 1.8.21.
[source]: Make version manipulations more readable using match.
2019-02-07 21:20:47 -06:00
Eric Bavier 7fedc3fdfb
gnu: hdf5: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/hdf5-1.8-mpi-deprecations.patch,
  gnu/packages/patches/hdf5-mpi-deprecations.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (hdf5, hdf5-1.10)[source]: Use them.
2019-02-07 21:20:47 -06:00
Eric Bavier 2bdf26f1c8
gnu: superlu-dist: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/superlu-dist-fix-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (superlu-dist)[source]: Use it.
2019-02-07 21:20:23 -06:00
Ricardo Wurmus 242dbd8e5d
gnu: Add dune-geometry.
* gnu/packages/maths.scm (dune-geometry): New variable.
2019-02-07 22:36:01 +01:00
Ricardo Wurmus 3847d1f22f
gnu: Add dune-common.
* gnu/packages/maths.scm (dune-common): New variable.
2019-02-07 22:36:01 +01:00
Kei Kebreau d11840b43e
gnu: wxmaxima: Update to 19.01.3.
* gnu/packages/maths.scm (wxmaxima): Update to 19.01.3.
2019-02-06 12:52:27 -05:00
Kei Kebreau a4362fba0e
gnu: maxima: Update to 5.42.2.
* gnu/packages/maths.scm (maxima): Update to 5.42.2.
2019-02-06 12:52:27 -05:00
Marius Bakke 0747328e31
Merge branch 'master' into staging 2019-01-31 23:32:56 +01:00
Kei Kebreau fc9c47bd7c
gnu: maxima: Patch hardcoded paths.
* gnu/packages/maths.scm: (maxima): Patch hardcoded paths.
[arguments]: Add the phase 'patch-paths' to replace references to sed,
dirname, and head with direct references to the store.
[inputs]: Add sed.
2019-01-26 11:04:23 -05:00
Eric Bavier 7e309e8a8d
gnu: dealii-openmpi: Setup MPI for tests.
* gnu/packages/maths.scm (dealii-openmpi)[arguments]: Add 'mpi-setup' phase.
2019-01-25 13:10:05 -06:00
Eric Bavier 6161141e91
superlu-dist: Upgrade to 6.1.0.
* gnu/packages/patches/superlu-dist-awpm-grid.patch: New file.
* gnu/packages/maths.scm (superlu-dist)[source]: Upgrade to 6.0.0.  Remove
extraneous 'use-modules' in snippet.
[build-system]: Change to cmake-build-system.
[propagated-inputs]:   Replace pt-scotch with pt-scotch32 to match integer
sizes.  Add "parmetis" input, from pt-scotch32.  Move lapack to ...
[inputs]: ...here.  Add openblas and combinatorial-blas.
[arguments]: Replace 'configure' phase with #:configure-flags.  Add
'set-c++-standard' and 'omp-setup' phases.  Remove
'create-install-directories, 'check', and 'install' phases, which are now
handled by cmake.
* gnu/local.mk (dist_patch_DATA): Add patch.
2019-01-25 13:10:05 -06:00
Eric Bavier fd3733432b
scotch: Upgrade to 6.0.6.
* gnu/packages/maths.scm (scotch): Upgrade to 6.0.6.
[source]: Remove patches that have been fixed upstream.
[arguments]: Add 'install-metis' phase.
[outputs]: New field.
(pt-scotch, pt-scotch32)[arguments]: Add 'mpi-setup' phase.  Use 'invoke'.
* gnu/packages/patches/scotch-graph-diam-64.patch,
gnu/packages/patches/scotch-graph-induce-type-64.patch,
gnu/packages/patches/scotch-test-threading.patch: Delete files.
* gnu/packages/patches/scotch-integer-declarations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust as necessary.
2019-01-25 13:10:05 -06:00
Eric Bavier a6b9ebc2fc
gnu: Add Combinatorial BLAS.
* gnu/packages/maths.scm (combinatorial-blas): New variable.
* gnu/packages/patches/combinatorial-blas-awpm.patch,
gnu/packages/patches/combinatorial-blas-io-fix.patch: New files
* gnu/local.mk(dist_patch_DATA): Add them.
2019-01-25 13:09:47 -06:00
Ludovic Courtès 3e2d4e69c3
Merge branch 'master' into staging 2019-01-20 22:12:10 +01:00
Amin Bandali 6654f8c144
gnu: z3: Update to 4.8.4.
* gnu/packages/maths.scm (z3): Update to 4.8.4.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-01-18 11:12:59 -05:00
Ricardo Wurmus 44d10b1f72
gnu: Separate Python core packages from the rest.
* gnu/packages/python.scm: Move hundreds of package definitions from here...
* gnu/packages/python-xyz.scm: ...to this new module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/ada.scm,
gnu/packages/admin.scm,
gnu/packages/android.scm,
gnu/packages/audio.scm,
gnu/packages/backup.scm,
gnu/packages/benchmark.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/bittorrent.scm,
gnu/packages/calendar.scm,
gnu/packages/check.scm,
gnu/packages/chemistry.scm,
gnu/packages/cluster.scm,
gnu/packages/compression.scm,
gnu/packages/connman.scm,
gnu/packages/crypto.scm,
gnu/packages/cups.scm,
gnu/packages/databases.scm,
gnu/packages/dav.scm,
gnu/packages/direct-connect.scm,
gnu/packages/disk.scm,
gnu/packages/django.scm,
gnu/packages/dlang.scm,
gnu/packages/docker.scm,
gnu/packages/ebook.scm,
gnu/packages/elf.scm,
gnu/packages/emacs.scm,
gnu/packages/emulators.scm,
gnu/packages/engineering.scm,
gnu/packages/enlightenment.scm,
gnu/packages/finance.scm,
gnu/packages/fltk.scm,
gnu/packages/fontutils.scm,
gnu/packages/freedesktop.scm,
gnu/packages/game-development.scm,
gnu/packages/games.scm,
gnu/packages/geo.scm,
gnu/packages/gl.scm,
gnu/packages/glib.scm,
gnu/packages/gnome.scm,
gnu/packages/gnupg.scm,
gnu/packages/gnuzilla.scm,
gnu/packages/graph.scm,
gnu/packages/graphics.scm,
gnu/packages/graphviz.scm,
gnu/packages/gtk.scm,
gnu/packages/ham-radio.scm,
gnu/packages/image-processing.scm,
gnu/packages/image-viewers.scm,
gnu/packages/image.scm,
gnu/packages/irc.scm,
gnu/packages/jrnl.scm,
gnu/packages/julia.scm,
gnu/packages/kde-frameworks.scm,
gnu/packages/key-mon.scm,
gnu/packages/libffi.scm,
gnu/packages/libreoffice.scm,
gnu/packages/libusb.scm,
gnu/packages/lirc.scm,
gnu/packages/logging.scm,
gnu/packages/machine-learning.scm,
gnu/packages/mail.scm,
gnu/packages/mate.scm,
gnu/packages/maths.scm,
gnu/packages/medical.scm,
gnu/packages/messaging.scm,
gnu/packages/monitoring.scm,
gnu/packages/mp3.scm,
gnu/packages/mpd.scm,
gnu/packages/music.scm,
gnu/packages/networking.scm,
gnu/packages/nutrition.scm,
gnu/packages/openldap.scm,
gnu/packages/openstack.scm,
gnu/packages/package-management.scm,
gnu/packages/password-utils.scm,
gnu/packages/patchutils.scm,
gnu/packages/pdf.scm,
gnu/packages/photo.scm,
gnu/packages/polkit.scm,
gnu/packages/protobuf.scm,
gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm,
gnu/packages/qt.scm,
gnu/packages/rdf.scm,
gnu/packages/ruby.scm,
gnu/packages/search.scm,
gnu/packages/selinux.scm,
gnu/packages/serialization.scm,
gnu/packages/shells.scm,
gnu/packages/simulation.scm,
gnu/packages/ssh.scm,
gnu/packages/statistics.scm,
gnu/packages/storage.scm,
gnu/packages/sync.scm,
gnu/packages/terminals.scm,
gnu/packages/textutils.scm,
gnu/packages/time.scm,
gnu/packages/tls.scm,
gnu/packages/tor.scm,
gnu/packages/tryton.scm,
gnu/packages/version-control.scm,
gnu/packages/video.scm,
gnu/packages/virtualization.scm,
gnu/packages/vpn.scm,
gnu/packages/web-browsers.scm,
gnu/packages/web.scm,
gnu/packages/wicd.scm,
gnu/packages/xdisorg.scm,
gnu/packages/xorg.scm: Update module references.
2019-01-15 14:46:44 +01:00
Marius Bakke 6764f94317
Merge branch 'master' into staging 2019-01-13 01:40:04 +01:00
Ricardo Wurmus 0aad198e2b
gnu: r-pracma: Update to 2.2.2.
* gnu/packages/maths.scm (r-pracma): Update to 2.2.2.
2019-01-12 23:35:11 +01:00
Efraim Flashner 0e28967250
Merge remote-tracking branch 'origin/master' into staging 2019-01-09 10:52:41 +02:00
Ludovic Courtès 59a075047d
gnu: Move OCaml packages away from maths.scm.
This removes (gnu packages ocaml) and related build system modules from
the closure of (gnu packages maths).

* gnu/packages/maths.scm (ocaml-gsl, ocaml4.01-gsl, cubicle): Move to...
* gnu/packages/ocaml.scm: ... here.
2019-01-07 14:41:00 +01:00
Arun Isaac b18b9d2042
gnu: octave: Fix makeinfo path configuration.
* gnu/packages/maths.scm (octave-cli)[arguments]: Fix makeinfo path
configuration in configure-makeinfo phase.
2019-01-05 23:49:59 +05:30
Marius Bakke 02bf685d00
Merge branch 'master' into staging 2018-12-23 23:26:04 +01:00
Amin Bandali fa574a6d43
gnu: z3: Update to 4.8.3 and provide python3 bindings
* gnu/packages/maths.scm (z3): Update to 4.8.3.
[build-system]: Switch from cmake to make, and use the current
scripts/mk_make.py build script instead of the now-deprecated
contrib/cmake/bootstrap.py.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-23 22:14:15 +01:00
Marius Bakke f30830b2e6
Merge branch 'master' into staging 2018-12-22 15:26:30 +01:00
Efraim Flashner 5c0b6d1b1d
gnu: elemental: Don't use unstable tarball.
* gnu/packages/maths.scm (elemental)[source]: Download source using
git-fetch.
2018-12-17 12:08:06 +02:00
Efraim Flashner 3b42e2be92
gnu: elemental: Fix indentation.
* gnu/packages/maths.scm (elemental): Fix indentation of the package
definition.
2018-12-17 12:08:06 +02:00
Efraim Flashner ad6c6a5be5
gnu: z3: Fix building on non-Intel machines.
* gnu/packages/maths.scm (z3)[arguments]: Add phase to remove
unnecessary include statement.
2018-12-17 12:08:06 +02:00
Efraim Flashner 2d7b99b3c6
gnu: z3: Declare source-file-name.
* gnu/packages/maths.scm (z3)[source]: Add missing 'file-name.
2018-12-17 12:08:05 +02:00
Pierre Neidhardt 9b405aeaa2
gnu: hypre: Replace texlive input with minimal texlive-union.
* gnu/packages/maths.scm (hypre)[native-inputs]: Replace texlive with minimal
  texlive-union.
2018-12-14 23:32:39 +01:00
Marius Bakke 12878d12ac
Merge branch 'master' into staging 2018-12-12 22:00:52 +01:00
Paul Garlick 72f95783f1
gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency.
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Replace pt-scotch
with pt-scotch32 in order to prevent 'incompatible pointer' warnings
being generated in the 'build' phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-10 00:28:11 +01:00
Marius Bakke fbb7b04a85
Merge branch 'master' into staging 2018-12-09 00:18:32 +01:00
Kei Kebreau e0ae7e7374
gnu: Rename "qtoctave" to "octave".
* gnu/packages/maths.scm (qtoctave): Define in terms of 'deprectated-package'.
(octave): New variable, formerly known as "qtoctave".
2018-12-08 13:18:24 -05:00
Kei Kebreau 5537603fbf
gnu: Rename "octave" to "octave-cli".
* gnu/packages/maths.scm (octave): Rename to...
(octave-cli): ...this.
[name]: Change to "octave-cli".
(qtoctave): Inherit from octave-cli.
(flann)[inputs]: Adjust accordingly.
* gnu/packages/engineering.scm (qucs)[inputs]: Likewise.
(qucs-s)[inputs]: Likewise.
* gnu/packages/machine-learning.scm (shogun)[inputs]: Likewise.
2018-12-08 13:17:31 -05:00
Marius Bakke 16b940a079
gnu: OpenBLAS: Update to 0.3.4.
* gnu/packages/maths.scm (openblas): Update to 0.3.4.
2018-12-04 20:05:21 +01:00
Paul Garlick af5236739e
gnu: petsc-openmpi: Configure with support for HYPRE preconditioner.
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Add hypre-openmpi.
[arguments]: Add 'with-hypre=1' flag.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-04 10:58:50 +01:00
Marius Bakke 25ca46985c
Merge branch 'master' into core-updates 2018-11-29 15:56:49 +01:00
Kei Kebreau a5d474d798
gnu: maxima: Update to 5.42.1.
* gnu/packages/maths.scm (maxima): Update to 5.42.1.
2018-11-28 11:42:08 -05:00
Kei Kebreau c93b77ad37
gnu: wxmaxima: Update to 18.11.4.
* gnu/packages/maths.scm (wxmaxima): Update to 18.11.4.
[source]: Switch to git-fetch.
2018-11-27 22:11:48 -05:00
Marius Bakke 4d8f4a3f00
Merge branch 'master' into core-updates 2018-11-24 01:58:18 +01:00
Paul Garlick 57d30004e5
gnu: python-slepc4py: Update to 3.10.0.
* gnu/packages/maths.scm (python-slepc4py): Update to 3.10.0.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-11-23 20:27:15 +01:00
Paul Garlick cd3681a237
gnu: python-petsc4py: Update to 3.10.0.
* gnu/packages/maths.scm (python-petsc4py): Update to 3.10.0.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-11-23 20:27:15 +01:00
Paul Garlick e93da160ca
gnu: slepc: Update to 3.10.1.
* gnu/packages/maths.scm (slepc): Update to 3.10.1.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-11-23 20:27:15 +01:00
Paul Garlick e6951e4ee0
gnu: petsc: Update to 3.10.2
* gnu/packages/maths.scm (petsc): Update to 3.10.2.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-11-23 20:27:15 +01:00
Ludovic Courtès c491f7f8de
gnu: pt-scotch, pt-scotch32: Add Open MPI setup phase.
* gnu/packages/maths.scm (pt-scotch)[arguments]: Use 'invoke' instead of
'system*'.  Add 'mpi-setup' phase.
(pt-scotch32)[arguments]: Likewise.
2018-11-23 18:44:47 +01:00
Marius Bakke 4f70db97a0
Merge branch 'master' into core-updates 2018-11-20 01:14:12 +01:00
Marius Bakke 4a4f3e771b
gnu: z3: Update to 4.8.1.
* gnu/packages/maths.scm (z3): Update to 4.8.1.
2018-11-20 00:57:48 +01:00
Marius Bakke fb525bfd83
gnu: z3: Fetch source using git.
* gnu/packages/maths.scm (z3)[source]: Change to GIT-FETCH.
2018-11-20 00:57:48 +01:00
Julien Lepiller 564cf93f2a
gnu: ocaml: Update to 4.7.0.
Update ocaml to the latest version and fixes dependent packages by
updating them or by adding new inputs, such as ocaml-num and ocamlbuild,
that were removed from the core ocaml package. Rename packages that
cannot be built with the new compiler with an ocaml4.02 prefix. Add
ocaml4.02 dependencies.

* gnu/packages/ocaml.scm (ocaml): Update to 4.7.0.
(ocaml-4.02, ocamlbuild, camlp4-4.02, ocaml-num, ocaml4.02-menhir)
(ocaml4.02-lablgtk, ocaml4.02-findlib, ocaml4.02-ounit, ocaml4.02-camlzip)
(ocaml4.02-ocamlmod, ocaml4.02-zarith, ocaml4.02-qcheck, ocaml4.02-qtest)
(ocaml4.02-stringext, ocaml4.02-bisect, dune, ocaml-migrate-parsetree)
(ocaml-ppx-tools-versioned, ocaml-ppx-tools-versioned)
(ocaml4.02-bitstring, ocaml4.02-result, ocaml4.02-topkg, ocaml4.02-rresult)
(ocaml4.02-sqlite3, ocaml4.02-csv, ocaml4.02-mtime, ocaml4.02-cmdliner)
(ocaml4.02-fmt, ocaml4.02-astring, ocaml4.02-alcotest, ocaml4.02-ppx-tools)
(ocaml4.02-react, ocaml4.02-ssl, ocaml4.02-lwt, ocaml-lwt-log)
(ocaml4.02-lwt-log, ocaml4.02-logs, ocaml4.02-fpath, ocaml4.02-bos)
(ocaml4.02-xmlm, ocaml4.02-ulex, ocaml4.02-uchar, ocaml4.02-uutf)
(ocaml4.02-jsonm, ocaml4.02-ocurl, ocaml4.02-base64, ocaml4.02-omake)
(ocaml4.02-batteries, ocaml4.02-pcre, ocaml4.02-oasis)
(ocaml4.02-js-build-tools, ocaml4.02-cppo, ocaml-seq, ocaml4.02-seq)
(ocaml4.02-re, ocaml4.02-ocplib-endian, ocaml4.02-easy-format)
(ocaml4.02-piqilib, ocaml4.02-uuidm, ocaml4.02-graph, ocaml4.02-piqi)
(ocaml4.02-camomile, ocaml4.02-zed, ocaml4.02-lambda-term): New packages.
(opam): Update to 2.0.0.
(camlp4): Update to 4.07+1.
(camlp5): Update to 7.06.
(hevea): Update to 2.32.
(coq)[inputs]: Add ocaml-num.
(emacs-tuareg): Update to 2.2.0.
(ocaml-menhir)[native-inputs]: Add ocamlbuild.
(ocaml-lablgtk): Update to 2.18.6.
(unison)[inputs]: Use ocaml-4.02.
(ocaml-findlib): Update to 1.8.0.
(ocaml-ounit)[native-inputs]: Add ocamlbuild.
(ocamlmod): Update to 0.0.9.
(ocaml-frontc)[arguments]: Use ocaml-4.02.
(ocaml-qcheck)[native-inputs]: Add ocamlbuild.
(ocaml-qtest)[native-inputs]: Remove ocaml-findlib and add ocamlbuild.
(ocaml-stringext)[native-inputs]: Add ocamlbuild.
(ocaml-bisect): Update to 1.3.1.
(ocaml4.01-bisect): Downgrade to 1.3.
(ocaml-bitstring): Update to 3.1.0.
(ocaml-topkg)[native-inputs]: Add ocamlbuild.
(ocaml-rresult)[native-inputs]: Add ocamlbuild.
(ocaml-sqlite3)[native-inputs]: Add ocamlbuild.
(ocaml-csv)[native-inputs]: Add ocamlbuild.
(ocaml-mtime)[native-inputs]: Add ocamlbuild.
(ocaml-cmdliner)[native-inputs]: Add ocamlbuild.
(ocaml-fmt)[native-inputs]: Add ocamlbuild.
(ocaml-astring)[native-inputs]: Add ocamlbuild.
(ocaml-alcotest)[native-inputs]: Add ocamlbuild.
(ocaml-ppx-tools)[native-inputs]: Add ocamlbuild.
(ocaml-react)[native-inputs]: Add ocamlbuild.
(ocaml-ssl)[arguments]: Return #t in phases.
(ocaml-lwt): Update to 4.1.0.
(ocaml-logs)[native-inputs]: Add ocamlbuild.
(ocaml-fpath)[native-inputs]: Add ocamlbuild.
(ocaml-bos)[native-inputs]: Add ocamlbuild.
(ocaml-xmlm): Update to 1.3.0.
(ocaml-ulex): Update to 1.2.0.
(ocaml-uchar)[native-inputs]: Add ocamlbuild.
(ocaml-uutf): Update to 1.0.1.
(ocaml-jsonm): Update to 1.0.1.
(ocaml-ocurl): Update to 0.8.2.
(ocaml-base64)[native-inputs]: Add ocamlbuild.
(ocamlify)[native-inputs]: Use ocaml-4.02.
(omake): Update to 0.10.3.
(ocaml-batteries): Update to 2.9.0.
(ocaml-pcre)[native-inputs]: Add ocamlbuild.
(ocaml-expect): Update 0.0.6.
(ocaml4.02-fileutils): Update to 0.5.3.
(ocaml-oasis): Update 0.4.11.
(ocaml-js-build-tools)[native-inputs]: Add ocamlbuild.
(ocaml-bin-prot): Rename to ocaml4.02-bin-prot.
(ocaml-fieldslib): Rename to ocaml4.02-fieldslib.
(ocaml-ppx-core): Rename to ocaml4.02-ppx-core.
(ocaml-ppx-optcomp): Rename to ocaml4.02-ppx-optcomp.
(ocaml-ppx-driver): Rename to ocaml4.02-ppx-driver.
(ocaml-cppo): Update to 1.6.5.
(ocaml-ppx-deriving): Rename to ocaml4.02-ppx-deriving.
(ocaml-ppx-type-conv): Rename to ocaml4.02-ppx-type-conv.
(ocaml-ppx-inline-test): Rename to ocaml4.02-ppx-inline-test.
(ocaml-ppx-bench): Rename to ocaml4.02-ppx-bench.
(ocaml-ppx-compare): Rename to ocaml4.02-ppx-compare.
(ocaml-sexplib): Rename to ocaml4.02-sexplib.
(ocaml-typerep): Rename to ocaml4.02-typerep.
(ocaml-variantslib): Rename to ocaml4.02-variantslib.
(ocaml-ppx-sexp-conv): Rename to ocaml4.02-ppx-sexp-conv.
(ocaml-ppx-variants-conv): Rename to ocaml4.02-ppx-variants-conv.
(ocaml-ppx-here): Rename to ocaml4.02-ppx-here.
(ocaml-ppx-assert): Rename to ocaml4.02-ppx-assert.
(ocaml-ppx-enumerate): Rename to ocaml4.02-ppx-enumerate.
(ocaml-ppx-let): Rename to ocaml4.02-ppx-let.
(ocaml-ppx-typerep-conv): Rename to ocaml4.02-ppx-typerep-conv.
(ocaml-ppx-sexp-value): Rename to ocaml4.02-ppx-sexp-value.
(ocaml-ppx-pipebang): Rename to ocaml4.02-ppx-pipebang.
(ocaml-ppx-bin-prot): Rename to ocaml4.02-ppx-bin-prot.
(ocaml-ppx-fail): Rename to ocaml4.02-ppx-fail.
(ocaml-ppx-custom-printf): Rename to ocaml4.02-ppx-custom-printf.
(ocaml-ppx-sexp-message): Rename to ocaml4.02-ppx-sexp-message.
(ocaml-ppx-fields-conv): Rename to ocaml4.02-ppx-fields-conv.
(ocaml-re): Update to 1.8.0.
(ocaml-ppx-expect): Rename to ocaml4.02-ppx-expect.
(ocaml-ppx-jane): Rename to ocaml4.02-ppx-jane.
(ocaml-core-kernel): Rename to ocaml4.02-core-kernel.
(ocaml-async-kernel): Rename to ocaml4.02-async-kernel.
(ocaml-async-rpc-kernel): Rename to ocaml4.02-async-rpc-kernel.
(ocaml-core): Rename to ocaml4.02-core.
(ocaml-async-unix): Rename to ocaml4.02-async-unix.
(ocaml-async-extra): Rename to ocaml4.02-async-extra.
(ocaml-async): Rename to ocaml4.02-async.
(ocaml-ocplib-endian)[native-inputs]: Update to 1.0.
(ocaml-cstruct): Rename to ocaml4.02-cstruct.
(ocaml-hex): Rename to ocaml4.02-hex.
(ocaml-ezjsonm): Rename to ocaml4.02-ezjsonm.
(ocaml-uri): Rename to ocaml4.02-uri.
(optcomp): Use ocaml-4.02.
(ocaml-piqilib): Update to 0.6.14.
(ocaml-uuidm)[native-inputs]: Add ocamlbuild.
(ocaml-graph): Update to 1.8.8.
(ocaml-piqi): Update to 0.7.6.
(bap): Update to 1.3.0.
(ocaml-camomile): Update to 1.0.1.
(ocaml-jbuilder): Use ocaml-4.02.
(ocaml-lambda-term): Update to 1.13.
(ocaml-utop): Update to 2.2.0.
(ocaml-integers)[native-inputs]: Add ocamlbuild.
(ocaml-ctypes): Update to 0.14.0.
(ocaml-ocb-stubblr)[native-inputs]: Add ocamlbuild.
(ocaml-tsdl)[native-inputs]: Add ocamlbuild.
* gnu/packages/machine-learning.scm (ocaml-mcl): Use ocaml-4.02.
* gnu/packages/maths.scm (cubicle): Update to 1.1.2.
* gnu/packages/patches/ocaml-bisect-fix-camlp4-in-another-directory.patch:
Update patch.
* guix/build-system/ocaml.scm: (default-ocaml4.02, default-ocaml4.02-findlib)
(package-with-ocaml4.02, strip-ocaml4.02-variant): New variables.
2018-11-18 18:51:08 +01:00
Kei Kebreau 1472d19abf
gnu: maxima: Fix tests on i686 and x86_64.
* gnu/packages/maths.scm (maxima)[arguments]: Replace check phase.
2018-11-18 11:58:38 -05:00
Paul Garlick 6b5687d053
gnu: Add python-slepc4py.
* gnu/packages/maths.scm (python-slepc4py): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-11-14 21:34:08 +01:00
Paul Garlick 90ff287401
gnu: Add python-petsc4py.
* gnu/packages/maths.scm (python-petsc4py): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-11-14 21:34:08 +01:00
Marius Bakke 64461ba20a
Merge branch 'master' into core-updates 2018-11-09 17:02:08 +01:00
Kei Kebreau e4b62e229e
gnu: wxmaxima: Update to 18.10.1.
* gnu/packages/maths.scm (wxmaxima): Update to 18.10.1.
[source]: Update URL and remove patch.
* gnu/packages/patches/wxmaxima-do-not-use-old-gnuplot-parameters.patch: Remove
file.
* gnu/local.mk (dist_patch_DATA): Remove patch.
2018-11-09 01:09:06 -05:00
Marius Bakke 55174e668f
Merge branch 'master' into core-updates 2018-11-07 21:09:57 +01:00
Ricardo Wurmus bb47aca5e7
gnu: Add hdf5-1.10.
* gnu/packages/maths.scm (hdf5-1.10): New variable.
2018-11-07 12:26:33 +01:00