futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
66,872 Commits 3 Branches 0 Tags 412 MiB
1537587e46
Commit Graph

826 Commits

Author SHA1 Message Date
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
Marius Bakke
f4a5faa9dc
Merge branch 'master' into core-updates 2018-11-05 23:56:22 +01:00
Marius Bakke
66044a3698
gnu: glm: Update to 0.9.9.3. 
* gnu/packages/maths.scm (glm): Update to 0.9.9.3.
 2018-11-05 23:46:38 +01:00
Ricardo Wurmus
39528a5ee9
gnu: r-pracma: Update to 2.1.8. 
* gnu/packages/maths.scm (r-pracma): Update to 2.1.8.
[propagated-inputs]: Remove r-quadprog.
 2018-10-30 21:48:10 +01:00
Tobias Geerinckx-Rice
4795e5e177
gnu: units: Update to 2.18. 
* gnu/packages/maths.scm (units): Update to 2.18.
 2018-10-27 04:47:56 +02:00
Marius Bakke
ffddb42d6c
Merge branch 'master' into core-updates 2018-10-21 18:06:02 +02:00
Kei Kebreau
82cbe4e046
gnu: maxima: Update to 5.42.0. 
* gnu/packages/maths.scm (maxima): Update to 5.42.0.
 2018-10-20 14:38:45 -04:00
Marius Bakke
d02bb02f7d
Merge branch 'master' into core-updates 2018-10-17 20:47:11 +02:00
Ricardo Wurmus
a8fa86c477
gnu: Add python-cvxopt. 
* gnu/packages/maths.scm (python-cvxopt, python2-cvxopt): New variables.
 2018-10-11 10:30:30 +02:00
Marius Bakke
cf6db76d2a
Merge branch 'master' into core-updates 2018-10-05 19:15:39 +02:00
Paul Garlick
9e2aa70bad
gnu: petsc-openmpi: Configure with support for MUMPS solver. 
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Add metis,
mumps-openmpi, scalapack and pt-scotch.
[arguments]: Add "--with-PACKAGENAME=1" flags.  Move 'mpi-setup' phase
ahead of 'configure' phase.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2018-10-04 18:21:17 -04:00
Marius Bakke
6a0427af6c
Merge branch 'master' into core-updates 2018-09-26 01:11:32 +02:00
Kei Kebreau
116af86f14
gnu: octave: Add a search path for CURLOPT_CAPATH. 
* gnu/packages/maths.scm (octave)[native-search-paths]: New field.
 2018-09-24 21:42:12 -04:00
Paul Garlick
45201bf245
gnu: hdf5-parallel-openmpi: Really enable parallel build. 
This fix ensures that the H5_HAVE_PARALLEL identifier is correctly set
in the file H5pubconf.h.

* gnu/packages/maths.scm (hdf5-parallel-openmpi)[arguments]: Add
the "--enable-parallel" flag to the list of configure flags.  Remove
the incompatible "--enable-cxx" flag.  Add 'mpi-setup' phase.

Signed-off-by: Ludovic Courtès <ludovic.courtes@inria.fr>
 2018-09-21 17:04:37 +02:00
Paul Garlick
b0d1e60fff
gnu: hdf5: Allow for absence of utility script. 
* gnu/packages/maths.scm (hdf5)[arguments]: Add condition to 'split'
phase to check for existence of h5fc script.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-09-21 17:04:37 +02:00
Marius Bakke
2817ac3c18
Merge branch 'master' into core-updates 2018-09-20 13:37:58 +02:00
Tobias Geerinckx-Rice
9923d5a40f
gnu: Use INVOKE & return #t from Ruby package phases. 
* gnu/packages/maths.scm (ruby-asciimath)[arguments]: Return #t from
all phases.
* gnu/packages/rails.scm (ruby-debug-inspector)[arguments]: Substitute
INVOKE for SYSTEM*.
* gnu/packages/ruby.scm (ruby-permutation, ruby-blankslate)
(ruby-minitest-pretty-diff, ruby-guard, ruby-rb-inotify, ruby-tins)
(ruby-gem-hadar, ruby-term-ansicolor, ruby-json-pure)
(ruby-activesupport, ruby-redcloth, ruby-netrc, ruby-unf-ext, ruby-yard)
(ruby-turn, ruby-sqlite3, ruby-shoulda-context, ruby-shoulda-matchers)
(ruby-shoulda, ruby-httpclient, ruby-ansi, ruby-bio-commandeer)
(ruby-rubytest, ruby-brass, ruby-qed, ruby-ae, ruby-lemon, ruby-hashery)
(ruby-rc4, ruby-concurrent)[arguments]: Likewise.
 2018-09-20 04:17:04 +02:00
