Commit Graph

1256 Commits

Author SHA1 Message Date
Ludovic Courtès
2a4047e540
gnu: 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.
2023-08-11 00:50:47 +02:00
Ludovic Courtès
229faac39b
gnu: 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.
2023-08-11 00:50:47 +02:00
Ludovic Courtès
aae69b7163
gnu: libflame: Tweak synopsis.
* gnu/packages/maths.scm (libflame)[synopsis]: Expand acronym.
2023-08-08 18:01:55 +02:00
Ludovic Courtès
508458de03
gnu: blis: Provide the CBLAS interface.
* gnu/packages/maths.scm (blis)[arguments]: Add #:configure-flags.
2023-08-08 18:01:54 +02:00
Andreas Enge
c47f5587a2
gnu: maths: Remove a duplicate module import.
Reported-by: Andy Tai <atai@atai.org>

* gnu/packages/maths.scm: Remove duplicate line.
2023-08-07 17:26:40 +02:00
Tobias Geerinckx-Rice
ae3a58cf84
gnu: libpoly: Update to 0.1.12.
* gnu/packages/maths.scm (libpoly): Update to 0.1.12.
2023-07-30 02:00:00 +02:00
Tobias Geerinckx-Rice
a27d172ee6
gnu: calc: Update to 2.14.2.1.
* gnu/packages/maths.scm (calc): Update to 2.14.2.1.
2023-07-23 02:00:00 +02:00
Distopico
67cc7b1635
gnu: Add calc.
* gnu/packages/maths.scm (calc): New variable.

