summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2023-02-21gnu: python-clingo: Fix invalid G-expression input....* gnu/packages/maths.scm (python-clingo)[arguments]: Add 'imported-modules' and 'modules' in order to access to 'python:site-packages'. [version]: Explicitly reuse from the package 'clingo'. Simon Tournier
2023-02-19gnu: Add python-clorm....* gnu/packages/maths.scm (python-clorm): New variable. Liliana Marie Prikler
2023-02-19gnu: python-clingo: Install distribution information....* gnu/packages/maths.scm (python-clingo)[#:phases]: Add ‘install-distinfo’. Liliana Marie Prikler
2023-02-17gnu: Make nothing depend on QtWebKit....This is required for <https://issues.guix.gnu.org/53289>. * gnu/packages/qt.scm (python-pyqt)[inputs]: Remove qtwebkit. (python-pyqt-without-qtwebkit): Remove variable. (python-pyqtwebengine)[inputs]: Replace python-pyqt-without-qtwebkit with python-pyqt. * gnu/packages/backup.scm (vorta)[inputs]: Likewise. * gnu/packages/ebook.scm (calibre)[inputs]: Likewise. [arguments]: Adjust accordingly. * gnu/packages/education.scm (anki)[inputs]: Replace python-pyqt-without-qtwebkit with python-pyqt. * gnu/packages/kde-games.scm (kajongg)[inputs]: Likewise. * gnu/packages/maths.scm (veusz)[inputs]: Likewise. * gnu/packages/music.scm (frescobaldi)[inputs]: Likewise. (picard)[inputs]: Likewise. * gnu/packages/orange.scm (orange)[inputs]: Likewise. * gnu/packages/pdf.scm (flyer-composer)[inputs]: Likewise. * gnu/packages/python-check.scm (python-pytest-qt)[propagated-inputs]: Likewise. * gnu/packages/python-xyz.scm (python-qtconsole)[propagated-inputs]: Likewise. (python-pyqtgraph)[propagated-inputs]: Likewise. * gnu/packages/radio.scm (gnuradio)[inputs]: Likewise. * gnu/packages/video.scm (openshot)[inputs]: Likewise. * gnu/packages/vpn.scm (openconnect-sso)[inputs]: Likewise. * gnu/packages/web-browsers.scm (qutebrowser)[inputs]: Likewise. Leo Famulari
2023-02-11gnu: Remove opencascade-oce....This package is unmaintained by upstream, has no dependents and was replaced by opencascade-occt. * gnu/packages/maths.scm (opencascade-oce): Remove variable. * gnu/packages/patches/opencascade-oce-glibc-2.26.patch: Remove file. * gnu/local.mk: Unregister it. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Vinicius Monego
2023-02-08gnu: wxmaxima: Update to 22.12.0....* gnu/packages/maths.scm (wxmaxima): Update to 22.12.0. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Andy Tai
2023-01-30gnu: texlive-graphics: Use over deprecated texlive-latex-graphics....* gnu/packages/bioinformatics.scm (phyml)[native-inputs], * gnu/packages/chemistry.scm (yaehmop)[native-inputs], * gnu/packages/graphviz.scm (dot2tex)[propagated-inputs], * gnu/packages/maths.scm (cddlib)[native-inputs], * gnu/packages/statistics.scm (r-with-tests)[native-inputs], * gnu/packages/tex.scm (texlive-apa6)[propagated-inputs]: Replace texlive-latex-graphics with texlive-graphics. Efraim Flashner
2023-01-30Merge remote-tracking branch 'origin/master' into core-updates... Conflicts: doc/guix.texi gnu/local.mk gnu/packages/admin.scm gnu/packages/base.scm gnu/packages/chromium.scm gnu/packages/compression.scm gnu/packages/databases.scm gnu/packages/diffoscope.scm gnu/packages/freedesktop.scm gnu/packages/gnome.scm gnu/packages/gnupg.scm gnu/packages/guile.scm gnu/packages/inkscape.scm gnu/packages/llvm.scm gnu/packages/openldap.scm gnu/packages/pciutils.scm gnu/packages/ruby.scm gnu/packages/samba.scm gnu/packages/sqlite.scm gnu/packages/statistics.scm gnu/packages/syndication.scm gnu/packages/tex.scm gnu/packages/tls.scm gnu/packages/version-control.scm gnu/packages/xml.scm guix/build-system/copy.scm guix/scripts/home.scm Efraim Flashner
2023-01-28gnu: octave: Update to 7.3.0....* gnu/packages/maths.scm (octave): Update to 7.3.0. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Andy Tai
2023-01-27gnu: hypre: Mark as tunable....* gnu/packages/maths.scm (hypre)[properties]: New field. Ludovic Courtès
2023-01-03gnu: veusz: Don't depend on QtWebKit....* gnu/packages/maths.scm (veusz)[inputs]: Change from PYTHON-PYQT to PYTHON-PYQT-WITHOUT-QTWEBKIT. [arguments]: Use SEARCH-INPUT-DIRECTORY instead of label. Marius Bakke
2022-12-23gnu: 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 Scherer
2022-12-15gnu: 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 Prikler
2022-12-15gnu: Add python-clingo....* gnu/packages/maths.scm (python-clingo): New variable. Liliana Marie Prikler
2022-12-15gnu: clingo: Use G-Expressions....* gnu/packages/maths.scm (clingo)[arguments]: Convert to list of G-Expressions. Liliana Marie Prikler
2022-12-15gnu: 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 Prikler
2022-12-08gnu: 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 Flashner
2022-12-08gnu: 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 Flashner
2022-12-08gnu: Add libblastrampoline....* gnu/packages/maths.scm (libblastrampoline): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Akira Kyle
2022-11-27gnu: Add libfixmath....* gnu/packages/maths.scm (libfixmath): New variable. Ricardo Wurmus
2022-11-26gnu: Add cryptominisat....* gnu/packages/maths.scm (cryptominisat): New variable. Co-authored-by: Maximilian Heisinger <mail@maxheisinger.at> Liliana Marie Prikler
2022-11-26gnu: Add louvain-community....* gnu/packages/maths.scm (louvain-community): New variable. Liliana Marie Prikler
2022-11-26gnu: Add lingeling....* gnu/packages/maths.scm (lingeling): New variable. Liliana Marie Prikler
2022-11-26gnu: Add aiger....* gnu/packages/maths.scm (aiger): New variable. Liliana Marie Prikler
2022-11-24gnu: clasp: Update to 3.3.9....* gnu/packages/maths.scm (clasp): Update to 3.3.9. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> jgart
2022-11-22gnu: 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 Hogan
2022-11-22gnu: 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 Hogan
2022-11-22gnu: dune-alugrid: Fix build failure....* gnu/packages/maths.scm (dune-alugrid)[arguments]: Provide the INPUTS key in build-tests phase. Marius Bakke
2022-11-22gnu: 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 Bakke
2022-11-21gnu: 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. Poptsov
2022-11-14gnu: cddlib: Add source file-name....* gnu/packages/maths.scm (cddlib)[source]: Add file-name field. Efraim Flashner
2022-10-24gnu: 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 Cascadian
2022-10-16Merge branch 'staging'Marius Bakke
2022-10-15gnu: 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 Bakke
2022-10-12Merge 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 Flashner
2022-10-02gnu: units: Update to 2.22....* gnu/packages/maths.scm (units): Update to 2.22. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Mike Swanson
2022-09-27Merge branch 'staging' into core-updates...Conflicts resolved in: gnu/local.mk gnu/packages/cran.scm gnu/packages/gnome.scm gnu/packages/gtk.scm gnu/packages/icu4c.scm gnu/packages/java.scm gnu/packages/machine-learning.scm gnu/packages/tex.scm Maxim Cournoyer
2022-09-27Merge branch 'master' into staging....With resolved conflicts in: gnu/local.mk gnu/packages/crates-io.scm Maxim Cournoyer
2022-09-22gnu: 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-09-08gnu: glm: Fix build with GCC 11....* gnu/packages/maths.scm (glm)[arguments]: Add phase set-environment. Marius Bakke
2022-08-27gnu: gsl: Update to 2.7.1....* gnu/packages/maths.scm (gsl): Update to 2.7.1. Marius Bakke
2022-08-27Merge branch 'staging' into core-updatesMarius Bakke
2022-08-27Merge branch 'master' into stagingMarius Bakke
2022-08-15gnu: Add kissat....* gnu/packages/maths.scm (kissat): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Maximilian Heisinger
2022-08-14gnu: itpp: Remove non-deterministic log file....* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase. Vagrant Cascadian
2022-08-11Merge branch 'staging' into core-updatesMarius Bakke
2022-08-11Merge branch 'master' into stagingMarius Bakke
2022-08-08gnu: 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 Hogan
2022-08-10gnu: frama-c: Use lablgtk3....* gnu/packages/maths.scm (frama-c): Build the graphical interface. Julien Lepiller
2022-08-10gnu: 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