Marius Bakke
4d679255da
gnu: glm: Update to 0.9.9.2. 
* gnu/packages/maths.scm (glm): Update to 0.9.9.2.
 2018-09-19 15:20:21 +02:00
Marius Bakke
f03c4ec649
gnu: arpack-ng: Update to 3.6.3. 
* gnu/packages/maths.scm (arpack-ng): Update to 3.6.3.
 2018-09-19 15:20:21 +02:00
Marius Bakke
622ef2b90a
gnu: arpack-ng: Don't use unstable tarball. 
* gnu/packages/maths.scm (arpack-ng)[source]: Use GIT-FETCH.
 2018-09-19 15:20:21 +02:00
Eric Brown
daa6036fda
gnu: Add openblas-ilp64. 
* gnu/packages/maths.scm (openblas-ilp64): New variable.

Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
 2018-09-14 11:23:07 +02:00
Leo Famulari
d763940711
Merge branch 'master' into core-updates 2018-09-13 13:32:39 -04:00
Eric Bavier
bbe46a4af5
mpi: Factorize openmpi setup build phase. 
* gnu/packages/mpi.scm (%openmpi-setup): New variable.
* gnu/packages/maths.scm (scalapack, slepc-openmpi, mumps-openmpi)
(superlu-dist, p4est, petsc-openmpi, hypre-openmpi, elemental)
(sundials-openmpi, arpack-ng-openmpi)[arguments]: Use it in #:phases.
 2018-09-11 20:29:04 -05:00
Paul Garlick
aa82260bc0
gnu: arpack-ng-openmpi: Fix build. 
* gnu/packages/maths.scm (arpack-ng-openmpi)[arguments]: Add
'set-test-environment phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-09-11 17:46:29 +02:00
Tobias Geerinckx-Rice
b38827096f
gnu: mcrl2: Use HTTPS home page. 
* gnu/packages/maths.scm (mcrl2)[home-page]: Use HTTPS.
 2018-09-10 22:54:36 +02:00
Marius Bakke
02107081da
gnu: double-conversion: Update to 3.1.0. 
* gnu/packages/maths.scm (double-conversion): Update to 3.1.0.
 2018-09-10 01:41:29 +02:00
Marius Bakke
2bdc73fb26
gnu: double-conversion: Don't use unstable tarball. 
* gnu/packages/maths.scm (double-conversion)[source]: Use GIT-FETCH.
 2018-09-10 01:41:29 +02:00
Marius Bakke
9adaf1f408
gnu: OpenBLAS: Update to 0.3.3. 
* gnu/packages/maths.scm (openblas): Update to 0.3.3.
 2018-09-09 17:59:35 +02:00
Marius Bakke
a617fd55df
gnu: OpenBLAS: Update source URI. 
* gnu/packages/maths.scm (openblas)[source](uri): Use the more stable
SourceForge mirror.
 2018-09-09 16:43:11 +02:00
Marius Bakke
e9c1492f66
gnu: glm: Update to 0.9.9.1. 
* gnu/packages/maths.scm (glm): Update to 0.9.9.1.
 2018-09-09 16:43:10 +02:00
Eric Bavier
3f5e6ccf9b
slepc: Upgrade to 3.9.2. 
* gnu/packages/maths.scm (slepc): Upgrade to 3.9.2.
 2018-09-05 08:10:38 -05:00
Eric Bavier
c15be1280e
petsc: Upgrade to 3.9.3. 
* gnu/packages/maths.scm (petsc): Upgrade to 3.9.3.
[arguments]: Remove unnecessary configure flags.
 2018-09-05 08:10:37 -05:00
Eric Bavier
a3a99e27bb
petsc: Move example code to "examples" output. 
* gnu/packages/maths.scm (petsc)[arguments]: New 'move-examples' phase.
 2018-09-05 08:10:37 -05:00
Eric Bavier
b26e4f26ff
gnu: Add SUNDIALS. 
* gnu/packages/maths.scm (sundials, sundials-openmpi): New variables.
 2018-09-05 08:10:31 -05:00
Paul Garlick
71ca16b58d
gnu: petsc-openmpi: Configure with support for hdf5 data format. 
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Add
hdf5-parallel-openmpi.
[arguments]: Add '--with-hdf5-include' and '--with-hdf5-lib'
flags.  Add 'set-test-environment' phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-09-04 15:22:48 +02:00