Theodoros Foradis
cf684d87d7
gnu: z3: Build Python bindings.
...
* gnu/packages/maths.scm (z3): Add python bindings.
[build-system]: Change to cmake-build-system.
[arguments]: Remove "changedir" phase. Add "bootstrap" and
"make-test-z3" phases; replace the "check" phase.
Add #:configure-flags. Remove #:test-target.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-08-21 17:04:53 +02:00
Efraim Flashner
953a12fa9b
gnu: hdf4: Fix building on aarch64.
...
* gnu/packages/maths.scm (hdf4)[arguments]: Add a phase to improve
detection and support for aarch64-linux.
2017-08-16 09:33:11 +03:00
Kei Kebreau
ac2ddcc66f
gnu: wxmaxima: Update to 17.05.1.
...
* gnu/packages/maths.scm (wxmaxima): Update to 17.05.1.
[arguments]: Put "autoconf" phase after the "unpack" phase. Fix
indentation.
2017-08-13 18:18:27 -04:00
Eric Bavier
d84b09e937
gnu: dealii: Update to 8.5.0.
...
* gnu/packages/maths.scm (dealii): Update to 8.5.0.
[arguments]: Delete 'hint-example-prefix phase, which would need adjusting for
this version. Users can use e.g. 'export DEAL_II_DIR=$GUIX_ENVIRONMENT'.
Adjust configuration flags.
2017-08-09 01:56:53 -05:00
Eric Bavier
bd5b5ac0c5
gnu: suitesparse: Update to 4.5.5.
...
* gnu/packages/maths.scm (suitesparse): Update to 4.5.5.
[source]: Add 'modules' and 'snippet' field to remove bundled source.
[arguments]: Remove 'prepare-out' phase. Adjust #:make-flags for metis.
Make build parallel, since it now appears to be safe.
[inputs]: Add metis.
2017-08-09 01:56:53 -05:00
Eric Bavier
2509522c4f
gnu: suitesparse: Use modify-phases.
...
* gnu/packages/maths.scm (suitesparse)[arguments]: Use modify-phases.
2017-08-09 01:56:53 -05:00
Eric Bavier
9731c412e9
gnu: petsc, slepc: Use 'parallel-job-count'.
...
* gnu/packages/maths.scm (petsc, slepc)[arguments]: Set #:make-flags to
override default unlimited '-j'.
(petsc)[arguments]: Scrub build machine cores from installed files in
'clean-local-references' phase.
2017-08-09 01:56:53 -05:00
Eric Bavier
baeaf8821d
gnu: slepc: Update to 3.7.4.
...
* gnu/packages/maths.scm (slepc): Update to 3.7.4.
[source]: Use direct source link. Remove 'file-name' field.
2017-08-09 01:56:52 -05:00
Eric Bavier
41a46a5035
gnu: petsc: Update to 3.7.6.
...
* gnu/packages/maths.scm (petsc): Update to 3.7.6.
2017-08-09 01:56:46 -05:00
Marius Bakke
83fef82b7c
gnu: cubicle: Fix evaluation.
...
* gnu/packages/maths.scm (cubicle)[native-inputs]: Retrieve WHICH from
(gnu packages base).
2017-08-07 12:02:33 +02:00
Julien Lepiller
3d5d87a3ae
gnu: Add cubicle.
...
* gnu/packages/maths.scm (cubicle): New variable.
2017-08-05 10:11:42 +02:00
Ricardo Wurmus
0f2eee0d96
gnu: r-pracma: Update to 2.0.7.
...
* gnu/packages/maths.scm (r-pracma): Update to 2.0.7.
2017-08-03 17:53:44 +02:00
Efraim Flashner
a8ead6f91b
gnu: vc: Limit to x86_64 and i686.
...
* gnu/packages/maths.scm (vc)[supported-systems]: New field.
2017-08-03 13:34:18 +03:00
Thomas Danckaert
0abf526420
gnu: hdf4: Update to 4.12.13.
...
* gnu/packages/maths.scm (hdf4): Update to 4.12.13.
2017-08-02 14:08:24 +02:00
Theodoros Foradis
313844d9dc
gnu: Add z3.
...
* gnu/packages/maths.scm (z3): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-29 23:03:47 +02:00
Efraim Flashner
1cae188e61
gnu: glpk: Update to 4.63.
...
* gnu/packages/maths.scm (glpk): Update to 4.63.
2017-07-26 10:15:54 +03:00
Kei Kebreau
0093b1262b
gnu: maxima: Ensure binutils are available at runtime.
...
* gnu/packages/maths.scm (maxima)[arguments]: Use modify-phases syntax.
Modify 'post-install' phase.
2017-07-25 07:58:55 -04:00
Kei Kebreau
6b2eafaaa8
Revert "gnu: maxima: Ensure gcc is available at runtime."
...
This reverts commit f2fa86cc825ea8dbf0c9
2017-07-25 07:58:46 -04:00
Maxim Cournoyer
7c0d4c3a6b
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>
2017-07-20 00:54:51 +02:00
Kei Kebreau
5143517c99
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.
2017-07-08 17:05:55 -04:00
Kei Kebreau
f2fa86cc82
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.
2017-07-07 20:47:28 -04:00
Ricardo Wurmus
3a4d5df2b0
gnu: itpp: Use texlive-tiny and ghostscript.
...
* gnu/packages/maths.scm (itpp)[native-inputs]: Replace texlive-minimal with
texlive-tiny; add ghostscript.
2017-06-30 13:57:42 +02:00
Ricardo Wurmus
612a387fe7
gnu: gnuplot: Use texlive-tiny.
...
* gnu/packages/maths.scm (gnuplot)[native-inputs]: Replace texlive-minimal
with texlive-tiny.
2017-06-30 13:57:41 +02:00
Ludovic Courtès
3ab869b63f
gnu: lapack: Install libraries to PREFIX/lib, not PREFIX/lib64.
...
This fixes a regression introduced in
ef39a17717
2017-06-29 15:21:17 +02:00
Ludovic Courtès
26599d692c
gnu: scotch: Build in 64-bit mode on 64-bit machines.
...
* gnu/packages/maths.scm (scotch)[arguments] <configure>: Add
"INTSIZE64" CPP flag.
2017-06-26 18:16:11 +02:00
Ludovic Courtès
11f0c4e871
gnu: lapack: Build with LAPACKE_WITH_TMG=ON.
...
* gnu/packages/maths.scm (lapack)[arguments]: Pass
"-DLAPACKE_WITH_TMG=ON".
2017-06-26 18:16:11 +02:00
Ludovic Courtès
ef39a17717
gnu: lapack: Update to 3.7.1.
...
* gnu/packages/maths.scm (lapack): Update to 3.7.1.
2017-06-26 18:16:11 +02:00
Thomas Danckaert
2da6306427
gnu: hdf5: Update to 1.8.19.
...
* gnu/packages/maths.scm (hdf5): Update to 1.8.19.
[source]: Update uri.
2017-06-25 23:11:16 +02:00
Arun Isaac
f885fc0512
gnu: gsl: Update to 2.4.
...
* gnu/packages/maths.scm (gsl): Update to 2.4.
[arguments]: Remove #:parallel-tests?.
2017-06-21 23:15:56 +05:30
Arun Isaac
148585c240
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.
2017-06-20 18:10:35 +05:30
Efraim Flashner
299b05254f
gnu: glpk: Update to 4.62.
...
* gnu/packages/maths.scm (glpk): Update to 4.62.
2017-06-19 22:07:15 +03:00
Kei Kebreau
89b8df9765
gnu: maxima: Update to 5.40.0.
...
* gnu/packages/maths.scm (maxima): Update to 5.40.0.
2017-06-06 16:58:23 -04:00
Ben Woodcroft
7adaab9fe7
gnu: Add ocaml4.01-gsl.
...
* gnu/packages/maths.scm (ocaml4.01-gsl): New variable.
2017-05-10 22:13:54 +02:00
Thomas Danckaert
300200b637
gnu: Add netcdf-fortran.
...
* gnu/packages/maths.scm (netcdf-fortran): New variable.
2017-04-30 11:50:50 +02:00
Kei Kebreau
7d873e0c26
gnu: gnuplot: Update to 5.0.6.
...
* gnu/packages/maths.scm (gnuplot): Update to 5.0.6.
2017-04-22 13:33:09 -04:00
Tobias Geerinckx-Rice
d1e4ad1b02
gnu: Fix typos in descriptions.
...
* gnu/packages/admin.scm (di)[description]: Likewise.
* gnu/packages/bioinformatics.scm (r-annotate)[description]: Likewise.
* gnu/packages/datastructures.scm (sparsehash)[description]: Likewise.
* gnu/packages/dns.scm (knot)[description]: Likewise.
* gnu/packages/emacs.scm (emacs-idle-highlight)[synopsis, description]:
Likewise.
* gnu/packages/gnome.scm (libpeas)[description]: Likewise.
* gnu/packages/gtk.scm (python2-pygtk)[description]: Likewise.
* gnu/packages/kde-frameworks.scm (kactivities)[description]: Fix typo.
* gnu/packages/libevent.scm (perl-anyevent)[description]: Likewise.
* gnu/packages/machine-learning.scm (ghmm)[description]: Likewise.
* gnu/packages/mail.scm (mlmmj)[description]: Likewise.
* gnu/packages/maths.scm (vc)[description]: Likewise.
* gnu/packages/music.scm (gx-super-fuzz-lv2)[description]: Likewise.
* gnu/packages/networking.scm (nload)[description]: Likewise.
* gnu/packages/python.scm (python-execnet)[description]: Likewise.
* gnu/packages/terminals.scm (tilda)[description]: Likewise.
* gnu/packages/python.scm (python-execnet, python-tables)
(python2-coverage-test-runner, python2-rope)[description]: Likewise.
2017-04-17 02:04:08 +02:00
Arun Isaac
181170c6ee
gnu: octave: Build with gl2ps support.
...
* gnu/packages/maths.scm (octave)[inputs]: Add gl2ps.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-04-08 15:24:37 +02:00
Ludovic Courtès
6b6aca9b36
gnu: flann: Move .mex file to a separate "octave" output.
...
That way the closure of flann:out is down from 1 GiB
to 290 MiB.
* gnu/packages/maths.scm (flann)[outputs]: New field.
[arguments]: Add 'set-octave-directory' phase.
2017-04-07 00:17:16 +02:00
Ricardo Wurmus
fe418cc5b2
gnu: armadillo: Change license to ASL 2.0.
...
Armadillo versions 7.800 and onwards are licensed under the Apache License
2.0.
* gnu/packages/maths.scm (armadillo)[license]: Change to ASL 2.0.
2017-04-06 15:42:18 +02:00
Ricardo Wurmus
498d2553ed
gnu: Remove armadillo-for-rcpparmadillo.
...
This package is no longer useful, because upstream does not keep the tarballs
of older releases. We use the bundled armadillo sources in the
r-rccparmadillo package instead.
* gnu/packages/maths.scm (armadillo-for-rcpparmadillo): Remove variable.
2017-04-06 14:39:22 +02:00
Ricardo Wurmus
133cba8cb5
gnu: armadillo: Update to 7.800.2.
...
* gnu/packages/maths.scm (armadillo): Update to 7.800.2.
2017-04-06 14:39:22 +02:00
Ricardo Wurmus
2fe41e0fad
gnu: r-pracma: Update to 2.0.4.
...
* gnu/packages/maths.scm (r-pracma): Update to 2.0.4.
2017-04-06 14:39:18 +02:00
Marius Bakke
84157bb8bf
Merge branch 'master' into core-updates
...
Most conflicts are from 6fd52309b8
2017-03-30 22:59:53 +02:00
Tobias Geerinckx-Rice
6fd52309b8
gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.
...
All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
2017-03-30 01:30:16 +02:00
Efraim Flashner
6f76606984
gnu: gsl: Disable tests on aarch64-linux.
...
* gnu/packages/maths.scm (gsl)[arguments]: Do not run the test suite on
aarch64-linux.
[home-page]: Use https.
2017-03-28 09:34:33 +03:00
Leo Famulari
c17383f400
Merge branch 'master' into core-updates
2017-03-27 21:19:38 -04:00
Danny Milosavljevic
6e64766a86
gnu: gnuplot: Enable tikz backend.
...
* gnu/packages/maths.scm (gnuplot)[inputs]: Add lua.
2017-03-27 15:58:50 +02:00
Efraim Flashner
d5ceeb5a2d
gnu: scotch: Build with flex-2.6.1.
...
* gnu/packages/maths.scm (scotch)[native-inputs]: Use flex-2.6.1 and not
flex.
2017-03-23 07:32:31 +02:00
Efraim Flashner
83a3464793
gnu: openblas: Add support for aarch64.
...
* gnu/packages/maths.scm (openblas)[arguments]: Mark aarch64 as
substitutable, build for target ARMv8.
2017-03-21 22:03:05 +02:00
John Darrington
6d5f63b690
gnu: Add maxflow.
...
* gnu/packages/maths.scm (maxflow): New variable.
2017-03-18 10:31:54 +01:00
