| Age | Commit message (Expand) | Author |
|---|
| 2018-11-20 | gnu: z3: Update to 4.8.1....* gnu/packages/maths.scm (z3): Update to 4.8.1.
| Marius Bakke |
| 2018-11-20 | gnu: z3: Fetch source using git....* gnu/packages/maths.scm (z3)[source]: Change to GIT-FETCH.
| Marius Bakke |
| 2018-11-18 | 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.
| Julien Lepiller |
| 2018-11-18 | gnu: maxima: Fix tests on i686 and x86_64....* gnu/packages/maths.scm (maxima)[arguments]: Replace check phase.
| Kei Kebreau |
| 2018-11-14 | gnu: Add python-slepc4py....* gnu/packages/maths.scm (python-slepc4py): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul Garlick |
| 2018-11-14 | gnu: Add python-petsc4py....* gnu/packages/maths.scm (python-petsc4py): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul Garlick |
| 2018-11-09 | 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.
| Kei Kebreau |
| 2018-11-07 | gnu: Add hdf5-1.10....* gnu/packages/maths.scm (hdf5-1.10): New variable.
| Ricardo Wurmus |
| 2018-11-05 | gnu: glm: Update to 0.9.9.3....* gnu/packages/maths.scm (glm): Update to 0.9.9.3.
| Marius Bakke |
| 2018-10-30 | gnu: r-pracma: Update to 2.1.8....* gnu/packages/maths.scm (r-pracma): Update to 2.1.8.
[propagated-inputs]: Remove r-quadprog.
| Ricardo Wurmus |
| 2018-10-27 | gnu: units: Update to 2.18....* gnu/packages/maths.scm (units): Update to 2.18.
| Tobias Geerinckx-Rice |
| 2018-10-20 | gnu: maxima: Update to 5.42.0....* gnu/packages/maths.scm (maxima): Update to 5.42.0.
| Kei Kebreau |
| 2018-10-11 | gnu: Add python-cvxopt....* gnu/packages/maths.scm (python-cvxopt, python2-cvxopt): New variables.
| Ricardo Wurmus |
| 2018-10-04 | 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>
| Paul Garlick |
| 2018-09-24 | gnu: octave: Add a search path for CURLOPT_CAPATH....* gnu/packages/maths.scm (octave)[native-search-paths]: New field.
| Kei Kebreau |
| 2018-09-21 | 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>
| Paul Garlick |
| 2018-09-21 | 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>
| Paul Garlick |
| 2018-09-20 | 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.
| Tobias Geerinckx-Rice |
| 2018-09-19 | gnu: glm: Update to 0.9.9.2....* gnu/packages/maths.scm (glm): Update to 0.9.9.2.
| Marius Bakke |
| 2018-09-19 | gnu: arpack-ng: Update to 3.6.3....* gnu/packages/maths.scm (arpack-ng): Update to 3.6.3.
| Marius Bakke |
| 2018-09-19 | gnu: arpack-ng: Don't use unstable tarball....* gnu/packages/maths.scm (arpack-ng)[source]: Use GIT-FETCH.
| Marius Bakke |
| 2018-09-14 | gnu: Add openblas-ilp64....* gnu/packages/maths.scm (openblas-ilp64): New variable.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
| Eric Brown |
| 2018-09-11 | 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.
| Eric Bavier |
| 2018-09-11 | 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>
| Paul Garlick |
| 2018-09-10 | gnu: mcrl2: Use HTTPS home page....* gnu/packages/maths.scm (mcrl2)[home-page]: Use HTTPS.
| Tobias Geerinckx-Rice |
| 2018-09-09 | gnu: OpenBLAS: Update source URI....* gnu/packages/maths.scm (openblas)[source](uri): Use the more stable
SourceForge mirror.
| Marius Bakke |
| 2018-09-09 | gnu: glm: Update to 0.9.9.1....* gnu/packages/maths.scm (glm): Update to 0.9.9.1.
| Marius Bakke |
| 2018-09-05 | slepc: Upgrade to 3.9.2....* gnu/packages/maths.scm (slepc): Upgrade to 3.9.2.
| Eric Bavier |
| 2018-09-05 | petsc: Upgrade to 3.9.3....* gnu/packages/maths.scm (petsc): Upgrade to 3.9.3.
[arguments]: Remove unnecessary configure flags.
| Eric Bavier |
| 2018-09-05 | petsc: Move example code to "examples" output....* gnu/packages/maths.scm (petsc)[arguments]: New 'move-examples' phase.
| Eric Bavier |
| 2018-09-05 | gnu: Add SUNDIALS....* gnu/packages/maths.scm (sundials, sundials-openmpi): New variables.
| Eric Bavier |
| 2018-09-04 | 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>
| Paul Garlick |
| 2018-09-03 | gnu: arpack-ng: Update to 3.6.2....* gnu/packages/maths.scm (arpack-ng): Update to 3.6.2.
| Marius Bakke |
| 2018-09-03 | gnu: arpack-ng: Drop redundant phase....* gnu/packages/maths.scm (arpack-ng)[arguments]: Remove.
| Marius Bakke |
| 2018-08-31 | gnu: hypre: Update to 2.14.0....* gnu/packages/maths.scm (hypre): Update to 2.14.0
| Eric Bavier |
| 2018-08-28 | gnu: r-pracma: Update to 2.1.5....* gnu/packages/maths.scm (r-pracma): Update to 2.1.5.
| Tobias Geerinckx-Rice |
| 2018-08-19 | Merge branch 'staging' | Marius Bakke |
| 2018-08-18 | gnu: gnuplot: Update to 5.2.4....* gnu/packages/maths.scm (gnuplot): Update to 5.2.4.
| Kei Kebreau |
| 2018-08-18 | gnu: cddlib: Update to 0.94i....* gnu/packages/maths.scm (cddlib): Update to 0.94i.
| Kei Kebreau |
| 2018-08-17 | 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.
| Kei Kebreau |
| 2018-08-17 | gnu: armadillo: Update to 9.100.5....* gnu/packages/maths.scm (armadillo): Update to 9.100.5.
| Tobias Geerinckx-Rice |
| 2018-08-16 | Merge branch 'master' into staging | Marius Bakke |
| 2018-08-16 | gnu: armadillo: Update to 9.100.4....* gnu/packages/maths.scm (armadillo): Update to 9.100.4.
| Tobias Geerinckx-Rice |
| 2018-08-15 | gnu: ocaml-gsl: Update to 1.22.0....* gnu/packages/maths.scm (ocaml-gsl): Update to 1.22.0.
| Kei Kebreau |
| 2018-08-13 | gnu: coda: Update to 2.19....* gnu/packages/maths.scm (coda): Update to 2.19.
| Kei Kebreau |
| 2018-07-30 | Merge branch 'master' into staging | Marius Bakke |
| 2018-07-30 | gnu: openblas: Update to 0.3.2....* gnu/packages/maths.scm (openblas): Update to 0.3.2.
| Marius Bakke |
| 2018-07-29 | gnu: mcrl2: Build with modular qt....* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
| Efraim Flashner |
| 2018-07-28 | Merge branch 'master' into staging | Marius Bakke |
| 2018-07-28 | gnu: openlibm: Update to 0.6.0....* gnu/packages/maths.scm (openlibm): Update to 0.6.0.
| Marius Bakke |
