Commit graph

583 commits

Author SHA1 Message Date
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
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
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
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
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
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
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