gnu: hdf4: Update to 4.12.13.

* gnu/packages/maths.scm (hdf4): Update to 4.12.13.

gnu: Add z3.

* gnu/packages/maths.scm (z3): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: glpk: Update to 4.63.

* gnu/packages/maths.scm (glpk): Update to 4.63.

gnu: maxima: Ensure binutils are available at runtime.

* gnu/packages/maths.scm (maxima)[arguments]: Use modify-phases syntax.
Modify 'post-install' phase.

Revert "gnu: maxima: Ensure gcc is available at runtime."

This reverts commit f2fa86cc82b5941bde63b666337eea59aa609e55.
Commit 5ea8dbf0c906d51779ba0cf775ec9967f5f42382 fixes the underlying
issue in GNU Common Lisp.

gnu: lapack: Fix hash of release 3.7.1

Apparently the release was modified (cleaned-up) in-place. An issue was opened
at https://github.com/Reference-LAPACK/lapack-release/issues/4.

* gnu/packages/maths.scm (lapack): Fix sha256 hash.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>

gnu: wxmaxima: Update to 17.05.0.

* gnu/packages/maths.scm (wxmaxima): Update to 17.05.0.
[source]: Update URL and add file-name.
[native-inputs]: Add autoconf, automake and gettext-minimal.
[arguments]: Add 'autoconf' phase.

gnu: maxima: Ensure gcc is available at runtime.

* gnu/packages/maths.scm (maxima)[inputs]: Add gcc.
[arguments]: Use modify-phases syntax. Add 'set-gcc-path' phase.

gnu: itpp: Use texlive-tiny and ghostscript.

* gnu/packages/maths.scm (itpp)[native-inputs]: Replace texlive-minimal with
texlive-tiny; add ghostscript.

gnu: gnuplot: Use texlive-tiny.

* gnu/packages/maths.scm (gnuplot)[native-inputs]: Replace texlive-minimal
with texlive-tiny.

gnu: lapack: Install libraries to PREFIX/lib, not PREFIX/lib64.

This fixes a regression introduced in
ef39a17717a10a7f406730258acfdb07934c7255, which would break
python-scipy ("undefined reference to `zungqr_'").

* gnu/packages/maths.scm (lapack)[arguments]: Add
"-DCMAKE_INSTALL_LIBDIR" to #:configure-flags.

gnu: scotch: Build in 64-bit mode on 64-bit machines.

* gnu/packages/maths.scm (scotch)[arguments] <configure>: Add
"INTSIZE64" CPP flag.

gnu: lapack: Build with LAPACKE_WITH_TMG=ON.

* gnu/packages/maths.scm (lapack)[arguments]: Pass
"-DLAPACKE_WITH_TMG=ON".

gnu: lapack: Update to 3.7.1.

* gnu/packages/maths.scm (lapack): Update to 3.7.1.

gnu: hdf5: Update to 1.8.19.

* gnu/packages/maths.scm (hdf5): Update to 1.8.19.
[source]: Update uri.

gnu: gsl: Update to 2.4.

* gnu/packages/maths.scm (gsl): Update to 2.4.
[arguments]: Remove #:parallel-tests?.

gnu: Move contents of zip module into compression module.

* gnu/packages/zip.scm (zip, unzip, zziplib, perl-zip): Move to...
* gnu/packages/compression.scm: ...here.
* gnu/packages/zip.scm: Delete file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Unregister deleted file.
* po/packages/POTFILES.in: Unregister deleted file.
* gnu/packages/{audio, avr, bioinformatics, busybox, cdrom, ci, compression,
docbook, documentation, fonts, fpga, game-development, games, gl, gnome,
gnuzilla, graphics, guile, haskell, image, java, kodi, ldc, libreoffice,
markup, maths, mc, monitoring, music, php, pretty-print, python, scheme,
smalltalk, statistics, synergy, tex, textutils, video, web-browsers, xml,
zip}.scm, guix/build-system/{ant, font}.scm, guix/{download, packages}.scm:
Adapt module import.

gnu: glpk: Update to 4.62.

* gnu/packages/maths.scm (glpk): Update to 4.62.

gnu: maxima: Update to 5.40.0.

* gnu/packages/maths.scm (maxima): Update to 5.40.0.

Merge branch 'master' into staging