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
Marius Bakke
c702749dfd
gnu: arpack-ng: Update to 3.6.2.
...
* gnu/packages/maths.scm (arpack-ng): Update to 3.6.2.
2018-09-03 19:09:01 +02:00
Marius Bakke
91bb495b85
gnu: arpack-ng: Drop redundant phase.
...
* gnu/packages/maths.scm (arpack-ng)[arguments]: Remove.
2018-09-03 19:09:01 +02:00
Eric Bavier
220458b098
gnu: hypre: Update to 2.14.0.
...
* gnu/packages/maths.scm (hypre): Update to 2.14.0
2018-08-31 10:08:00 -05:00
Tobias Geerinckx-Rice
e29bb27d88
gnu: r-pracma: Update to 2.1.5.
...
* gnu/packages/maths.scm (r-pracma): Update to 2.1.5.
2018-08-28 22:31:00 +02:00
Marius Bakke
a7bc1588e6
Merge branch 'staging'
2018-08-19 15:24:59 +02:00
Kei Kebreau
b13ba3f1ba
gnu: gnuplot: Update to 5.2.4.
...
* gnu/packages/maths.scm (gnuplot): Update to 5.2.4.
2018-08-18 21:21:52 -04:00
Kei Kebreau
7fe491fbc8
gnu: cddlib: Update to 0.94i.
...
* gnu/packages/maths.scm (cddlib): Update to 0.94i.
2018-08-18 12:04:54 -04:00
Kei Kebreau
b66741edc9
gnu: octave: Update to 4.4.1.
...
* gnu/packages/maths.scm (octave): Update to 4.4.1.
(qtoctave)[source]: Remove obsolete patch.
* gnu/packages/patches/qtoctave-qt-5.11-fix.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2018-08-17 10:47:52 -04:00
Tobias Geerinckx-Rice
f133e24481
gnu: armadillo: Update to 9.100.5.
...
* gnu/packages/maths.scm (armadillo): Update to 9.100.5.
2018-08-17 00:38:17 +02:00
Marius Bakke
df570bf271
Merge branch 'master' into staging
2018-08-16 20:56:38 +02:00
Tobias Geerinckx-Rice
e405c0bcd9
gnu: armadillo: Update to 9.100.4.
...
* gnu/packages/maths.scm (armadillo): Update to 9.100.4.
2018-08-16 02:40:59 +02:00
Kei Kebreau
df1bc82b69
gnu: ocaml-gsl: Update to 1.22.0.
...
* gnu/packages/maths.scm (ocaml-gsl): Update to 1.22.0.
2018-08-15 08:11:58 -04:00
Kei Kebreau
9285f8bbae
gnu: coda: Update to 2.19.
...
* gnu/packages/maths.scm (coda): Update to 2.19.
2018-08-13 22:18:09 -04:00
Marius Bakke
869250809b
Merge branch 'master' into staging
2018-07-30 18:08:28 +02:00
Marius Bakke
f419abea22
gnu: openblas: Update to 0.3.2.
...
* gnu/packages/maths.scm (openblas): Update to 0.3.2.
2018-07-30 15:32:10 +02:00
Efraim Flashner
077d66ed42
gnu: mcrl2: Build with modular qt.
...
* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
2018-07-29 20:00:30 +03:00
Marius Bakke
1af575f04d
Merge branch 'master' into staging
2018-07-28 18:34:59 +02:00
Marius Bakke
48d7ac175f
gnu: openlibm: Update to 0.6.0.
...
* gnu/packages/maths.scm (openlibm): Update to 0.6.0.
2018-07-28 18:12:13 +02:00
Marius Bakke
46bda5eb7a
gnu: glm: Update home page.
...
* gnu/packages/maths.scm (glm)[home-page]: Use HTTPS.
2018-07-28 17:56:59 +02:00
Marius Bakke
5ea4b5943d
gnu: glm: Update to 0.9.9.0.
...
* gnu/packages/maths.scm (glm): Update to 0.9.9.0.
[source](uri): Change to new download location.
2018-07-28 17:55:04 +02:00
Marius Bakke
57ba8d0673
gnu: double-conversion: Update to 3.0.0.
...
* gnu/packages/maths.scm (double-conversion): Update to 3.0.0.
2018-07-22 18:23:43 +02:00
Marius Bakke
b343850ea3
gnu: double-conversion: Update home page.
...
* gnu/packages/maths.scm (double-conversion)[home-page]: Update to redirected.
2018-07-22 18:23:42 +02:00
Kei Kebreau
c215fa2135
gnu: octave: Add qhull support.
...
* gnu/packages/maths.scm (octave)[inputs]: Add qhull.
2018-07-17 15:29:05 -04:00
Kei Kebreau
d65f0661f3
gnu: Add qhull.
...
* gnu/packages/maths.scm (qhull): New variable.
2018-07-17 12:49:20 -04:00
Marius Bakke
19bb999a50
gnu: openblas: Update to 0.3.1.
...
* gnu/packages/patches/openblas-fix-tests-i686.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/maths.scm (openblas): Update to 0.3.1.
[arguments, native-inputs]: Don't apply 'openblas-fix-tests-i686.patch'.
2018-07-13 12:31:49 +02:00
Marius Bakke
873325b030
Merge branch 'master' into staging
2018-07-08 23:58:22 +02:00
Kei Kebreau
6104f922ee
gnu: units: Update to 2.17.
...
* gnu/packages/maths.scm (units): Update to 2.17.
2018-07-02 21:12:55 -04:00
Marius Bakke
92af3ce417
Merge branch 'master' into staging
2018-07-02 12:18:58 +02:00
Kei Kebreau
7a3772b374
gnu: qtoctave: Fix build for Qt 5.11.
...
* gnu/packages/maths.scm (qtoctave)[source]: Add patch.
[native-inputs]: Add texlive.
* gnu/packages/patches/qtoctave-qt-5.11-fix.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2018-06-30 20:05:58 -04:00
Tobias Geerinckx-Rice
0f6dc120ca
gnu: slepc: Return #t from all phases.
...
* gnu/packages/maths.scm (slepc)[arguments]: Return #t rather than
undefined from phases.
2018-06-30 03:46:20 +02:00
Tobias Geerinckx-Rice
b414cf523b
gnu: mumps: Use INVOKE.
...
* gnu/packages/maths.scm (mumps)[arguments]: Substitute INVOKE for
SYSTEM*.
2018-06-30 03:46:20 +02:00
Tobias Geerinckx-Rice
e02a9975b8
gnu: superlu-dist: Return #t from all phases.
...
* gnu/packages/maths.scm (superlu-dist)[arguments]: Return #t rather
than undefined from phases. Substitute INVOKE for SYSTEM*.
2018-06-30 03:46:20 +02:00
Tobias Geerinckx-Rice
d67a7e9e8d
gnu: scotch: Return #t from all phases.
...
* gnu/packages/maths.scm (scotch)[arguments]: Return #t rather than undefined from phases. Substitute INVOKE for SYSTEM*.
2018-06-30 03:46:19 +02:00
Tobias Geerinckx-Rice
49fdd357a2
gnu: petsc: Return #t from phases.
...
* gnu/packages/maths.scm (petsc)[arguments]: Substitute INVOKE for
SYSTEM*.
2018-06-30 03:46:19 +02:00
Marius Bakke
b7a46ed227
gnu: openblas: Fix build on i686.
...
* gnu/packages/patches/openblas-fix-tests-i686.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/maths.scm (openblas)[native-inputs]: Add it.
[arguments]: Add phase to apply it on i686 systems only.
2018-06-20 16:02:04 +02:00
Marius Bakke
6969c4de44
Merge branch 'master' into staging
2018-06-18 15:29:38 +02:00
Marius Bakke
73d18915b5
gnu: OpenBLAS: Update to 0.3.0.
...
* gnu/packages/maths.scm (openblas): Update to 0.3.0.
2018-06-18 15:27:08 +02:00
Ludovic Courtès
f3a34b9de8
gnu: gsl: Update to 2.5.
...
* gnu/packages/maths.scm (gsl): Update to 2.5.
2018-06-17 01:40:14 +02:00
Ludovic Courtès
b5edc47912
gnu: flann: Fix builds with CMake >= 3.11.
...
* gnu/packages/patches/flann-cmake-3.11.patch: New file.
* gnu/packages/maths.scm (flann)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
2018-06-12 15:23:34 +02:00
Theodoros Foradis
fc3c88ec9c
gnu: lapack-3.5: Delete package.
...
* gnu/packages/maths.scm (lapack-3.5): Delete package.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2018-06-07 23:23:40 +02:00
Mark H Weaver
c0d7c1244a
Merge branch 'master' into core-updates
2018-05-29 21:20:47 -04:00
Kei Kebreau
de658cc2f8
gnu: octave: Update to 4.4.0.
...
* gnu/packages/maths.scm (octave): Update to 4.4.0.
2018-05-29 18:20:37 -04:00
Mark H Weaver
1640f16e78
Merge branch 'master' into core-updates
2018-05-27 01:26:09 -04:00
Ludovic Courtès
6df2a50ac4
gnu: openmpi: Update to 3.0.1.
...
* gnu/packages/mpi.scm (openmpi): Update to 3.0.1.
[arguments]: In 'remove-absolute' phase, adjust romio file name.
* gnu/packages/maths.scm (scalapack)[arguments]: Add
'set-test-environment' phase.
(slepc-openmpi)[arguments]: Likewise.
(mumps-openmpi)[arguments]: Likewise.
(superlu-dist)[arguments]: In 'check' phase, set
'OMPI_MCA_plm_rsh_agent'.
(scotch)[arguments]: In 'build-esmumps', likewise.
(p4est)[arguments]: Add 'set-test-environment' phase.
(hypre-openmpi)[arguments]: Likewise.
2018-05-25 13:43:03 +02:00
Ludovic Courtès
0921eff2a8
gnu: superlu-dist: Update to 5.3.0.
...
* gnu/packages/maths.scm (superlu-dist): Update to 5.3.0.
[source](snippet): Adapt file name and function names to new version.
Remove 'delete-file' call.
2018-05-25 13:43:03 +02:00
Mark H Weaver
539bf8f2c0
Merge branch 'master' into core-updates
2018-05-17 01:00:50 -04:00
Tobias Geerinckx-Rice
9a2ac95d76
gnu: r-desolve: Update to 1.21.
...
* gnu/packages/maths.scm (r-desolve): Update to 1.21.
2018-05-17 01:01:59 +02:00
Ludovic Courtès
e18e7cb9f4
gnu: hypre: Add missing dependency on Perl.
...
Previously the test suite would fail to run 'ppmquant', though it would
silently ignore it.
* gnu/packages/maths.scm (hypre)[native-inputs]: Add PERL.
2018-05-13 13:29:26 +02:00
Ludovic Courtès
4f38754180
gnu: arpack-ng-openmpi: Fix build.
...
* gnu/packages/maths.scm (arpack-ng-openmpi)[arguments]: Inherit
arguments from ARPACK-NG. Previously the 'configure' phase would fail
due to the lack of a 'configure' script.
2018-05-11 18:42:42 +02:00
Marius Bakke
12bd588346
Merge branch 'master' into core-updates
2018-05-06 15:56:24 +02:00
Marius Bakke
560acf2594
gnu: Add python-kiwisolver.
...
* gnu/packages/maths.scm (python-kiwisolver, python2-kiwisolver): New public
variables.
2018-05-05 13:16:32 +02:00
Adam Massmann
07254d8b22
gnu: gnuplot: Update to 5.2.2
...
* gnu/packages/maths.scm (gnuplot): Update to 5.2.2.
[arguments]: New field.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-05-04 15:27:29 +02:00
Mark H Weaver
3d5ad159b3
Merge branch 'master' into core-updates
2018-04-30 04:03:54 -04:00
Eric Bavier
e7323f4c08
gnu: mumps: Update to 5.1.2.
...
* gnu/packages/maths.scm (mumps): Update to 5.1.2.
2018-04-26 20:54:18 -05:00
Eric Bavier
d98e9009a9
gnu: scotch: Update to 6.0.5a.
...
* gnu/packages/patches/pt-scotch-build-parallelism.patch: Delete files.
* gnu/packages/patches/scotch-build-parallelism.patch,
gnu/packages/patches/scotch-graph-diam-64.patch,
gnu/packages/patches/scotch-graph-induce-type-64.patch: New files.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/maths.scm (scotch): Update to 6.0.5a.
[source](patches): Adjust accordingly.
2018-04-26 20:54:18 -05:00
Ricardo Wurmus
2bcf5fd337
gnu: r-subplex: Update to 1.5-4.
...
* gnu/packages/maths.scm (r-subplex): Update to 1.5-4.
2018-04-21 23:07:52 +02:00
Mark H Weaver
f89aa1521a
Merge branch 'master' into core-updates
2018-04-10 00:42:22 -04:00
Marius Bakke
33d82486d5
gnu: vc: Do not optimize for the build machine CPU.
...
* gnu/packages/maths.scm (vc)[arguments]: Add "-DTARGET_ARCHITECTURE=none" to
#:configure-flags.
2018-04-08 22:32:24 +02:00
Kei Kebreau
36ce25f092
gnu: Add qtoctave.
...
* gnu/packages/maths.scm (qtoctave): New variable.
2018-03-31 14:05:25 -04:00
Kei Kebreau
ab5f3f2131
gnu: octave: Add audio and more sparse matrix support.
...
* gnu/packages/maths.scm (octave)[inputs]: Add suitesparse, libsndfile,
portaudio and alsa-lib.
2018-03-31 14:05:16 -04:00
Marius Bakke
5576cfabf3
Merge branch 'master' into core-updates
2018-03-29 17:34:41 +02:00
Nadya Voronova
910deec66c
gnu: Add tcalc.
...
* gnu/packages/maths.scm (tcalc): New variables.
Signed-off-by: Ludovic Courtès <ludovic.courtes@inria.fr>
2018-03-28 17:13:00 +02:00
Tobias Geerinckx-Rice
1dc3109707
gnu: scotch: Use predictable source URI.
...
* gnu/packages/maths.scm (scotch)[source]: Use predictable URI.
2018-03-25 20:01:02 +02:00
Tobias Geerinckx-Rice
7112b2f148
gnu: openlibm: Update to 0.5.5.
...
* gnu/packages/maths.scm (openlibm): Update to 0.5.5.
2018-03-25 20:01:00 +02:00
Tobias Geerinckx-Rice
e0bee0de70
gnu: ceres-solver: Update to 1.14.0.
...
* gnu/packages/maths.scm (ceres-solver): Update to 1.14.0.
2018-03-25 00:36:32 +01:00
Mark H Weaver
ac21be848a
Merge branch 'master' into core-updates
2018-03-20 14:22:06 -04:00
ng0
4a78fd4617
Correct name and Email for ng0.
...
* .mailmap: Correct name and Email for ng0.
* Makefile.am, 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/emacs.scm, gnu/packages/enlightenment.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.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-crypto.scm, gnu/packages/python-web.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: Likewise.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2018-03-20 17:17:58 +01:00
Mark H Weaver
647888845c
Merge branch 'master' into core-updates
2018-03-20 00:49:05 -04:00
Ben Woodcroft
63e07468b3
gnu: Add ruby-asciimath.
...
* gnu/packages/maths.scm (ruby-asciimath): New variable.
2018-03-18 10:23:49 +00:00
Mark H Weaver
9f388b1ee1
Merge branch 'master' into core-updates
2018-03-17 01:18:37 -04:00
Mark H Weaver
6cbee49d66
gnu: All snippets report errors using exceptions, else return #t.
...
* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm,
gnu/packages/backup.scm, gnu/packages/base.scm,
gnu/packages/bioinformatics.scm, gnu/packages/cdrom.scm,
gnu/packages/chez.scm, gnu/packages/code.scm, gnu/packages/compression.scm,
gnu/packages/cross-base.scm, gnu/packages/crypto.scm, gnu/packages/cups.scm,
gnu/packages/databases.scm, gnu/packages/dns.scm, gnu/packages/emacs.scm,
gnu/packages/emulators.scm, gnu/packages/engineering.scm,
gnu/packages/enlightenment.scm, gnu/packages/fpga.scm,
gnu/packages/freedesktop.scm, gnu/packages/ftp.scm, gnu/packages/games.scm,
gnu/packages/gcc.scm, gnu/packages/geo.scm, gnu/packages/ghostscript.scm,
gnu/packages/gl.scm, gnu/packages/glib.scm, gnu/packages/gnome.scm,
gnu/packages/gnuzilla.scm, gnu/packages/graphics.scm, gnu/packages/gtk.scm,
gnu/packages/guile.scm, gnu/packages/irc.scm, gnu/packages/java.scm,
gnu/packages/kerberos.scm, gnu/packages/linux.scm, gnu/packages/lisp.scm,
gnu/packages/lxde.scm, gnu/packages/machine-learning.scm,
gnu/packages/mail.scm, gnu/packages/maths.scm, gnu/packages/messaging.scm,
gnu/packages/monitoring.scm, gnu/packages/mp3.scm, gnu/packages/music.scm,
gnu/packages/netpbm.scm, gnu/packages/networking.scm, gnu/packages/node.scm,
gnu/packages/nvi.scm, gnu/packages/ocaml.scm, gnu/packages/pdf.scm,
gnu/packages/perl.scm, gnu/packages/php.scm, gnu/packages/plotutils.scm,
gnu/packages/pretty-print.scm, gnu/packages/profiling.scm,
gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm,
gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/robotics.scm,
gnu/packages/sawfish.scm, gnu/packages/scanner.scm, gnu/packages/scheme.scm,
gnu/packages/scribus.scm, gnu/packages/sdl.scm,
gnu/packages/serialization.scm, gnu/packages/shells.scm,
gnu/packages/slang.scm, gnu/packages/smalltalk.scm, gnu/packages/ssh.scm,
gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/tbb.scm,
gnu/packages/terminals.scm, gnu/packages/texinfo.scm,
gnu/packages/text-editors.scm, gnu/packages/textutils.scm,
gnu/packages/tls.scm, gnu/packages/unrtf.scm,
gnu/packages/version-control.scm, gnu/packages/video.scm,
gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wm.scm,
gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xorg.scm:
In all snippets, report errors using exceptions, or else return #t.
2018-03-16 09:08:31 -04:00
Tobias Geerinckx-Rice
47653b3933
gnu: octave: Update to 4.2.2.
...
* gnu/packages/maths.scm (octave): Update to 4.2.2.
2018-03-15 19:11:15 +01:00
Leo Famulari
799ad71bfc
gnu: Add r-desolve.
...
* gnu/packages/maths.scm (r-desolve): New variable.
2018-03-15 10:57:51 -04:00
Leo Famulari
41835f947e
gnu: Add r-subplex.
...
gnu/packages/maths.scm (r-subplex): New variable.
2018-03-15 10:57:51 -04:00
Ludovic Courtès
c0edb5b543
gnu: arpack-ng: Update to 3.5.0; use 3.3.0 for julia.
...
Partly fixes <https://bugs.gnu.org/30282 >.
* gnu/packages/maths.scm (arpack-ng): Update to 3.5.0.
[native-inputs]: New field.
(arpack-ng-3.3.0): New variable.
* gnu/packages/julia.scm (julia)[inputs]: Use ARPACK-NG-3.3.0.
2018-03-12 16:09:24 +01:00
Ricardo Wurmus
d8f46d5234
gnu: hdf5: Do not record the build-time kernel version.
...
* gnu/packages/maths.scm (hdf5)[arguments]: Patch libhdf5.settings to prevent
the kernel version on the build node from affecting the output.
2018-03-09 11:20:22 +01:00
Efraim Flashner
bd041e7fd3
gnu: dionysus: Update to 1.4.0.
...
* gnu/packages/maths.scm (dionysus): Update to 1.4.0.
2018-02-28 14:42:36 +02:00
Kei Kebreau
0181df537f
gnu: wxmaxima: Update to 18.02.0.
...
* gnu/packages/maths.scm (wxmaxima): Update to 18.02.0.
[source]: Add patch.
[build-system]: Use the cmake-build-system.
[native-inputs]: Remove autoconf and automake.
[arguments]: Disable tests, remove 'autoconf' phase.
* gnu/packages/patches/wxmaxima-do-not-use-old-gnuplot-parameters.patch: New
file.
* gnu/local.mk (dist_patch_DATA): Add it.
2018-02-24 18:05:52 -05:00
Leo Famulari
853b029209
gnu: vc: Update to 1.3.3.
...
* gnu/packages/maths.scm (vc): Update to 1.3.3.
2018-02-23 13:18:32 -05:00
Tobias Geerinckx-Rice
a89e0cf581
gnu: lpsolve: Update to 5.5.2.5.
...
* gnu/packages/maths.scm (lpsolve): Update to 5.5.2.5.
2018-02-21 15:02:49 +01:00
Tobias Geerinckx-Rice
6c96b5452c
gnu: lpsolve: Update phase style.
...
* gnu/packages/maths.scm (lpsolve)[arguments]: Use INVOKE and
INSTALL-FILE, and end phases with #t.
2018-02-21 15:02:48 +01:00
Ricardo Wurmus
ff9d1a2f0c
Merge branch 'master' into core-updates
2018-02-18 00:39:25 +01:00
Marius Bakke
445929e038
gnu: glpk: Update to 4.65.
...
* gnu/packages/maths.scm (glpk): Update to 4.65.
2018-02-16 22:08:03 +01:00
Mark H Weaver
288b8fd5e9
Merge branch 'master' into core-updates
2018-02-13 13:17:15 -05:00
Ricardo Wurmus
637584253f
gnu: r-pracma: Update to 2.1.4.
...
* gnu/packages/maths.scm (r-pracma): Update to 2.1.4.
2018-02-13 16:18:41 +01:00
Ricardo Wurmus
4dba441c2a
gnu: hdf5: Build with -fPIC.
...
* gnu/packages/maths.scm (hdf5)[arguments]: Add -fPIC to CFLAGS and CXXFLAGS.
2018-02-12 15:29:43 +01:00
Mark H Weaver
efe2a2833c
Merge branch 'master' into core-updates
2018-02-09 01:46:34 -05:00
Tobias Geerinckx-Rice
ed0c5d3c58
gnu: mcrl2: Fix typo in synopsis.
...
* gnu/packages/maths.scm (mcrl2)[synopsis]: Fix typo.
[description]: Use @dfn.
2018-02-08 14:42:32 +01:00
Jan Nieuwenhuizen
5b05dce747
gnu: Add mcrl2.
...
* gnu/packages/maths.scm (mcrl2): New variable.
2018-02-08 08:50:06 +01:00
Mark H Weaver
e7ca634912
Merge branch 'master' into core-updates
2018-02-03 22:46:07 -05:00
Eric Bavier
c684008992
gnu: slepc: Apply invoke to configure flags.
...
Follow-up to 94a1eb96d3
* gnu/packages/maths.scm (slepc)[arguments]: Use 'apply' since 'flags' is a
list of configure arguments.
2018-02-02 08:26:59 -06:00
Eric Bavier
e01397b489
gnu: Add Elemental.
...
* gnu/packages/maths.scm (elemental): New variable.
2018-02-02 08:26:59 -06:00
Marius Bakke
bee7bb315c
Merge branch 'master' into core-updates
2018-02-01 13:18:47 +01:00
Tobias Geerinckx-Rice
cc809f1636
gnu: slepc: Update to 3.8.2.
...
* gnu/packages/maths.scm (slepc): Update to 3.8.2.
2018-01-29 00:23:27 +01:00
Tobias Geerinckx-Rice
3c524f2153
gnu: slepc: Update licence.
...
SLEPc has been released under a 2-clause BSD licence since version 3.8.
* gnu/packages/maths.scm (slepc)[licence]: Switch to bsd-2.
2018-01-29 00:23:27 +01:00
Tobias Geerinckx-Rice
94a1eb96d3
gnu: fbcat, slepc: Use INVOKE.
...
* gnu/packages/linux.scm (fbcat)[arguments]: Substitute INVOKE for
SYSTEM*.
* gnu/packages/maths.scm (slepc)[arguments]: Likewise.
2018-01-29 00:23:27 +01:00
Tobias Geerinckx-Rice
59cd0ba4ab
gnu: openspecfun: Update to 0.5.3.
...
* gnu/packages/maths.scm (openspecfun): Update to 0.5.3.
2018-01-29 00:23:27 +01:00