db7441e470
Merge branch 'master' into staging
2019-04-08 23:08:56 +02:00
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
ba00235a96
Merge branch 'master' into staging
2019-04-08 00:54:01 +02:00
ecfbc51faa
gnu: Add clp.
...
* gnu/packages/maths.scm (clp): New variable.
2019-04-07 21:33:03 +02:00
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
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
413f61265e
gnu: Add mlucas.
...
* gnu/packages/maths.scm (mlucas): New variable.
2019-04-01 17:07:31 +05:30
571fb008a5
Merge branch 'master' into staging
2019-04-01 00:02:39 +02:00
2a509880d4
gnu: hdf-java: Adjust indentation.
...
* gnu/packages/maths.scm (hdf-java): Adjust indentation.
2019-03-27 10:47:34 +01:00
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
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
081850816f
Merge branch 'master' into staging
2019-03-21 23:18:54 +01:00
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
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
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
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
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
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
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
8c5533b582
Merge branch 'master' into staging
2019-03-10 18:38:25 +01:00
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
f339df425e
Merge branch 'master' into staging
2019-03-06 16:31:58 +01:00
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
19464173ba
Merge branch 'master' into staging
2019-03-01 17:33:00 +01:00
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
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
aa51eb2073
Merge branch 'master' into staging
2019-02-24 21:25:52 +01:00
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
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
2c76e19df4
Merge branch 'master' into staging
2019-02-20 17:01:39 +01:00
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
6901878894
Merge branch 'master' into staging
2019-02-14 00:20:28 +01:00
6d433d6ef7
gnu: Add ELPA.
...
* gnu/packages/maths.scm (elpa, elpa-openmpi): New variables.
2019-02-13 14:08:19 -06:00
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
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
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
50a93adc05
Merge branch 'staging'
2019-02-09 15:14:59 +01:00
4714b00e7a
gnu: Add dune-pdelab.
...
* gnu/packages/maths.scm (dune-pdelab): New variable.
2019-02-08 19:15:03 +01:00
85b9371cbe
gnu: Add dune-functions.
...
* gnu/packages/maths.scm (dune-functions): New variable.
2019-02-08 18:29:30 +01:00
0e50630f15
gnu: Add dune-typetree.
...
* gnu/packages/maths.scm (dune-typetree): New variable.
2019-02-08 17:58:32 +01:00
ab03d899ca
gnu: Add dune-alugrid.
...
* gnu/packages/maths.scm (dune-alugrid): New variable.
2019-02-08 17:52:47 +01:00
5a70aa7d69
gnu: Add dune-localfunctions.
...
* gnu/packages/maths.scm (dune-localfunctions): New variable.
2019-02-08 16:26:20 +01:00
ea51d3578c
gnu: Add dune-istl.
...
* gnu/packages/maths.scm (dune-istl): New variable.
2019-02-08 16:26:20 +01:00
ef6e69fdec
gnu: Add dune-grid.
...
* gnu/packages/maths.scm (dune-grid): New variable.
2019-02-08 16:26:20 +01:00
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
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
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
242dbd8e5d
gnu: Add dune-geometry.
...
* gnu/packages/maths.scm (dune-geometry): New variable.
2019-02-07 22:36:01 +01:00
3847d1f22f
gnu: Add dune-common.
...
* gnu/packages/maths.scm (dune-common): New variable.
2019-02-07 22:36:01 +01:00
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
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
0747328e31
Merge branch 'master' into staging
2019-01-31 23:32:56 +01:00
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
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
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
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
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
3e2d4e69c3
Merge branch 'master' into staging
2019-01-20 22:12:10 +01:00
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
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
6764f94317
Merge branch 'master' into staging
2019-01-13 01:40:04 +01:00
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
0e28967250
Merge remote-tracking branch 'origin/master' into staging
2019-01-09 10:52:41 +02:00
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
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
02bf685d00
Merge branch 'master' into staging
2018-12-23 23:26:04 +01:00
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
f30830b2e6
Merge branch 'master' into staging
2018-12-22 15:26:30 +01:00
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
3b42e2be92
gnu: elemental: Fix indentation.
...
* gnu/packages/maths.scm (elemental): Fix indentation of the package
definition.
2018-12-17 12:08:06 +02:00
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
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
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
12878d12ac
Merge branch 'master' into staging
2018-12-12 22:00:52 +01:00
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
fbb7b04a85
Merge branch 'master' into staging
2018-12-09 00:18:32 +01:00
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
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
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
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
25ca46985c
Merge branch 'master' into core-updates
2018-11-29 15:56:49 +01:00
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
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
4d8f4a3f00
Merge branch 'master' into core-updates
2018-11-24 01:58:18 +01:00
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
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
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
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
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
4f70db97a0
Merge branch 'master' into core-updates
2018-11-20 01:14:12 +01:00
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
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
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
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
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
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
64461ba20a
Merge branch 'master' into core-updates
2018-11-09 17:02:08 +01:00
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
55174e668f
Merge branch 'master' into core-updates
2018-11-07 21:09:57 +01:00
bb47aca5e7
gnu: Add hdf5-1.10.
...
* gnu/packages/maths.scm (hdf5-1.10): New variable.
2018-11-07 12:26:33 +01:00
Ludovic Courtès