summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAgeFilesLines
* gnu: netcdf: Update to 4.9.0.•••* gnu/packages/maths.scm (netcdf): Update to 4.9.0. [source]: Use new URI. [inputs]: Add libxml2 and unzip. [arguments]: Update 'configure-flags'. Add 'fix-test-rcmerge' phase. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Roman Scherer2022-12-231-13/+21
* gnu: Add python-telingo.•••* gnu/packages/patches/python-telingo-fix-comparison.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/maths.scm (python-telingo): New variable. Liliana Marie Prikler2022-12-151-0/+23
* gnu: Add python-clingo.•••* gnu/packages/maths.scm (python-clingo): New variable. Liliana Marie Prikler2022-12-151-0/+29
* gnu: clingo: Use G-Expressions.•••* gnu/packages/maths.scm (clingo)[arguments]: Convert to list of G-Expressions. Liliana Marie Prikler2022-12-151-37/+38
* gnu: clingo: Update to 5.6.2.•••* gnu/packages/maths.scm (clingo): Update to 5.6.2. [source]: Unbundle clasp and catch. [arguments]<#:configure-flags>: Add “-DCLINGO_USE_LOCAL_CLASP=off” and “-DCLINGO_USE_LOCAL_CATCH=off”. [inputs]: Add catch2-3.1. [native-inputs]: Add pkg-config. Liliana Marie Prikler2022-12-151-11/+12
* gnu: suitesparse: Skip building graphblas on riscv64-linux.•••* gnu/packages/maths.scm (suitesparse)[arguments]: Add a phase when building for riscv64-linux to skip building graphblas. Efraim Flashner2022-12-081-0/+9
* gnu: julia: Update to 1.8.3.•••* gnu/packages/julia.scm (julia): Update to 1.8.3. [source]: Remove one patch. [arguments]: Adjust 'prepare-deps phase to changes in inputs. Remove custom 'use-system-libwhich, 'change-number-of-precompiled-statements, 'symlink-libraries phases. In 'fix-include-and-link-paths phase remove substitution for utf8proc linking and adjust libuv linking. Fix reference to shell in 'replace-default-shell phase. Adjust the 'shared-objects-path phase to changes in the source. Change the 'enable-parallel-tests phase for upstream changes. Adjust the 'adjust-test-suite phase to be more robust. Change the 'disable-broken-tests phase to help the test suite pass. Rename 'symlink-llvm-utf8proc phase to 'symlink-missing-libraries and add two more. Adjust make-flags for changes in shared system libraries. Reorder make-flags to changes in the source. Except for aarch64, use the defaults for choosing to use 64-bit blas. [inputs]: Add libblastrampoline. Replace libgit-1.1 with libgit-1.3, utf8proc-2.7.1 with utf8proc-2.8.0. [native-inputs]: Replace python-2 with python. (libunwind-julia): Update to 1.5.0. [source]: Update patches. * gnu/packages/libevent.scm (libuv-julia): Update to 2.0.0-4.e6f0e49. [arguments]: Also build static library, build position-independent-code. * gnu/packages/llvm.scm (llvm-julia): Update to llvm-13, following upstream's build instructions. * gnu/packages/maths.scm (openlibm): Update to 0.8.1. * gnu/packages/textutils.scm (utf8proc-2.7.1): Update and rename to utf8proc-2.8.0. [native-inputs]: Update unicode to 14.0.0. * gnu/packages/tls.scm (mbedtls-apache): Update to 2.28.0. [source]: Remove snippet. [arguments]: Remove trailing #t from phases. * gnu/packages/patches/julia-allow-parallel-build.patch, (julia-patch): Update version string to 1.8.2. gnu/packages/patches/libunwind-julia-fix-GCC10-fno-common.patch: Remove files. * gnu/local.mk (dist_patch_DATA): Remove them. Co-authored-by: Akira Kyle <akira@akirakyle.com> Efraim Flashner2022-12-081-2/+2
* gnu: Add libblastrampoline.•••* gnu/packages/maths.scm (libblastrampoline): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Akira Kyle2022-12-081-0/+31
* gnu: Add libfixmath.•••* gnu/packages/maths.scm (libfixmath): New variable. Ricardo Wurmus2022-11-271-0/+37
* gnu: Add cryptominisat.•••* gnu/packages/maths.scm (cryptominisat): New variable. Co-authored-by: Maximilian Heisinger <mail@maxheisinger.at> Liliana Marie Prikler2022-11-261-0/+51
* gnu: Add louvain-community.•••* gnu/packages/maths.scm (louvain-community): New variable. Liliana Marie Prikler2022-11-261-0/+31
* gnu: Add lingeling.•••* gnu/packages/maths.scm (lingeling): New variable. Liliana Marie Prikler2022-11-261-0/+82
* gnu: Add aiger.•••* gnu/packages/maths.scm (aiger): New variable. Liliana Marie Prikler2022-11-261-0/+54
* gnu: clasp: Update to 3.3.9.•••* gnu/packages/maths.scm (clasp): Update to 3.3.9. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> jgart2022-11-241-2/+2
* gnu: octave: Update to 7.2.0.•••* gnu/packages/maths.scm (octave): Update to 7.2.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Greg Hogan2022-11-221-2/+2
* gnu: suitesparse: Update to 5.13.0.•••* gnu/packages/maths.scm (suitesparse): Update to 5.13.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Greg Hogan2022-11-221-2/+2
* gnu: dune-alugrid: Fix build failure.•••* gnu/packages/maths.scm (dune-alugrid)[arguments]: Provide the INPUTS key in build-tests phase. Marius Bakke2022-11-221-1/+1
* gnu: arpack-ng: Remove 3.3.0.•••This package fails to build and has no users in Guix. * gnu/packages/maths.scm (arpack-ng-3.3.0): Remove variable. Marius Bakke2022-11-221-14/+0
* gnu: opencascade-occt: Update to 7.6.2.•••* gnu/packages/maths.scm (opencascade-occt): Update to 7.6.2. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Artyom V. Poptsov2022-11-211-2/+2
* gnu: cddlib: Add source file-name.•••* gnu/packages/maths.scm (cddlib)[source]: Add file-name field. Efraim Flashner2022-11-141-1/+2
* gnu: Various typo fixes.•••* gnu/packages/emacs-xyz.scm (emacs-popup-kill-ring)[description]: Fix very sneaky "This packages" variant. Thanks to nckhexen! * gnu/packages/bioinformatics.scm (r-icellnet)[description]: Fix use of "allows to". * gnu/packages/check.scm (python-pytest-freezegun)[description]: Ditto. * gnu/packages/linux.scm (tp-smapi-module)[description]: Ditto. * gnu/packages/mail.scm (procmail): Ditto. * gnu/packages/maths.scm (maxima): Ditto. * gnu/packages/samba.scm (wsdd)[description]: Ditto. * gnu/packages/ssh.scm (openssh): Ditto. Vagrant Cascadian2022-10-241-1/+1
* Merge branch 'staging'Marius Bakke2022-10-161-2/+2
|\
| * Merge remote-tracking branch 'origin/master' into staging•••Conflicts: gnu/packages/gnuzilla.scm gnu/packages/graphics.scm gnu/packages/gstreamer.scm gnu/packages/gtk.scm gnu/packages/kde-frameworks.scm gnu/packages/video.scm Efraim Flashner2022-10-121-2/+2
| |\
| * \ Merge branch 'master' into staging.•••With resolved conflicts in: gnu/local.mk gnu/packages/crates-io.scm Maxim Cournoyer2022-09-271-0/+1
| |\ \
| * \ \ Merge branch 'master' into stagingMarius Bakke2022-08-271-0/+64
| |\ \ \
| * \ \ \ Merge branch 'master' into stagingMarius Bakke2022-08-111-225/+334
| |\ \ \ \
| * | | | | gnu: suitesparse: Update to 5.12.0.•••* gnu/packages/maths.scm (suitesparse): Update to 5.12.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Greg Hogan2022-08-081-2/+2
* | | | | | gnu: fp16: Fix build on i686-linux.•••* gnu/packages/patches/fp16-implicit-double.patch: New file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/maths.scm (fp16)[source](patches): Add it. Marius Bakke2022-10-151-1/+2
| |_|_|_|/ |/| | | |
* | | | | gnu: units: Update to 2.22.•••* gnu/packages/maths.scm (units): Update to 2.22. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Mike Swanson2022-10-021-2/+2
| |_|_|/ |/| | |
* | | | 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 Lepiller2022-09-221-0/+1
| |_|/ |/| |
* | | gnu: Add kissat.•••* gnu/packages/maths.scm (kissat): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Maximilian Heisinger2022-08-151-0/+58
* | | gnu: itpp: Remove non-deterministic log file.•••* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase. Vagrant Cascadian2022-08-141-0/+6
| |/ |/|
* | gnu: frama-c: Use lablgtk3.•••* gnu/packages/maths.scm (frama-c): Build the graphical interface. Julien Lepiller2022-08-101-0/+1
* | 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ßner2022-08-101-1/+5
* | 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> vicvbcun2022-08-091-5/+20
* | gnu: wxmaxima: Update to 22.05.0.•••* gnu/packages/maths.scm (wxmaxima): Update to 22.05.0. Andreas Enge2022-08-091-2/+2
* | gnu: maxima: Update to 5.46.0.•••* gnu/packages/maths.scm (maxima): Update to 5.46.0. Andreas Enge2022-08-091-2/+2
* | gnu: mumps: Add alternate source code URL.•••* gnu/packages/maths.scm (mumps)[source]: Add alternate URL. Ludovic Courtès2022-08-051-2/+5
* | 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 Marek2022-08-051-59/+72
* | 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 Gruber2022-08-051-1/+1
* | gnu: Add itex2mml.•••* gnu/packages/maths.scm (itex2mml): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Philip McGrath2022-08-041-0/+53
* | 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. Patience2022-08-021-2/+2
* | 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. Patience2022-08-021-5/+6
* | 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. Patience2022-08-021-3/+3
* | 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 Flashner2022-08-021-3/+11
* | 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. Patience2022-08-011-79/+83
* | 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. Patience2022-08-011-26/+27
* | 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. Patience2022-08-011-5/+4
* | 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. Patience2022-08-011-28/+32
* | 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. Patience2022-08-011-1/+4