Co-authored-by: Andreas Enge <andreas@enge.fr>
2023-07-26 16:31:36 +02:00
Tobias Geerinckx-Rice
24d4e8182d
gnu: vc: Use G-expressions.
* gnu/packages/maths.scm (vc)[arguments]:
Rewrite as G-expressions.
2023-07-16 02:00:01 +02:00
Tobias Geerinckx-Rice
d6cb55b395
gnu: vc: Update to 1.4.3.
* gnu/packages/maths.scm (vc): Update to 1.4.3.
[arguments]: Don't explicitly return #t from phases.
2023-07-16 02:00:01 +02:00
Tobias Geerinckx-Rice
7abf96a2ec
gnu: 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.
2023-07-16 02:00:08 +02:00
Nicolas Goaziou
29cc6b1cd6
gnu: 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.
2023-07-18 18:16:49 +02:00
Nicolas Goaziou
7a18bd9e74
gnu: 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.
2023-07-18 18:16:47 +02:00
Nicolas Goaziou
e8f3b8bdc7
gnu: hypre: Fix error when building documentation.
* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-LATEXMK.
2023-07-18 18:16:42 +02:00
Nicolas Goaziou
eab3b80369
gnu: 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.
2023-07-18 18:11:41 +02:00
Nicolas Goaziou
50e49cf9b4
gnu: 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.
2023-07-18 18:11:00 +02:00
Nicolas Goaziou
3c3bb270da
gnu: 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.
2023-07-18 18:10:59 +02:00
Nicolas Goaziou
c81b4d6002
gnu: 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.
2023-07-18 18:10:55 +02:00
Nicolas Goaziou
daf6f34c1e
gnu: 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.
2023-07-18 18:10:54 +02:00
Nicolas Goaziou
f0a491f717
gnu: 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.
2023-07-18 18:10:53 +02:00
Nicolas Goaziou
bd12824e56
gnu: 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.
2023-07-18 18:10:51 +02:00
Nicolas Goaziou
51a55ec735
gnu: 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.
2023-07-18 18:10:50 +02:00
Nicolas Goaziou
e5e13d03f0
gnu: 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.
2023-07-18 18:10:49 +02:00
Nicolas Goaziou
9550a20361
gnu: 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.
2023-07-18 18:10:46 +02:00
Nicolas Goaziou
9e4adea8ad
gnu: 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.
2023-07-18 18:10:44 +02:00
Nicolas Goaziou
49928a5dc2
gnu: 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.
2023-07-18 18:10:42 +02:00
Nicolas Goaziou
ec56993c84
gnu: 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.
2023-07-18 18:10:41 +02:00
Nicolas Goaziou
c0b3254568
gnu: 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.
2023-07-18 18:10:41 +02:00
Nicolas Goaziou
c9347f438b
gnu: 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.
2023-07-18 18:10:40 +02:00
Nicolas Goaziou
40b0c09d27
gnu: 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.
2023-07-18 18:10:40 +02:00
Nicolas Goaziou
e1e0e08451
gnu: 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.
2023-07-18 18:10:39 +02:00
Nicolas Goaziou
b42e997e85
gnu: 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.
2023-07-18 18:10:38 +02:00
Nicolas Goaziou
4270d94ee3
gnu: 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.
2023-07-18 18:10:37 +02:00
Nicolas Goaziou
3522e1970a
gnu: 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.
2023-07-18 18:10:36 +02:00
Nicolas Goaziou
a9634e2f23
gnu: 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.
2023-07-18 18:10:36 +02:00
Nicolas Goaziou
376059576e
gnu: 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.
2023-07-18 18:10:28 +02:00
Vivien Kraus
1cd3eb66b1
gnu: frama-c: depend on zlib
* gnu/packages/maths.scm (frama-c) [inputs]: Add zlib.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2023-07-17 21:30:08 +02:00
Tobias Geerinckx-Rice
69c3a06a1c
gnu: btor2tools: Use HTTPS home page.
* gnu/packages/maths.scm (btor2tools)[home-page]: Use HTTPS.
2023-07-09 02:00:09 +02:00
Tobias Geerinckx-Rice
86e95b2205
gnu: boolector: Use HTTPS home page.
* gnu/packages/maths.scm (boolector)[home-page]: Use HTTPS.
2023-07-09 02:00:01 +02:00
Tobias Geerinckx-Rice
2be1a6795f
gnu: 4ti2: Update home page.
* gnu/packages/maths.scm (4ti2)[home-page]: Update.
2023-07-09 02:00:11 +02:00
Tobias Geerinckx-Rice
0f766e8439
gnu: armadillo: Update to 12.4.1.
* gnu/packages/maths.scm (armadillo): Update to 12.4.1.
2023-07-09 02:00:10 +02:00
Tobias Geerinckx-Rice
d3fa3e7313
gnu: aiger: Use HTTPS source & home page.
* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
2023-07-09 02:00:01 +02:00
Ludovic Courtès
ff208b4b62
gnu: 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.
2023-07-13 17:59:57 +02:00
Paul A. Patience
7858b74b77
gnu: 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>
2023-07-11 16:58:04 +02:00
Paul A. Patience
7761495ccb
gnu: 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>
2023-07-11 16:15:01 +02:00
Tobias Geerinckx-Rice
f5f9db1514
gnu: bitwise: Update to 0.43.
* gnu/packages/maths.scm (bitwise): Update to 0.43.
2023-07-02 02:01:23 +02:00
Paul A. Patience
d08cb9bf44
gnu: nomad-optimizer: Fix build.
* 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-25 23:46:03 +02:00
Ludovic Courtès
dd587a4fef
gnu: lapack: Build CBLAS.
This adds libcblas.so, which users typically expect to have.

* gnu/packages/maths.scm (lapack)[arguments]: Pass "-DCBLAS=ON".
2023-06-09 14:50:43 +02:00
Andy Tai
5a761ff6ae
gnu: octave-cli: Update to 8.2.0
* gnu/packages/maths.scm (octave-cli): Update to 8.2.0

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-08 23:37:10 +02:00
Ricardo Wurmus
c3f7823670
gnu: Add python-blis-for-thinc.
* gnu/packages/maths.scm (python-blis-for-thinc): New variable.
2023-06-08 10:37:08 +02:00