summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Collapse)Author
2023-07-16gnu: vc: Use G-expressions.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (vc)[arguments]: Rewrite as G-expressions.
2023-07-16gnu: vc: Update to 1.4.3.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (vc): Update to 1.4.3. [arguments]: Don't explicitly return #t from phases.
2023-07-16gnu: frama-c: Build verbosely.Tobias Geerinckx-Rice
As verbosely as most other packages, that is. * gnu/packages/maths.scm (frama-c)[arguments]: Add "--enable-verbosemake" to #:configure-flags.
2023-07-18gnu: Deprecate `texlive-tiny'.Nicolas Goaziou
At this point, there are three equivalent TeX Live sub-systems: texlive-scheme-basic, texlive-tiny, and (texlive-updmap.cfg). It is confusing to keep so many around. * doc/contributing.texi (Submitting Patches): Remove reference to TEXLIVE-TINY. * gnu/packages/algebra.scm (pari-gp)[native-inputs]: (giac)[native-inputs]: * gnu/packages/chez.scm (chez-sockets)[native-inputs]: * gnu/packages/engineering.scm (fastcap)[native-inputs]: * gnu/packages/gettext.scm (po4a)[native-inputs]: * gnu/packages/maths.scm (cddlib)[native-inputs]: (gnuplot)[native-inputs]: (itpp)[native-inputs]: * gnu/packages/ocaml.scm (unison)[native-inputs]: * gnu/packages/pdf.scm (extractpdfmark)[native-inputs]: * gnu/packages/photo.scm (enblend-enfuse): Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG. * gnu/packages/radio.scm (gnuradio)[native-inputs]: Remove unnecessary TEXLIVE-TINY. * gnu/packages/tex.scm (texlive-tiny): Deprecate it in favor of TEXLIVE-SCHEME-BASIC. (texlive-makecmds)[native-inputs]: Replace TEXLIVE-TINY with a call to TEXLIVE-UPDMAP.CFG. * guix/lint.scm (check-inputs-should-be-native): Check only for "texlive-updmap.cfg" input name.
2023-07-18gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs.Nicolas Goaziou
TEXLIVE-UPDMAP.CFG and TEXLIVE-TINY should only be used as native inputs. Also remove texlive packages already provided by them. * doc/build.scm (pdf-manual): * gnu/packages/algebra.scm (pari-gp): * gnu/packages/bioinformatics.scm (discrover): (phyml): (velvet): * gnu/packages/chemistry.scm (yaehmop): * gnu/packages/chez.scm (stex-bootstrap): (chez-web): (chez-sockets): * gnu/packages/cran.scm (r-prereg): * gnu/packages/docbook.scm (dblatex): * gnu/packages/emacs-xyz.scm (emacs-auctex): * gnu/packages/engineering.scm (fastcap): * gnu/packages/fsf.scm (book-faif): * gnu/packages/graphviz.scm (dot2tex): * gnu/packages/maths.scm (hypre): * gnu/packages/ocaml.scm (unison): (ocaml-bibtex2html): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): (python-pypandoc): * gnu/packages/radio.scm (gnuradio): (libosmo-dsp): * gnu/packages/statistics.scm (r-with-tests): * gnu/packages/tex.scm (texlive-makecmds): (texlive-innerscript): (teximpatient): (texlive-xkeyval): Remove texlive packages already provided by TEXLIVE-UPDMAP.CFG. Don't add TEXLIVE-TINY or TEXLIVE-UPDMAP.CFG as inputs.
2023-07-18gnu: hypre: Fix error when building documentation.Nicolas Goaziou
* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-LATEXMK.
2023-07-18gnu: texlive-jknappen: Deprecate package.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-jknappen): Deprecate variable. (texlive-paralist): (texlive-jadetex): (texlive-xindy): * gnu/packages/maths.scm (hypre): * gnu/packages/python-xyz.scm (python-nbconvert): Use TEXLIVE-JKNAPLTX instead.
2023-07-18gnu: texlive-latex-needspace -> texlive-needspace.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-needspace): New variable. (texlive-latex-needspace): Deprecate variable. * gnu/packages/maths.scm (hypre)[native-inputs]: * gnu/packages/sphinx.scm (python-sphinx)[propagated-inputs]: Use new name.
2023-07-18gnu: texlive-latex-varwidth -> texlive-varwidth.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-varwidth): New variable. (texlive-latex-varwidth): Deprecate variable. (texlive-adjustbox): Use new name. * gnu/packages/maths.scm (hypre)[native-inputs]: Use new name. Re-order alphabetically. * gnu/packages/sphinx.scm (python-sphinx)[propagated-inputs]: Use new name. Re-order alphabetically.
2023-07-18gnu: texlive-latex-tabulary -> texlive-tabulary.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-tabulary): New variable. (texlive-latex-tabulary): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-parskip -> texlive-parskip.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-parskip): New variable. (texlive-latex-parskip): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-multirow -> texlive-multirow.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-multirow): New variable. (texlive-latex-multirow): Deprecate variable. (texlive-metalogo): * gnu/packages/docbook.scm (dblatex): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-float -> texlive-float.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-float): New variable. (texlive-latex-float): Deprecate variable. (texlive-showexpl): (texlive-minted): (texlive-apa6): * gnu/packages/docbook.scm (dblatex): * gnu/packages/maths.scm (hypre): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-colortbl -> texlive-colortbl.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-colortbl): New variable. (texlive-latex-colortbl): Deprecate variable. (texlive-jadetex): * gnu/packages/docbook.scm (dblatex): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-cmap -> texlive-cmap.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-cmap): New variable. (texlive-latex-cmap): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-upquote -> texlive-upquote.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-upquote): New variable. (texlive-latex-upquote): Deprecate variable. * gnu/packages/cran.scm (r-prereg): * gnu/packages/maths.scm (hypre): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): * gnu/packages/statistics.scm (r-with-tests): Use new name.
2023-07-18gnu: texlive-latex-geometry -> texlive-geometry.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-geometry): New variable. (texlive-latex-geometry): Deprecate variable. (texlive-xindy): * gnu/packages/chemistry.scm (yaehmop): * gnu/packages/cran.scm (r-prereg): * gnu/packages/graphviz.scm (dot2tex): * gnu/packages/maths.scm (hypre): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/python-xyz.scm (python-nbconvert): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-framed -> texlive-framed.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-framed): New variable. (texlive-latex-framed): Deprecate variable. (texlive-minted): * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-fncychap -> texlive-fncychap.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-fncychap): New variable. (texlive-latex-fncychap): Deprecate variable. * gnu/packages/maths.scm (hypre): * gnu/packages/sphinx.scm (python-sphinx): Use new name.
2023-07-18gnu: texlive-latex-tocloft -> texlive-tocloft.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-tocloft): New variable. (texlive-latex-tocloft): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-stackengine -> texlive-stackengine.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-stackengine): New variable. (texlive-latex-stackengine): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-generic-listofitems -> texlive-listofitems.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-listofitems): New variable. (texlive-generic-listofitems): Deprecate variable. (texlive-latex-readarray): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-newunicodechar -> texlive-newunicodechar.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-newunicodechar): New variable. (texlive-latex-newunicodechar): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-natbib -> texlive-natbib.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-natbib): New variable. (texlive-latex-natbib): Deprecate variable. (texlive-apacite): * gnu/packages/bioinformatics.scm (discrover): * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-latex-hanging -> texlive-hanging.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-hanging): New variable. (texlive-latex-hanging): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name.
2023-07-18gnu: texlive-dvips-l3backend -> texlive-l3backend.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-dvips-l3backend): Deprecate package. * gnu/packages/chez.scm (stex-bootstrap): * gnu/packages/maths.scm (cddlib): * gnu/packages/ocaml.scm (unison): * gnu/packages/plotutils.scm (asymptote): Use new name.
2023-07-18gnu: texlive-latex-backend -> texlive-backend.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-l3backend): New variable. (texlive-latex-l3backend): Deprecate package. (texlive-latex-base): (texlive-xetex): * gnu/packages/maths.scm (cddlib): Apply renaming.
2023-07-18gnu: texlive-latex-etoc -> texlive-etoc.Nicolas Goaziou
* gnu/packages/tex.scm (texlive-etoc): New variable. (texlive-latex-etoc): Deprecate variable. * gnu/packages/maths.scm (hypre): Apply renaming.
2023-07-17gnu: frama-c: depend on zlibVivien Kraus
* gnu/packages/maths.scm (frama-c) [inputs]: Add zlib. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2023-07-09gnu: btor2tools: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (btor2tools)[home-page]: Use HTTPS.
2023-07-09gnu: boolector: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (boolector)[home-page]: Use HTTPS.
2023-07-09gnu: 4ti2: Update home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (4ti2)[home-page]: Update.
2023-07-09gnu: armadillo: Update to 12.4.1.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (armadillo): Update to 12.4.1.
2023-07-09gnu: aiger: Use HTTPS source & home page.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
2023-07-13gnu: arpack-ng: Update to 3.9.0.Ludovic Courtès
* gnu/packages/maths.scm (arpack-ng): Update to 3.9.0. [source]: Add 'patches'. [build-system]: Switch to CMAKE-BUILD-SYSTEM. [native-inputs]: Remove AUTOCONF, AUTOMAKE, and LIBTOOL. (arpack-ng-openmpi)[inputs]: Use 'modify-inputs'. [arguments]: Use gexps. * gnu/packages/patches/arpack-ng-propagate-rng-state.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
2023-07-11gnu: gnuplot: Update to 5.4.8.Paul A. Patience
* gnu/packages/maths.scm (gnuplot): Update to 5.4.8. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-07-11gnu: gmsh: Update to 4.11.1.Paul A. Patience
* gnu/packages/maths.scm (gmsh): Update to 4.11.1. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-07-02gnu: bitwise: Update to 0.43.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (bitwise): Update to 0.43.
2023-06-25gnu: nomad-optimizer: Fix build.Paul A. Patience
* gnu/packages/maths.scm (nomad-optimizer) [arguments]<#:phases>: Remove 'delete-superfluous-egg-info' phase. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-09gnu: lapack: Build CBLAS.Ludovic Courtès
This adds libcblas.so, which users typically expect to have. * gnu/packages/maths.scm (lapack)[arguments]: Pass "-DCBLAS=ON".
2023-06-08gnu: octave-cli: Update to 8.2.0Andy Tai
* gnu/packages/maths.scm (octave-cli): Update to 8.2.0 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-08gnu: Add python-blis-for-thinc.Ricardo Wurmus
* gnu/packages/maths.scm (python-blis-for-thinc): New variable.
2023-06-08gnu: Add python-blis.Ricardo Wurmus
* gnu/packages/maths.scm (python-blis): New variable.
2023-06-08gnu: blis: Update to 0.9.0.Ricardo Wurmus
* gnu/packages/maths.scm (blis): Update to 0.9.0. [arguments]: Use G-expression; remove trailing #T from build phases.
2023-06-07gnu: hdf4: Add support for riscv64-linux.Efraim Flashner
* gnu/packages/maths.scm (hdf4)[arguments]: Rename custom phase 'add-more-aarch64-support to 'add-more-architecture-support and add support for riscv64-linux. * gnu/packages/patches/hdf4-architectures.patch: Refresh from upstream.
2023-06-01gnu: openblas: Update make-flags comments and coding style.Efraim Flashner
* gnu/packages/maths.scm (openblas)[arguments]: In the make-flags use the target-* macros. Adjust the wording describing why the different architectures have the flags they do.
2023-06-01gnu: openblas: Update architectures we provide substitutes for.Efraim Flashner
* gnu/packages/maths.scm (openblas)[arguments]: Adjust the substitutable? flag to only not provide substitutes when building for powerpc-linux. Adjust the comment accordingly.
2023-06-01gnu: openblas-ilp64: Add powerpc64le-linux as a supported system.Efraim Flashner
* gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Add powerpc64le-linux.
2023-05-04gnu: armadillo: Remove input labels.Ludovic Courtès
* gnu/packages/maths.scm (armadillo)[inputs]: Remove labels.
2023-05-04gnu: dune-common: Skip tests that fail on aarch64-linux.Felix Gruber
* gnu/packages/patches/dune-common-skip-failing-tests.patch: New file. * gnu/packages/maths.scm (dune-common)[source]: Add it * gnu/local.mk (dist_patch_DATA): Register it. Co-authored-by: Ludovic Courtès <ludo@gnu.org>