| Age | Commit message (Expand) | Author |
|---|
| 2022-09-22 | gnu: lablgtk3: Update to 3.1.2....* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
| Julien Lepiller |
| 2022-08-15 | gnu: Add kissat....* gnu/packages/maths.scm (kissat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Maximilian Heisinger |
| 2022-08-14 | gnu: itpp: Remove non-deterministic log file....* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase.
| Vagrant Cascadian |
| 2022-08-10 | gnu: frama-c: Use lablgtk3....* gnu/packages/maths.scm (frama-c): Build the graphical interface.
| Julien Lepiller |
| 2022-08-10 | gnu: maxima: Fix to find info files....The Maxima command ‘describe’ allows to pick the relevant portions from
Maxima’s Texinfo docs. However it does not support reading gzipped info
files.
* gnu/packages/maths.scm (maxima)[arguments]<phases>: Delete
'compress-documentation phase.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| Daniel Meißner |
| 2022-08-09 | gnu: cddlib: Update to 0.94m....* gnu/packages/maths.scm (cddlib): Update to 0.94m.
[source]: Move to git, following the upstream decision.
[native-inputs]: New field.
[arguments]: New field to have docdir include the version number.
Co-authored-by: Andreas Enge <andreas@enge.fr>
| vicvbcun |
| 2022-08-09 | gnu: wxmaxima: Update to 22.05.0....* gnu/packages/maths.scm (wxmaxima): Update to 22.05.0.
| Andreas Enge |
| 2022-08-09 | gnu: maxima: Update to 5.46.0....* gnu/packages/maths.scm (maxima): Update to 5.46.0.
| Andreas Enge |
| 2022-08-05 | gnu: mumps: Add alternate source code URL....* gnu/packages/maths.scm (mumps)[source]: Add alternate URL.
| Ludovic Courtès |
| 2022-08-05 | gnu: mumps: Update to 5.5.1...* gnu/packages/maths.scm (mumps): Update to 5.5.1. Stop applying patches as the build configuration has been updated upstream. Allow for further optimized BLR compression by specifying the -DBLR_MT build option.
* gnu/packages/patches/mumps-build-parallelism.patch: File removed.
* gnu/packages/patches/mumps-shared-libseq.patch: File removed.
* gnu/packages/patches/mumps-shared-mumps.patch: File removed.
* gnu/packages/patches/mumps-shared-pord.patch: File removed.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| FELŠÖCI Marek |
| 2022-08-05 | gnu: veusz: Fix build....* gnu/packages/maths.scm (veusz)[arguments] Fix lookup of qtsvg path
in wrap-executable phase.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
| Felix Gruber |
| 2022-08-04 | gnu: Add itex2mml....* gnu/packages/maths.scm (itex2mml): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Philip McGrath |
| 2022-08-02 | gnu: gnuplot: Update to 5.4.4....* gnu/packages/maths.scm (gnuplot): Update to 5.4.4.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience |
| 2022-08-02 | gnu: gnuplot: Use G-expressions....* gnu/packages/maths.scm (gnuplot)[arguments]: Use G-expressions.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience |
| 2022-08-02 | gnu: gnuplot: Remove input labels....* gnu/packages/maths.scm (gnuplot)[inputs]: Move below native-inputs and
sort.
[native-inputs]: Remove labels.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience |
| 2022-08-02 | gnu: wcalc: Remove pre-generated files....* gnu/packages/maths.scm (wcalc)[source]: Add snippet to remove files
generated by bison and flex.
[native-inputs]: Add bison, flex.
| Efraim Flashner |
| 2022-08-01 | gnu: trilinos-for-dealii-openmpi: Use G-expressions....* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[arguments]: Use
G-expressions.
<#:phases>: Remove trailing boolean.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-08-01 | gnu: trilinos-for-dealii-openmpi: Remove input labels....* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs,
inputs, propagated-inputs]: Remove labels.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-08-01 | gnu: dealii: Update to 9.4.0....* gnu/packages/maths.scm (dealii): Update to 9.4.0.
[propagated-inputs]: Replace sundials-5 with sundials.
(dealii-openmpi)[propagated-inputs]: Replace sundials-openmpi-5 with
sundials-openmpi.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-08-01 | gnu: dealii: Use G-expressions....* gnu/packages/maths.scm (dealii)[snippet, arguments]: Use
G-expressions.
(dealii-openmpi)[arguments]: Same.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-08-01 | gnu: trilinos-for-dealii-openmpi: Fix build....* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs]:
Add gcc-7 to fix the failing build with newer versions of gcc.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-08-01 | gnu: hdf5-1.8: Add missing comma to linker flag....* gnu/packages/maths.scm (hdf5-1.8)[arguments]<#:phases>: Add missing
comma to linker flag.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-07-31 | gnu: qttools: Rename to qttools-5....Automated with:
git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i
git checkout NEWS
| Maxim Cournoyer |
| 2022-07-31 | gnu: qtsvg: Rename variable to qtsvg-5....This is in preparation of the qtsvg update to version 6.
This change was automated via the following command:
git grep -l '\bqtsvg\b' | xargs sed 's/qtsvg/qtsvg-5/g' -i
| Maxim Cournoyer |
| 2022-07-15 | gnu: gmsh: Update to 4.10.5....* gnu/packages/maths.scm (gmsh): Update to 4.10.5.
[source]: Reindent.
Signed-off-by: Christopher Baines <mail@cbaines.net>
| Paul A. Patience |
| 2022-07-15 | gnu: gmsh: Remove trailing booleans....* gnu/packages/maths.scm (gmsh)[snippet, arguments]: Remove trailing
booleans.
Signed-off-by: Christopher Baines <mail@cbaines.net>
| Paul A. Patience |
| 2022-07-15 | gnu: gmsh: Remove input labels....* gnu/packages/maths.scm (gmsh)[inputs]: Remove labels.
Signed-off-by: Christopher Baines <mail@cbaines.net>
| Paul A. Patience |
| 2022-07-13 | gnu: elpa: Update source URL....Fixes <https://issues.guix.gnu.org/46460>.
* gnu/packages/maths.scm (elpa): Update source URL.
Reported-by: Danny Milosavljevic <dannym@scratchpost.org>
| Maxim Cournoyer |
| 2022-07-04 | gnu: nauty: Update package style....* gnu/packages/maths.scm (nauty)[arguments]: Use G-expressions. Remove
trailing #T.
| Nicolas Goaziou |
| 2022-07-04 | gnu: nauty: Update to 2.7r4....* gnu/packages/maths.scm (nauty): Update to 2.7r4.
| Nicolas Goaziou |
| 2022-07-04 | gnu: Add giza...* gnu/packages/maths.scm (giza): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Sharlatan Hellseher |
| 2022-07-04 | gnu: z3: Prefer CMake to build the package....Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.
* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.
(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao |
| 2022-07-04 | gnu: z3: Update to 4.8.17....* gnu/packages/maths.scm (z3): Update to 4.8.17.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao |
| 2022-07-04 | gnu: z3: Use G-expressions....* gnu/packages/maths.scm (z3)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao |
| 2022-07-01 | gnu: mcrl2: Update to 202206.0....* gnu/packages/patches/mcrl2-fix-1687.patch,
gnu/packages/patches/mcrl2-fix-counterexample.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
| Jan (janneke) Nieuwenhuizen |
| 2022-06-30 | gnu: octave: Update to 7.1.0....* gnu/packages/maths.scm (octave): Update to 7.1.0.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
| Greg Hogan |
| 2022-06-23 | gnu: hypre: Add missing dependencies on latex fonts....* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-COURIER and
TEXLIVE-HELVETIC.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Ontje Lünsdorf |
| 2022-06-08 | Merge branch 'master' into staging | Ludovic Courtès |
| 2022-06-06 | gnu: itpp: Avoid embedding build dates....* gnu/packages/maths.scm (itpp): Add 'set-man-page-date and
'set-force-source-date phases.
| Vagrant Cascadian |
| 2022-06-01 | Merge remote-tracking branch 'origin/master' into staging | Efraim Flashner |
| 2022-05-31 | gnu: Remove python2-kiwisolver....* gnu/packages/maths.scm (python2-kiwisolver): Delete variable.
| Maxim Cournoyer |
| 2022-05-31 | gnu: Remove python2-numpy....* gnu/packages/python-xyz.scm (python2-numpy): Delete variable.
(python2-numpy-1.8): Likewise.
(python-numpy)[properties]: Delete field.
* gnu/packages/maths.scm (flann): Delete comment.
* gnu/packages/chemistry.scm (with-numpy-1.8): Delete procedure.
| Maxim Cournoyer |
| 2022-06-04 | gnu: ruby-asciimath: Update to 2.0.4....gnu/packages/math.scm (ruby-asciimath): Update to 2.0.4.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| SeerLite |
| 2022-05-28 | gnu: nlopt: Update to 2.7.1....* gnu/packages/maths.scm (nlopt): Update to 2.7.1.
[source]: Fetch from git.
[build-system]: Use cmake-build-system.
[arguments]: Adjuts 'set-libnlopt-file-name phase.
[inputs]: Replace guile-2.0 with guile-3.0; add octave and python.
[native-inputs]: Add swig.
| Ricardo Wurmus |
| 2022-05-15 | gnu: openblas: Remove input labels....* gnu/packages/maths.scm (openblas)[inputs, native-inputs]: Remove labels.
[arguments]: In 'set-extralib' phase, use 'search-input-file'.
| Ludovic Courtès |
| 2022-05-15 | gnu: openblas: Update to 0.3.20...* gnu/packages/maths.scm (openblas): Update to 0.3.20.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Aurora |
| 2022-05-05 | gnu: Add n2p2....* gnu/packages/maths.scm (n2p2): New variable.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
| Pierre-Antoine Bouttier |
| 2022-05-03 | gnu: dealii: Update to 9.3.3....* gnu/packages/maths.scm (dealii): Update to 9.3.3.
* gnu/packages/patches/dealii-fix-compiliation-with-boost-1.78.patch:
Delete file.
* gnu/packages/patches/dealii-fix-sundials.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-05-03 | gnu: dealii: Add SUNDIALS dependency....* gnu/packages/maths.scm (dealii)[propagated-inputs]: Add sundials-5.
Reformat list to clarify comment.
(dealii-openmpi)[propagated-inputs]: Add sundials-openmpi-5.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
| 2022-05-03 | gnu: dealii-openmpi: Remove input labels....* gnu/packages/maths.scm (dealii-openmpi)[inputs]: Remove labels.
[propagated-inputs]: Same.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience |
