summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Collapse)AuthorAge
* gnu: Add kissat.Maximilian Heisinger2022-08-15
| | | | | | * gnu/packages/maths.scm (kissat): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
* gnu: itpp: Remove non-deterministic log file.Vagrant Cascadian2022-08-14
| | | | * gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase.
* gnu: frama-c: Use lablgtk3.Julien Lepiller2022-08-10
| | | | * gnu/packages/maths.scm (frama-c): Build the graphical interface.
* gnu: maxima: Fix to find info files.Daniel Meißner2022-08-10
| | | | | | | | | | | 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>
* gnu: cddlib: Update to 0.94m.vicvbcun2022-08-09
| | | | | | | | | * 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>
* gnu: wxmaxima: Update to 22.05.0.Andreas Enge2022-08-09
| | | | * gnu/packages/maths.scm (wxmaxima): Update to 22.05.0.
* gnu: maxima: Update to 5.46.0.Andreas Enge2022-08-09
| | | | * gnu/packages/maths.scm (maxima): Update to 5.46.0.
* gnu: mumps: Add alternate source code URL.Ludovic Courtès2022-08-05
| | | | * gnu/packages/maths.scm (mumps)[source]: Add alternate URL.
* gnu: mumps: Update to 5.5.1FELŠÖCI Marek2022-08-05
| | | | | | | | | | * 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>
* gnu: veusz: Fix build.Felix Gruber2022-08-05
| | | | | | | * gnu/packages/maths.scm (veusz)[arguments] Fix lookup of qtsvg path in wrap-executable phase. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* gnu: Add itex2mml.Philip McGrath2022-08-04
| | | | | | * gnu/packages/maths.scm (itex2mml): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: gnuplot: Update to 5.4.4.Paul A. Patience2022-08-02
| | | | | | * gnu/packages/maths.scm (gnuplot): Update to 5.4.4. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: gnuplot: Use G-expressions.Paul A. Patience2022-08-02
| | | | | | * gnu/packages/maths.scm (gnuplot)[arguments]: Use G-expressions. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: gnuplot: Remove input labels.Paul A. Patience2022-08-02
| | | | | | | | * 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>
* gnu: wcalc: Remove pre-generated files.Efraim Flashner2022-08-02
| | | | | | * gnu/packages/maths.scm (wcalc)[source]: Add snippet to remove files generated by bison and flex. [native-inputs]: Add bison, flex.
* gnu: trilinos-for-dealii-openmpi: Use G-expressions.Paul A. Patience2022-08-01
| | | | | | | | * 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>
* gnu: trilinos-for-dealii-openmpi: Remove input labels.Paul A. Patience2022-08-01
| | | | | | | * gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs, inputs, propagated-inputs]: Remove labels. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: dealii: Update to 9.4.0.Paul A. Patience2022-08-01
| | | | | | | | | * 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>
* gnu: dealii: Use G-expressions.Paul A. Patience2022-08-01
| | | | | | | | * gnu/packages/maths.scm (dealii)[snippet, arguments]: Use G-expressions. (dealii-openmpi)[arguments]: Same. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: trilinos-for-dealii-openmpi: Fix build.Paul A. Patience2022-08-01
| | | | | | | * 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>
* gnu: hdf5-1.8: Add missing comma to linker flag.Paul A. Patience2022-08-01
| | | | | | | * gnu/packages/maths.scm (hdf5-1.8)[arguments]<#:phases>: Add missing comma to linker flag. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: qttools: Rename to qttools-5.Maxim Cournoyer2022-07-31
| | | | | | | Automated with: git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i git checkout NEWS
* gnu: qtsvg: Rename variable to qtsvg-5.Maxim Cournoyer2022-07-31
| | | | | | | | 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
* gnu: gmsh: Update to 4.10.5.Paul A. Patience2022-07-15
| | | | | | | * gnu/packages/maths.scm (gmsh): Update to 4.10.5. [source]: Reindent. Signed-off-by: Christopher Baines <mail@cbaines.net>
* gnu: gmsh: Remove trailing booleans.Paul A. Patience2022-07-15
| | | | | | | * gnu/packages/maths.scm (gmsh)[snippet, arguments]: Remove trailing booleans. Signed-off-by: Christopher Baines <mail@cbaines.net>
* gnu: gmsh: Remove input labels.Paul A. Patience2022-07-15
| | | | | | * gnu/packages/maths.scm (gmsh)[inputs]: Remove labels. Signed-off-by: Christopher Baines <mail@cbaines.net>
* gnu: elpa: Update source URL.Maxim Cournoyer2022-07-13
| | | | | | | | Fixes <https://issues.guix.gnu.org/46460>. * gnu/packages/maths.scm (elpa): Update source URL. Reported-by: Danny Milosavljevic <dannym@scratchpost.org>
* gnu: nauty: Update package style.Nicolas Goaziou2022-07-04
| | | | | * gnu/packages/maths.scm (nauty)[arguments]: Use G-expressions. Remove trailing #T.
* gnu: nauty: Update to 2.7r4.Nicolas Goaziou2022-07-04
| | | | * gnu/packages/maths.scm (nauty): Update to 2.7r4.
* gnu: Add gizaSharlatan Hellseher2022-07-04
| | | | | | * gnu/packages/maths.scm (giza): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: z3: Prefer CMake to build the package.Zhu Zihao2022-07-04
| | | | | | | | | | | | | | | | | | | 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>
* gnu: z3: Update to 4.8.17.Zhu Zihao2022-07-04
| | | | | | * gnu/packages/maths.scm (z3): Update to 4.8.17. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: z3: Use G-expressions.Zhu Zihao2022-07-04
| | | | | | | * gnu/packages/maths.scm (z3)[arguments]: Use G-expressions. [native-inputs]: Use label-less style. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: mcrl2: Update to 202206.0.Jan (janneke) Nieuwenhuizen2022-07-01
| | | | | | | * 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.
* gnu: octave: Update to 7.1.0.Greg Hogan2022-06-30
| | | | | | * gnu/packages/maths.scm (octave): Update to 7.1.0. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
* gnu: hypre: Add missing dependencies on latex fonts.Ontje Lünsdorf2022-06-23
| | | | | | | * gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-COURIER and TEXLIVE-HELVETIC. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* Merge branch 'master' into stagingLudovic Courtès2022-06-08
|\
| * gnu: itpp: Avoid embedding build dates.Vagrant Cascadian2022-06-06
| | | | | | | | | | * gnu/packages/maths.scm (itpp): Add 'set-man-page-date and 'set-force-source-date phases.
| * gnu: ruby-asciimath: Update to 2.0.4.SeerLite2022-06-04
| | | | | | | | | | | | gnu/packages/math.scm (ruby-asciimath): Update to 2.0.4. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* | Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner2022-06-01
|\|
| * gnu: Remove python2-kiwisolver.Maxim Cournoyer2022-05-31
| | | | | | | | * gnu/packages/maths.scm (python2-kiwisolver): Delete variable.
| * gnu: Remove python2-numpy.Maxim Cournoyer2022-05-31
| | | | | | | | | | | | | | | | * 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.
| * gnu: nlopt: Update to 2.7.1.Ricardo Wurmus2022-05-28
| | | | | | | | | | | | | | | | | | * 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.
* | gnu: openblas: Remove input labels.Ludovic Courtès2022-05-15
| | | | | | | | | | * gnu/packages/maths.scm (openblas)[inputs, native-inputs]: Remove labels. [arguments]: In 'set-extralib' phase, use 'search-input-file'.
* | gnu: openblas: Update to 0.3.20Aurora2022-05-15
|/ | | | | | * gnu/packages/maths.scm (openblas): Update to 0.3.20. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add n2p2.Pierre-Antoine Bouttier2022-05-05
| | | | | | * gnu/packages/maths.scm (n2p2): New variable. Co-authored-by: Ludovic Courtès <ludo@gnu.org>
* gnu: dealii: Update to 9.3.3.Paul A. Patience2022-05-03
| | | | | | | | | | * 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>
* gnu: dealii: Add SUNDIALS dependency.Paul A. Patience2022-05-03
| | | | | | | | * 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>
* gnu: dealii-openmpi: Remove input labels.Paul A. Patience2022-05-03
| | | | | | | * gnu/packages/maths.scm (dealii-openmpi)[inputs]: Remove labels. [propagated-inputs]: Same. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: dealii: Remove trailing booleans.Paul A. Patience2022-05-03
| | | | | | | | | * gnu/packages/maths.scm (dealii)[snippet]: Remove trailing boolean (and therefore the 'begin'). [native-inputs, inputs]: Reindent. [arguments]<#:phases>: Remove trailing boolean. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
generated by cgit v1.2.3 (git 2.44.0) at 2024-05-20 20:52:41 +0000