| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | gnu: Add ocaml-z3.•••* gnu/packages/maths.scm (ocaml-z3): New variable.
| Julien Lepiller | 2021-10-28 | 1 | -0/+59 |
| * | gnu: Add clingo.•••* gnu/packages/maths.scm (clingo): New variable.
| Liliana Marie Prikler | 2021-10-24 | 1 | -0/+65 |
| * | gnu: Add clasp.•••* gnu/packages/maths.scm (clasp): New variable.
| Liliana Marie Prikler | 2021-10-24 | 1 | -0/+43 |
| * | gnu: Add libpotassco.•••* gnu/packages/maths.scm (libpotassco): New variable.
| Liliana Marie Prikler | 2021-10-24 | 1 | -0/+49 |
| * | gnu: hdf5@1.12: Update to 1.12.1.•••* gnu/packages/maths.scm (hdf5-1.12): Update to 1.12.1.
| Tobias Geerinckx-Rice | 2021-10-18 | 1 | -2/+2 |
| * | gnu: frama-c: Update to 23.1.•••* gnu/packages/maths.scm (frama-c): Update to 23.1.
| Julien Lepiller | 2021-10-08 | 1 | -3/+3 |
| * | gnu: why3: Update to 1.4.0.•••* gnu/packages/maths.scm (why3): Update to 1.4.0.
| Julien Lepiller | 2021-10-08 | 1 | -7/+13 |
| * | gnu: mcrl2: Update hash of modified-in-place tarball.•••Fixes <https://issues.guix.gnu.org/51074>.
* gnu/packages/maths.scm (mcrl2)[source]: Update hash.
| Ludovic Courtès | 2021-10-07 | 1 | -1/+1 |
| * | gnu: Add minizinc.•••* gnu/packages/maths.scm (minizinc): New variable.
| Liliana Marie Prikler | 2021-09-25 | 1 | -0/+130 |
| * | gnu: Add gecode.•••* gnu/packages/maths.scm (gecode): New variable.
| Liliana Marie Prikler | 2021-09-25 | 1 | -0/+71 |
| * | gnu: fp16: Install Python files in the site directory.•••* gnu/packages/maths.scm (fp16)[arguments]: New field.
| Ludovic Courtès | 2021-09-24 | 1 | -0/+23 |
| * | gnu: nauty: Update to 2.7r3.•••* gnu/packages/maths.scm (nauty): Update to 2.7r3.
| Nicolas Goaziou | 2021-09-11 | 1 | -2/+2 |
| * | gnu: vc: Update to 1.4.2.•••* gnu/packages/maths.scm (vc): Update to 1.4.2.
| Tobias Geerinckx-Rice | 2021-09-04 | 1 | -2/+2 |
| * | gnu: nauty: Update to 2.7r2.•••* gnu/packages/maths.scm (nauty): Update to 2.7r2.
| Nicolas Goaziou | 2021-09-04 | 1 | -2/+2 |
| * | gnu: dealii-openmpi: Add Trilinos dependency.•••* gnu/packages/maths.scm (trilinos-for-dealii-openmpi): New variable.
(dealii-openmpi)[propagated-inputs]: Add trilinos-for-dealii-openmpi.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2021-08-10 | 1 | -0/+149 |
| * | gnu: Add optizelle.•••* gnu/packages/maths.scm (optizelle): New variable.
| Paul Garlick | 2021-08-05 | 1 | -0/+101 |
| * | gnu: Add bitwise.•••* gnu/packages/maths.scm (bitwise): New variable.
Co-authored-by: jgart <jgart@dismail.de>
Co-authored-by: Julien Lepiller <julien@lepiller.eu>
Co-authored-by: Ryan Prior <rprior@protonmail.com>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Guix Together | 2021-08-04 | 1 | -0/+34 |
| * | gnu: Add FP16.•••* gnu/packages/patches/fp16-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (fp16): New variable.
| Ludovic Courtès | 2021-07-29 | 1 | -0/+30 |
| * | gnu: Add FXDiv.•••* gnu/packages/maths.scm (fxdiv): New variable.
* gnu/packages/patches/fxdiv-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
| Ludovic Courtès | 2021-07-29 | 1 | -0/+31 |
| * | gnu: openlibm: Fix cross-compiling.•••* gnu/packages/maths.scm (openlibm)[arguments]: Add configure-flag to
use cc-for-target.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Jean-Baptiste Volatier | 2021-07-28 | 1 | -1/+2 |
| * | gnu: openlibm: Update to 0.7.4.•••* gnu/packages/maths.scm (openlibm): Update to 0.7.4.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Jean-Baptiste Volatier | 2021-07-28 | 1 | -2/+3 |
| * | gnu: gsegrafix: Update to 1.0.7.2.•••This keeps this ancient package on life support for now.
* gnu/packages/maths.scm (gsegrafix): Update to 1.0.7.2.
[source]: Download from gsegrafix-experimental's Savannah.
[arguments]: Drop obsolete LDFLAGS. Disable static library build.
[inputs]: Remove libgnomecanvas, libbonoboui, libgnomeui,
libgnomeprintui, and popt. Add glib and gtk+.
| Tobias Geerinckx-Rice | 2021-07-26 | 1 | -14/+15 |
| * | gnu: dealii: Update to 9.3.1 and clean up.•••The cleanup notably:
* Builds and installs the documentation into a separate doc output (in
the process moving around some files erroneously installed into the root
directory); and
* Removes unnecessary inputs and moves some inputs into
propagated-inputs (the candidates of which were determined with a search
for "include.*LIBNAME" in include/deal.II).
* gnu/packages/maths.scm (dealii): Reword comments.
[version]: Update to 9.3.1.
[outputs]: New field including doc output.
[native-inputs]: New field.
[inputs]: Sort them. Remove p4est (deal.II interfaces with it only when
MPI is enabled). Move boost, suitesparse and tbb to...
[propagated-inputs]: ...here. New field including hdf5, which is
actually supported in deal.II without MPI.
[arguments]<#:tests?>: New argument. The tests were not being run before
anyway.
<#:configure-flags>[-DDEAL_II_COMPONENT_DOCUMENTATION]: New flag.
[-DDEAL_II_DOCREADME_RELDIR]: New flag. Prevents the LICENSE.md,
README.md, detailed.log and summary.log files from being installed in
the root directory (though note that the logs are removed in the new
remove-build-logs phase).
[-DDEAL_II_DOCHTML_RELDIR]: New flag.
[-DDEAL_II_COMPILE_EXAMPLES]: New flag.
[-DDEAL_II_EXAMPLES_RELDIR]: New flag. Prevents the examples directory
from being installed in the root directory.
[-DCMAKE_POSITION_INDEPENDENT_CODE]: Remove flag. The issue has been
resolved.
<#:phases>{remove-build-logs}: New phase.
[home-page]: Add trailing slash.
(dealii-openmpi): Use package/inherit.
[inputs]: Sort them. Remove mumps-metis-openmpi (deal.II no longer
interfaces with MUMPS). Move hdf5-parallel-openmpi, openmpi,
p4est-openmpi, petsc-openmpi and slepc-openmpi to...
[propagated-inputs]: ...here. New field.
[arguments]<#:configure-flags>: Rename cf variable to flags.
<#:phases>{mpi-setup}: Remove phase which is unused because the tests
are disabled.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2021-07-20 | 1 | -33/+62 |
| * | gnu: Add nomad-optimizer.•••* gnu/packages/maths.scm (nomad-optimizer): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2021-07-19 | 1 | -0/+148 |
| * | gnu: Add blitz.•••* gnu/packages/maths.scm (blitz): New variable.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
| Ivan Gankevich | 2021-07-16 | 1 | -0/+37 |
| * | gnu: gmsh: Sort inputs alphabetically.•••* gnu/packages/maths.scm (gmsh)[propagated-inputs]: Sort alphabetically.
| Efraim Flashner | 2021-07-13 | 1 | -4/+4 |
| * | gnu: gmsh: Simply downloading source logic.•••* gnu/packages/maths.scm (gmsh)[source]: Use string-replace-substring.
| Efraim Flashner | 2021-07-13 | 1 | -2/+1 |
| * | gnu: gmsh: Update to 4.8.4.•••* gnu/packages/maths.scm (gmsh): Update to 4.8.4.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience | 2021-07-13 | 1 | -2/+2 |
| * | gnu: gmsh: Install Python API in standard directory.•••* gnu/packages/maths.scm (gmsh)[imported-modules]: New argument.
[modules]: New argument.
[phases]: New argument.
[inputs]: Add python.
| Paul Garlick | 2021-07-12 | 1 | -3/+29 |
| * | gnu: mcrl2: Update to 202106.0.•••* gnu/packages/maths.scm (mcrl2): Update to 202106.0.
| Jan (janneke) Nieuwenhuizen | 2021-07-08 | 1 | -3/+3 |
| * | gnu: openblas: Fix building on powerpc64le-linux.•••* gnu/packages/maths.scm (openblas)[arguments]: Add make-flags to enable
building for powerpc64le-linux.
| Efraim Flashner | 2021-07-07 | 1 | -1/+5 |
| * | gnu: openblas: Fix building on armhf-linux.•••* gnu/packages/maths.scm (openblas)[arguments]: Add make-flag to set
target architecture.
| Efraim Flashner | 2021-07-07 | 1 | -0/+3 |
| * | gnu: atlas: Extend build time-out.•••* gnu/packages/maths.scm (atlas)[properties]: Quadruple the timeout.
| Tobias Geerinckx-Rice | 2021-07-02 | 1 | -0/+3 |
| * | gnu: gnuplot: Update to 5.4.2.•••* gnu/packages/maths.scm (gnuplot): Update to 5.4.2.
| Tobias Geerinckx-Rice | 2021-07-02 | 1 | -3/+3 |
| * | gnu: scotch: Update to 6.1.1.•••* gnu/packages/maths.scm (scotch): Update to 6.1.1.
[native-inputs]: Add GFORTRAN.
[arguments]: Set 'FC' in 'Makefile.in'.
(scotch32)[arguments]: Likewise.
(scotch-shared)[arguments]: Likewise.
| Ludovic Courtès | 2021-06-29 | 1 | -3/+7 |
| * | gnu: scotch: Add 'release-monitoring-url' property.•••* gnu/packages/maths.scm (scotch)[properties]: New field.
| Ludovic Courtès | 2021-06-29 | 1 | -0/+2 |
| * | gnu: suitesparse: Update to 5.10.1.•••* gnu/packages/maths.scm (suitesparse): Update to 5.10.1.
| Ludovic Courtès | 2021-06-25 | 1 | -2/+2 |
| * | gnu: suitesparse: Link against OpenBLAS rather than LAPACK.•••* gnu/packages/maths.scm (suitesparse)[inputs]: Replace LAPACK with
OPENBLAS.
[arguments]: Add "BLAS"and "LAPACK" to #:make-flags.
| Ludovic Courtès | 2021-06-25 | 1 | -1/+6 |
| * | gnu: maxima: Update to 5.45.1.•••* gnu/packages/maths.scm (maxima): Update to 5.45.1.
[home-page]: Follow redirect.
| Kei Kebreau | 2021-06-24 | 1 | -3/+3 |
| * | gnu: petsc: Link against OpenBLAS rather than LAPACK.•••OpenBLAS performs better than LAPACK, the reference implementation.
This is also consistent with the choice of BLAS/LAPACK implementations
made in most other packages.
* gnu/packages/maths.scm (petsc)[inputs]: Replace LAPACK by OPENBLAS.
[arguments]: Pass "--with-openblas=1".
| Ludovic Courtès | 2021-06-22 | 1 | -1/+2 |
| * | gnu: why3: Update to 1.3.3.•••* gnu/packages/maths.scm (why3): Update to 1.3.3.
[arguments]: Adjust for newer ocaml-num.
| Julien Lepiller | 2021-06-20 | 1 | -5/+5 |
| * | gnu: wxmaxima: Update to 21.05.2.•••* gnu/packages/maths.scm (wxmaxima): Update to 21.05.2.
| Kei Kebreau | 2021-06-14 | 1 | -2/+2 |
| * | gnu: maxima: Update to 5.45.0.•••* gnu/packages/maths.scm (maxima): Update to 5.45.0.
| Kei Kebreau | 2021-06-14 | 1 | -3/+3 |
| * | gnu: Rename qtbase to qtbase-5.•••This change was automated via the following command:
$ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g'
$ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g'
$ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g'
$ git checkout etc # to clear some spurious changes
This is done so the qtbase package can be upgraded to version 6 in the
following commit.
| Maxim Cournoyer | 2021-06-14 | 1 | -5/+5 |
| * | gnu: qalculate-gtk: Update to 3.19.0.•••* gnu/packages/maths.scm (qalculate-gtk): Update to 3.19.0.
[phases]: Remove 'add-pot-file.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
| Jack Hill | 2021-06-12 | 1 | -11/+2 |
| * | gnu: libqalculate: Update to 3.19.0.•••* gnu/packages/maths (libqalculate): Update to 3.19.0.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
| Jack Hill | 2021-06-12 | 1 | -2/+2 |
| * | gnu: Add frama-c.•••* gnu/packages/maths.scm (frama-c): New variable.
| Julien Lepiller | 2021-06-02 | 1 | -0/+47 |
| * | gnu: Add why3.•••* gnu/packages/maths.scm (why3): New variable.
| Julien Lepiller | 2021-06-02 | 1 | -1/+66 |
| * | gnu: ipopt: Update to 3.13.4•••* gnu/packages/maths.scm (ipopt): Update to 3.13.4, update URL.
[license]: Change to LICENSE:EPL2.0.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
| Eric Brown | 2021-05-28 | 1 | -14/+10 |
| * | gnu: Add cbc.•••* gnu/packages/maths.scm (cbc): New variable.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
| Eric Brown | 2021-05-28 | 1 | -0/+29 |
