summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2023-08-21gnu: hdf5: Remove 1.12.2....* gnu/packages/maths.scm (hdf5-1.12): Remove variable. Andreas Enge
2023-08-18gnu: scilab: Update to 5.5.2....* gnu/packages/maths.scm (scilab): Update to 5.5.2. Andreas Enge
2023-08-18gnu: scilab: Fix compilation error....Signed-off-by: Andreas Enge <andreas@enge.fr> Nicolas Graves
2023-08-17gnu: libflame: Update to 70c19e7....* gnu/packages/maths.scm (libflame): Update to 70c19e7. [arguments]: Add #:make-flags. Ludovic Courtès
2023-08-17gnu: mcrl2: Update to 202206.1....* gnu/packages/maths.scm (mcrl2): Update to 202206.1. [source]: Remove patches. * gnu/packages/patches/mcrl2-fix-1687.patch, gnu/packages/patches/mcrl2-fix-counterexample.patch: Remove files. * gnu/local.mk (dist_patch_DATA): Remove their references. Janneke Nieuwenhuizen
2023-08-11gnu: libflame: Remove input labels and use gexps....* gnu/packages/maths.scm (libflame)[arguments]: Use gexps and remove trailing #t in phases. [inputs, native-inputs]: Remove labels. Ludovic Courtès
2023-08-11gnu: libflame: Remove dependency on OpenBLAS....This dependency was build-time-only and unused at compile time (the test suite is unaffected). * gnu/packages/maths.scm (libflame)[native-inputs]: Remove OPENBLAS. Ludovic Courtès
2023-08-08gnu: libflame: Tweak synopsis....* gnu/packages/maths.scm (libflame)[synopsis]: Expand acronym. Ludovic Courtès
2023-08-08gnu: blis: Provide the CBLAS interface....* gnu/packages/maths.scm (blis)[arguments]: Add #:configure-flags. Ludovic Courtès
2023-08-07gnu: maths: Remove a duplicate module import....Reported-by: Andy Tai <atai@atai.org> * gnu/packages/maths.scm: Remove duplicate line. Andreas Enge
2023-07-30gnu: libpoly: Update to 0.1.12....* gnu/packages/maths.scm (libpoly): Update to 0.1.12. Tobias Geerinckx-Rice
2023-07-23gnu: calc: Update to 2.14.2.1....* gnu/packages/maths.scm (calc): Update to 2.14.2.1. Tobias Geerinckx-Rice
2023-07-26gnu: Add calc....* gnu/packages/maths.scm (calc): New variable. Co-authored-by: Andreas Enge <andreas@enge.fr> Distopico
2023-07-16gnu: vc: Use G-expressions....* gnu/packages/maths.scm (vc)[arguments]: Rewrite as G-expressions. Tobias Geerinckx-Rice
2023-07-16gnu: vc: Update to 1.4.3....* gnu/packages/maths.scm (vc): Update to 1.4.3. [arguments]: Don't explicitly return #t from phases. Tobias Geerinckx-Rice
2023-07-16gnu: frama-c: Build verbosely....As verbosely as most other packages, that is. * gnu/packages/maths.scm (frama-c)[arguments]: Add "--enable-verbosemake" to #:configure-flags. Tobias Geerinckx-Rice
2023-07-18gnu: Deprecate `texlive-tiny'....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. Nicolas Goaziou
2023-07-18gnu: Rationalize texlive-updmap.cfg and texlive-tiny inputs....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. Nicolas Goaziou
2023-07-18gnu: hypre: Fix error when building documentation....* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-LATEXMK. Nicolas Goaziou
2023-07-18gnu: texlive-jknappen: Deprecate package....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-needspace -> texlive-needspace....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-varwidth -> texlive-varwidth....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-tabulary -> texlive-tabulary....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-parskip -> texlive-parskip....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-multirow -> texlive-multirow....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-float -> texlive-float....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-colortbl -> texlive-colortbl....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-cmap -> texlive-cmap....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-upquote -> texlive-upquote....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-geometry -> texlive-geometry....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-framed -> texlive-framed....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-fncychap -> texlive-fncychap....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-tocloft -> texlive-tocloft....* gnu/packages/tex.scm (texlive-tocloft): New variable. (texlive-latex-tocloft): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name. Nicolas Goaziou
2023-07-18gnu: texlive-latex-stackengine -> texlive-stackengine....* gnu/packages/tex.scm (texlive-stackengine): New variable. (texlive-latex-stackengine): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name. Nicolas Goaziou
2023-07-18gnu: texlive-generic-listofitems -> texlive-listofitems....* gnu/packages/tex.scm (texlive-listofitems): New variable. (texlive-generic-listofitems): Deprecate variable. (texlive-latex-readarray): * gnu/packages/maths.scm (hypre): Use new name. Nicolas Goaziou
2023-07-18gnu: texlive-latex-newunicodechar -> texlive-newunicodechar....* gnu/packages/tex.scm (texlive-newunicodechar): New variable. (texlive-latex-newunicodechar): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name. Nicolas Goaziou
2023-07-18gnu: texlive-latex-natbib -> texlive-natbib....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-hanging -> texlive-hanging....* gnu/packages/tex.scm (texlive-hanging): New variable. (texlive-latex-hanging): Deprecate variable. * gnu/packages/maths.scm (hypre): Use new name. Nicolas Goaziou
2023-07-18gnu: texlive-dvips-l3backend -> texlive-l3backend....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-backend -> texlive-backend....* 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. Nicolas Goaziou
2023-07-18gnu: texlive-latex-etoc -> texlive-etoc....* gnu/packages/tex.scm (texlive-etoc): New variable. (texlive-latex-etoc): Deprecate variable. * gnu/packages/maths.scm (hypre): Apply renaming. Nicolas Goaziou
2023-07-17gnu: frama-c: depend on zlib...* gnu/packages/maths.scm (frama-c) [inputs]: Add zlib. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Vivien Kraus
2023-07-09gnu: btor2tools: Use HTTPS home page....* gnu/packages/maths.scm (btor2tools)[home-page]: Use HTTPS. Tobias Geerinckx-Rice
2023-07-09gnu: boolector: Use HTTPS home page....* gnu/packages/maths.scm (boolector)[home-page]: Use HTTPS. Tobias Geerinckx-Rice
2023-07-09gnu: 4ti2: Update home page....* gnu/packages/maths.scm (4ti2)[home-page]: Update. Tobias Geerinckx-Rice
2023-07-09gnu: armadillo: Update to 12.4.1....* gnu/packages/maths.scm (armadillo): Update to 12.4.1. Tobias Geerinckx-Rice
2023-07-09gnu: aiger: Use HTTPS source & home page....* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS. Tobias Geerinckx-Rice
2023-07-13gnu: arpack-ng: Update to 3.9.0....* 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. Ludovic Courtès
2023-07-11gnu: gnuplot: Update to 5.4.8....* gnu/packages/maths.scm (gnuplot): Update to 5.4.8. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2023-07-11gnu: gmsh: Update to 4.11.1....* gnu/packages/maths.scm (gmsh): Update to 4.11.1. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience