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
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
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
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
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
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
69c3a06a1c
gnu: btor2tools: Use HTTPS home page.
...
* gnu/packages/maths.scm (btor2tools)[home-page]: Use HTTPS.
2023-07-09 02:00:09 +02:00
86e95b2205
gnu: boolector: Use HTTPS home page.
...
* gnu/packages/maths.scm (boolector)[home-page]: Use HTTPS.
2023-07-09 02:00:01 +02:00
2be1a6795f
gnu: 4ti2: Update home page.
...
* gnu/packages/maths.scm (4ti2)[home-page]: Update.
2023-07-09 02:00:11 +02:00
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
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
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
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
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
f5f9db1514
gnu: bitwise: Update to 0.43.
...
* gnu/packages/maths.scm (bitwise): Update to 0.43.
2023-07-02 02:01:23 +02:00
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
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
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
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
069618522d
gnu: Add python-blis.
...
* gnu/packages/maths.scm (python-blis): New variable.
2023-06-08 10:37:08 +02:00
28d5ec153c
gnu: blis: Update to 0.9.0.
...
* gnu/packages/maths.scm (blis): Update to 0.9.0.
[arguments]: Use G-expression; remove trailing #T from build phases.
2023-06-08 10:37:08 +02:00
a6e21911bf
gnu: hdf4: Add support for riscv64-linux.
...
* 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-07 09:30:52 +03:00
4abf0af4b1
gnu: openblas: Update make-flags comments and coding style.
...
* 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-01 11:14:03 +03:00
076688fa1e
gnu: openblas: Update architectures we provide substitutes for.
...
* 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-01 11:14:03 +03:00
872e1434f1
gnu: openblas-ilp64: Add powerpc64le-linux as a supported system.
...
* gnu/packages/maths.scm (openblas-ilp64)[supported-systems]: Add
powerpc64le-linux.
2023-06-01 11:14:03 +03:00
a860dcbba9
gnu: armadillo: Remove input labels.
...
* gnu/packages/maths.scm (armadillo)[inputs]: Remove labels.
2023-05-04 17:06:43 +02:00
59640af1c5
gnu: dune-common: Skip tests that fail on aarch64-linux.
...
* 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>
2023-05-04 13:08:59 +02:00
44d7044094
gnu: dune-pdelab: Update to 2.8.0-0.d5dddb6.
...
* gnu/packages/maths.scm (dune-pdelab): Update to 2.8.0-0.d5dddb6.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:58:16 +02:00
e9248625d4
gnu: dune-functions: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-functions): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:58:15 +02:00
23e1a84f0a
gnu: dune-typetree: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-typetree): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:58:10 +02:00
3104c44ee2
gnu: dune-subgrid: Update to 2.9.0-1-e83f3f9.
...
* gnu/packages/maths.scm (dune-subgrid): Update to 2.9.0-1-e83f3f9.
[source]: Update URL of dune-subgrid's Git repository.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:58:07 +02:00
ab7de7df99
gnu: dune-alugrid: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-alugrid): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:58:06 +02:00
d85ffbe381
gnu: dune-localfunctions: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-localfunctions): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:58:01 +02:00
53e4330774
gnu: dune-istl: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-istl): Update to 2.9.0.
[source](patches): Add patch to fix test phase.
* gnu/packages/patches/dune-istl-fix-solver-playground.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:57:58 +02:00
2667b838c8
gnu: dune-grid: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-grid): Update to 2.9.0.
[source](patches): Add patch to fix build.
* gnu/packages/patches/dune-grid-add-missing-include-cassert.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:57:55 +02:00
9d9fd54304
gnu: dune-uggrid: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-uggrid): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:57:54 +02:00
087f2f08a5
gnu: dune-geometry: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-geometry): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:57:52 +02:00
ee9f5cef6e
gnu: dune-common: Update to 2.9.0.
...
* gnu/packages/maths.scm (dune-common): Update to 2.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-05-02 11:57:50 +02:00
a46a6d8222
gnu: hypre: Add missing TeX Live packages.
...
* gnu/packages/maths.scm (hypre)[native-inputs]: Add texlive-alphalph
and texlive-enumitem to the list passed to 'texlive-updmap.cfg'.
2023-05-02 11:50:08 +02:00
4d42fbd371
gnu: sleef: Adjust inputs.
...
* gnu/packages/maths.scm (sleef)[inputs]: Replace openssl with openssl-1.1;
remove mpfr.
[arguments]: Remove custom phase 'make-git-checkout-writable; use G-expression
for configure-flags.
2023-04-27 21:07:15 +02:00
3bacd3c76a
Merge branch 'master' into core-updates.
...
Conflicts:
gnu/local.mk
gnu/packages/build-tools.scm
gnu/packages/certs.scm
gnu/packages/check.scm
gnu/packages/compression.scm
gnu/packages/cups.scm
gnu/packages/fontutils.scm
gnu/packages/gnuzilla.scm
gnu/packages/guile.scm
gnu/packages/ibus.scm
gnu/packages/image-processing.scm
gnu/packages/linux.scm
gnu/packages/music.scm
gnu/packages/nss.scm
gnu/packages/pdf.scm
gnu/packages/python-xyz.scm
gnu/packages/qt.scm
gnu/packages/ruby.scm
gnu/packages/shells.scm
gnu/packages/tex.scm
gnu/packages/video.scm
gnu/packages/vulkan.scm
gnu/packages/web.scm
gnu/packages/webkit.scm
gnu/packages/wm.scm
2023-04-14 17:15:08 -04:00
c4d18b9e65
gnu: Purge pre-1.3.0 deprecated packages.
...
* gnu/packages/bioinformatics.scm (deeptools): Remove variable.
* gnu/packages/efi.scm (efi_analyzer): Ditto.
* gnu/packages/guile.scm (guile-2.2/bug-fix, guile-json): Ditto.
* gnu/packages/image.scm (libjpeg): Ditto.
* gnu/packages/kde.scm (kdevplatform): Ditto
* gnu/packages/linphone.scm (linphoneqt): Ditto.
* gnu/packages/maths.scm (blis-sandybridge, blis-haswell, blis-knl): Ditto.
* gnu/packages/mpi.scm (hwloc-2.0): Ditto.
* gnu/packages/music.scm (python-abjad, zlfo): Ditto.
* gnu/packages/perl.scm (perl-base, perl-parent): Ditto.
* gnu/packages/tryton.scm (python-trytond): Ditto.
* gnu/packages/video.scm (gnome-mpv): Ditto.
* tests/graph.scm: Use guile-json-1.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-04-12 08:29:19 -04:00
3a1a70b447
gnu: Separate potassco packages into their own module.
...
* gnu/packages/potassco.scm: New file.
* gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo)
(python-telingo): Move to potassco module. Adjust imports accordingly.
* gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.
2023-04-12 08:26:24 -04:00
99b25b1313
Merge branch 'master' into staging
2023-03-31 10:48:54 -04:00
3fa69a8d5d
gnu: hdf5-1.8: Delete trailing #t.
...
* gnu/packages/maths.scm (hdf5-1.8) [arguments]: Delete trailing #t.
2023-03-30 23:20:21 -04:00
8af64f3963
gnu: Add hdf5@1.14.
...
* gnu/packages/maths.scm (hdf5-1.14): New variable.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-03-30 23:15:13 -04:00
cca7f2d7ae
gnu: hdf5@1.12: Update to 1.12.2.
...
* gnu/packages/maths.scm (hdf5-1.12): Update to 1.12.2.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-03-30 23:15:13 -04:00
2df9cf44b1
gnu: hdf5@1.10: Update to 1.10.9.
...
* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.9.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-03-30 23:15:13 -04:00
895de955ae
gnu: hdf5@1.8: Update to 1.8.23.
...
* gnu/packages/maths.scm (hdf5-1.8): Update to 1.8.23.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-03-30 23:14:22 -04:00
1984d56b0e
gnu: Add scilab.
...
* gnu/packages/maths.scm (scilab): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-30 23:18:16 +02:00
13b2d110ee
gnu: Add suitesparse-3.
...
* gnu/packages/maths.scm (suitesparse-3): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-30 23:18:16 +02:00
f4d7b901db
gnu: matio: Add header file.
...
* gnu/packages/maths.scm (matio):
[arguments] (phases): Add phase install-matioConfig.h.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-03-30 23:18:16 +02:00
8d5a4fe146
gnu: gnuplot: Update to 5.4.6.
...
* gnu/packages/maths.scm (gnuplot): Update to 5.4.6.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2023-03-27 16:35:48 +01:00
28f046eadc
gnu: octave: Remove input labels.
...
* gnu/packages/maths.scm (octave-cli) [source]: Fix indentation.
[inputs]: Remove labels.
[arguments]: Delete trailing #t.
2023-03-23 23:09:31 -04:00
c494ef1abb
gnu: octave: Update to 8.1.0.
...
* gnu/packages/maths.scm (octave): Update to 8.1.0.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-03-23 23:06:15 -04:00
61e17e2f0d
gnu: Add dozenal.
...
* gnu/packages/maths.scm (dozenal): New variable.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-03-21 20:43:17 -04:00
ccb62d8feb
Merge remote-tracking branch 'origin/master' into core-updates
2023-03-20 18:49:06 +01:00
b7e34dfca4
gnu: Add scasp.
...
* gnu/packages/maths.scm (scasp): New variable.
2023-03-12 08:53:47 +01:00
7df09ee0ab
Merge remote-tracking branch 'savannah/master' into core-updates
...
Conflicts:
gnu/local.mk
gnu/packages/autotools.scm
gnu/packages/cmake.scm
gnu/packages/gnuzilla.scm
gnu/packages/haskell.scm
gnu/packages/pdf.scm
gnu/packages/python-xyz.scm
gnu/packages/samba.scm
gnu/packages/tex.scm
gnu/packages/tls.scm
gnu/packages/wxwidgets.scm
2023-03-02 10:55:08 +00:00
ffbf8ce07a
gnu: Add java-smtinterpol.
...
* gnu/packages/maths.scm (java-smtinterpol): New variable.
2023-03-05 08:17:58 +01:00
a10cc08a0f
gnu: Add boolector.
...
* gnu/packages/patches/boolector-find-googletest: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (boolector): New variable.
2023-03-05 08:17:58 +01:00
1164f100d3
gnu: Add btor2tools.
...
* gnu/packages/maths.scm (btor2tools): New variable.
2023-03-05 08:17:58 +01:00
367979cbff
gnu: Add yices.
...
* gnu/packages/maths.scm (yices): New variable.
2023-03-05 08:17:58 +01:00
771d4f86dd
gnu: Add libpoly.
...
* gnu/packages/maths.scm (libpoly): New variable.
2023-03-05 08:17:58 +01:00
19769f5b6b
gnu: Add cudd.
...
* gnu/packages/maths.scm (cudd): New variable.
2023-03-05 08:17:57 +01:00
1e6ddceb83
gnu: Use HTTPS package home pages wherever possible.
...
* gnu/packages/accessibility.scm (florence)[home-page]: Use HTTPS.
* gnu/packages/admin.scm (netcat, nmon)[home-page]: Likewise.
* gnu/packages/algebra.scm (mpfrcx, cm, flint, fftw, r-dtt)[home-page]:
Likewise.
* gnu/packages/apr.scm (apr, apr-util)[home-page]: Likewise.
* gnu/packages/aspell.scm (aspell-dict-it)[home-page]: Likewise.
* gnu/packages/astronomy.scm (casacore, sextractor, libnova)
(xplanet)[home-page]: Likewise.
* gnu/packages/audio.scm (libtimidity, alsa-modular-synth, azr3, tao)
(freepats, rakarrack, liblo, libshout-idjc, timidity++, libsbsms)
(libmodplug, libxmp, xmp, sox, drc, gsm, gnaural)
(streamripper)[home-page]: Likewise.
* gnu/packages/authentication.scm (pamtester)[home-page]: Likewise.
* gnu/packages/backup.scm (grsync)[home-page]: Likewise.
* gnu/packages/bioconductor.scm (r-nmf, r-edger, r-limma)
(r-plgem)[home-page]: Likewise.
* gnu/packages/bioinformatics.scm (python-biom-format, bowtie, bowtie1)
(bwa, crossmap, java-htsjdk, java-htsjdk-latest, java-picard)
(java-picard-2.10.3, kaiju, proteinortho, rsem, rseqc, seek, samtools)
(snap-aligner, subread, stringtie, r-centipede, prinseq, emboss, phylip)
(libsbml)[home-page]: Likewise.
* gnu/packages/build-tools.scm (tup)[home-page]: Likewise.
* gnu/packages/cdrom.scm (libcddb, cdrdao, cdrtools)
(cd-discid)[home-page]: Likewise.
* gnu/packages/check.scm (cunit, python-nose)
(python-pyhamcrest)[home-page]: Likewise.
* gnu/packages/chemistry.scm (gromacs)[home-page]: Likewise.
* gnu/packages/chez.scm (chez-fmt)[home-page]: Likewise.
* gnu/packages/code.scm (lcov, uncrustify, cscope)[home-page]: Likewise.
* gnu/packages/compression.scm (p7zip)[home-page]: Likewise.
* gnu/packages/cran.scm (r-emdist, r-proj4, r-zoo, r-ggalluvial)
(r-orgmassspecr, r-polychrome, r-partykit, r-rcpp, r-ff, r-emdbook)
(r-fitdistrplus, r-linprog, r-geometry, r-dtw, r-fst, r-rjags)
(r-intergraph, r-qualv, r-labelled, r-survey, r-coin, r-fmsb, r-tm)
(r-corpcor, r-rmpfr, r-spatialextremes, r-longitudinal, r-genenet)
(r-bayesm, r-seqinr, r-mpm, r-text2vec, r-rgdal, r-seewave, r-hdrcde)
(r-shapes, r-anytime, r-stm, r-d3network, r-tam, r-directlabels)
(r-spatstat-utils, r-spatstat-sparse, r-spatstat-data, r-spatstat-geom)
(r-spatstat-core, r-spatstat-linnet, r-spatstat-random, r-spatstat)
(r-rcpptoml, r-mlecens, r-seurat, r-mlearning, r-zooimage)[home-page]:
Likewise.
* gnu/packages/crates-io.scm (rust-nickel-0.11, rust-thrift-0.13)
(rust-trust-dns-https-0.20, rust-trust-dns-native-tls-0.20)
(rust-trust-dns-openssl-0.20, rust-trust-dns-proto-0.20)
(rust-trust-dns-resolver-0.20, rust-trust-dns-rustls-0.20)
(rust-uint-0.9, rust-yaml-rust-0.4)[home-page]: Likewise.
* gnu/packages/crypto.scm (libdecaf, ccrypt)[home-page]: Likewise.
* gnu/packages/curl.scm (curlpp)[home-page]: Likewise.
* gnu/packages/databases.scm (python-pylibmc, unixodbc, wiredtiger)
(libpqxx, mdbtools, virtuoso-ose, libdbi, libdbi-drivers)
(soci)[home-page]: Likewise.
* gnu/packages/debian.scm (apt-mirror)[home-page]: Likewise.
* gnu/packages/debug.scm (remake)[home-page]: Likewise.
* gnu/packages/disk.scm (sdparm, idle3-tools, duc)[home-page]: Likewise.
* gnu/packages/django.scm (python-django-haystack)[home-page]: Likewise.
* gnu/packages/djvu.scm (djvulibre, djview)[home-page]: Likewise.
* gnu/packages/dns.scm (dnsmasq)[home-page]: Likewise.
* gnu/packages/docbook.scm (dblatex, docbook2x)[home-page]: Likewise.
* gnu/packages/documentation.scm (scrollkeeper)[home-page]: Likewise.
* gnu/packages/ebook.scm (liblinebreak)[home-page]: Likewise.
* gnu/packages/electronics.scm (xoscope)[home-page]: Likewise.
* gnu/packages/emacs-xyz.scm (emacs-bbdb, emacs-caps-lock, emacs-djvu)
(emacs-pabbrev, emacs-twittering-mode, emacs-filladapt, emacs-rudel)
(emacs-stream, emacspeak, emacs-cc-mode, emacs-eldoc, emacs-jsonrpc)
(emacs-gtk-look, emacs-xclip, emacs-slime-volleyball, emacs-minimap)
(emacs-auto-dictionary-mode, emacs-persist, emacs-shell-command+)
(emacs-map, emacs-xref, emacs-dictionary)[home-page]: Likewise.
* gnu/packages/embedded.scm (sdcc)[home-page]: Likewise.
* gnu/packages/engineering.scm (asco, libngspice, libspnav)
(openctm)[home-page]: Likewise.
* gnu/packages/erlang.scm (erlang-erlware-commons)[home-page]: Likewise.
* gnu/packages/file-systems.scm (jfsutils, curlftpfs)[home-page]:
Likewise.
* gnu/packages/finance.scm (gbonds)[home-page]: Likewise.
* gnu/packages/flashing-tools.scm (dfu-util, srecord)[home-page]:
Likewise.
* gnu/packages/fltk.scm (ntk)[home-page]: Likewise.
* gnu/packages/fonts.scm (font-terminus, font-tex-gyre)
(font-comic-neue)[home-page]: Likewise.
* gnu/packages/fontutils.scm (ttf2pt1, potrace, libspiro)[home-page]:
Likewise.
* gnu/packages/fpga.scm (icestorm, gtkwave, gtkwave)
(python-myhdl)[home-page]: Likewise.
* gnu/packages/freedesktop.scm (libatasmart)[home-page]: Likewise.
* gnu/packages/ftp.scm (weex)[home-page]: Likewise.
* gnu/packages/game-development.scm (dds, python-tmx, sfxr, quesoglc)
(eureka, plib)[home-page]: Likewise.
* gnu/packages/games.scm (abe, alex4, armagetronad, barony)
(foobillard++, golly, ltris, pipewalker, prboom-plus, trigger-rally)
(cmatrix, pinball, pioneers, tennix, chromium-bsu, freeciv, kiki)
(quakespasm, frotz, frotz-dumb-terminal, frotz-sdl, btanks)
(flare-engine, chessx, barrage, cgoban, passage)[home-page]: Likewise.
* gnu/packages/geo.scm (python-geopandas, saga)[home-page]: Likewise.
* gnu/packages/gl.scm (freeglut, gl2ps)[home-page]: Likewise.
* gnu/packages/gnome.scm (cogl, clutter-gtk, clutter-gst, bluefish)
(workrave)[home-page]: Likewise.
* gnu/packages/gnustep.scm (wmnd, wmfire, wmfire)[home-page]: Likewise.
* gnu/packages/graph.scm (mscgen)[home-page]: Likewise.
* gnu/packages/graphics.scm (assimp, alembic, ctl, agg)
(opencsg)[home-page]: Likewise.
* gnu/packages/graphviz.scm (gts)[home-page]: Likewise.
* gnu/packages/gtk.scm (gtkspell3)[home-page]: Likewise.
* gnu/packages/guile-xyz.scm (guile-irregex)[home-page]: Likewise.
* gnu/packages/haskell-apps.scm (cpphs)[home-page]: Likewise.
* gnu/packages/haskell-check.scm (ghc-hunit)[home-page]: Likewise.
* gnu/packages/haskell-web.scm (ghc-http-client-restricted)
(ghc-blaze-html, ghc-happstack-server, ghc-sourcemap)[home-page]:
Likewise.
* gnu/packages/haskell-xyz.scm (ghc-assoc, ghc-cairo, ghc-cborg)
(ghc-csv, ghc-glob, ghc-gtk2hs-buildtools, ghc-hmatrix-gsl-stats)
(ghc-intervalmap, ghc-lens-family-core, ghc-managed, ghc-mountpoints)
(ghc-network-multicast, ghc-optional-args, ghc-regex, ghc-spoon)
(ghc-transformers, ghc-turtle, ghc-utf8-light, ghc-wizards)
(ghc-template-haskell, ghc-boot-th, ghc-binary-orphans)
(ghc-postgresql-simple)[home-page]: Likewise.
* gnu/packages/hexedit.scm (ht, bvi)[home-page]: Likewise.
* gnu/packages/hunspell.scm (hunspell-dict-hu)[home-page]: Likewise.
* gnu/packages/image-processing.scm (mia)[home-page]: Likewise.
* gnu/packages/image-viewers.scm (geeqie, gpicview, luminance-hdr)
(qiv)[home-page]: Likewise.
* gnu/packages/image.scm (libuemf, devil, steghide, optipng, niftilib)
(sng, mtpaint)[home-page]: Likewise.
* gnu/packages/java-xml.scm (java-simple-xml, java-jaxp)
(java-apache-xml-commons-resolver)[home-page]: Likewise.
* gnu/packages/java.scm (java-cisd-base, java-cisd-args4j)
(java-hamcrest-core, java-jsr305, java-eclipse-osgi)
(java-eclipse-equinox-common, java-eclipse-core-jobs)
(java-eclipse-equinox-registry, java-eclipse-equinox-app)
(java-eclipse-equinox-preferences, java-eclipse-core-contenttype)
(java-eclipse-text, java-treelayout, java-aopalliance, java-jeromq)
(java-cdi-api)[home-page]: Likewise.
* gnu/packages/jemalloc.scm (jemalloc-4.5.0)[home-page]: Likewise.
* gnu/packages/julia-xyz.scm (julia-recipespipeline)[home-page]:
Likewise.
* gnu/packages/kde-internet.scm (kget)[home-page]: Likewise.
* gnu/packages/kde-systemtools.scm (dolphin-plugins)
(konsole)[home-page]: Likewise.
* gnu/packages/kodi.scm (fstrcmp)[home-page]: Likewise.
* gnu/packages/language.scm (hime, libchewing)[home-page]: Likewise.
* gnu/packages/lego.scm (nqc)[home-page]: Likewise.
* gnu/packages/lesstif.scm (lesstif)[home-page]: Likewise.
* gnu/packages/libcanberra.scm (libcanberra)[home-page]: Likewise.
* gnu/packages/libdaemon.scm (libdaemon)[home-page]: Likewise.
* gnu/packages/libffi.scm (libffi)[home-page]: Likewise.
* gnu/packages/libreoffice.scm (libwpd, libwpg, libwps)[home-page]:
Likewise.
* gnu/packages/libusb.scm (libmtp, gmtp)[home-page]: Likewise.
* gnu/packages/linux.scm (e2fsprogs, extundelete, lsscsi, net-tools)
(kbd, sysfsutils, cpuid, libpfm4)[home-page]: Likewise.
* gnu/packages/lisp-check.scm (sbcl-ptester, sbcl-xlunit)[home-page]:
Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-html-encode, sbcl-py-configparser)
(sbcl-cl-utilities, sbcl-series, sbcl-uffi, sbcl-clsql, sbcl-sycamore)
(sbcl-osicat, sbcl-hu.dwim.common, sbcl-caveman, sbcl-trivial-shell)
(sbcl-trivial-benchmark, sbcl-screamer, sbcl-smug)[home-page]: Likewise.
* gnu/packages/lisp.scm (lush2)[home-page]: Likewise.
* gnu/packages/logging.scm (log4cpp)[home-page]: Likewise.
* gnu/packages/lua.scm (lua-ldoc)[home-page]: Likewise.
* gnu/packages/machine-learning.scm (mcl, openfst, rxcpp)[home-page]:
Likewise.
* gnu/packages/mail.scm (muchsync, procmail, sendmail)
(opensmtpd-filter-dkimsign, crm114)[home-page]: Likewise.
* gnu/packages/man.scm (libpipeline, man-db)[home-page]: Likewise.
* gnu/packages/maths.scm (lapack, scalapack, hdf-eos5, itpp, gmsh)
(metamath, p4est, armadillo, suitesparse, atlas, lpsolve, wcalc, why3)
(frama-c)[home-page]: Likewise.
* gnu/packages/mcrypt.scm (mcrypt, libmcrypt, libmhash)[home-page]:
Likewise.
* gnu/packages/minetest.scm (minetest-advtrains)[home-page]: Likewise.
* gnu/packages/monitoring.scm (python-whisper, python-carbon)
(hostscope)[home-page]: Likewise.
* gnu/packages/mp3.scm (id3lib, libmp3splt, mp3splt, mpg321)
(lame)[home-page]: Likewise.
* gnu/packages/multiprecision.scm (mpc)[home-page]: Likewise.
* gnu/packages/music.scm (aria-maestosa, lingot, setbfree, bristol)
(portmidi, python-pyportmidi, zynaddsubfx, yoshimi, aj-snapshot)
(schismtracker, midicsv, midicsv, qmidiarp, qmidiroute, dssi, tap-lv2)
(shiru-lv2)[home-page]: Likewise.
* gnu/packages/ncurses.scm (stfl)[home-page]: Likewise.
* gnu/packages/networking.scm (lksctp-tools, mbuffer, ifstatus, bird)
(tunctl, traceroute)[home-page]: Likewise.
* gnu/packages/node-xyz.scm (node-mersenne)[home-page]: Likewise.
* gnu/packages/ntp.scm (openntpd)[home-page]: Likewise.
* gnu/packages/ocaml.scm (opam, hevea, ocaml-menhir, ocaml-piqilib)
(ocaml-graph, cubicle)[home-page]: Likewise.
* gnu/packages/opencl.scm (python-pyopencl)[home-page]: Likewise.
* gnu/packages/package-management.scm (xstow, modules)[home-page]:
Likewise.
* gnu/packages/parallel.scm (xjobs)[home-page]: Likewise.
* gnu/packages/pdf.scm (podofo, qpdf, xournal, impressive)[home-page]:
Likewise.
* gnu/packages/perl.scm (perl-math-vecstat, perltidy)[home-page]:
Likewise.
* gnu/packages/photo.scm (libpano13, enblend-enfuse, hugin)[home-page]:
Likewise.
* gnu/packages/plan9.scm (drawterm)[home-page]: Likewise.
* gnu/packages/plotutils.scm (guile-charting, ploticus)[home-page]:
Likewise.
* gnu/packages/popt.scm (argtable, popt)[home-page]: Likewise.
* gnu/packages/profiling.scm (otf2)[home-page]: Likewise.
* gnu/packages/pulseaudio.scm (pulseaudio)[home-page]: Likewise.
* gnu/packages/python-check.scm (python-mypy)[home-page]: Likewise.
* gnu/packages/python-web.scm (python-cssutils)
(python-translationstring)[home-page]: Likewise.
* gnu/packages/python-xyz.scm (python-diskcache, python-doxyqml)
(python-docutils, python-pexpect, python-importlib-resources)
(python-simplegeneric, python-urwid, python-xlrd, python-xlwt)
(python-pyasn1, python-pythondialog, python-tftpy, python-random2)
(python-arcp, python-pyopengl, python-sortedcollections)
(python-sortedcontainers, python-yapsy, python-pydispatcher)
(python-posix-ipc)[home-page]: Likewise.
* gnu/packages/qt.scm (qwt, libqglviewer, signond)[home-page]: Likewise.
* gnu/packages/radio.scm (unixcw, gnuais)[home-page]: Likewise.
* gnu/packages/raspberry-pi.scm (bcm2835)[home-page]: Likewise.
* gnu/packages/rdf.scm (clucene, rasqal, redland)[home-page]: Likewise.
* gnu/packages/regex.scm (tre)[home-page]: Likewise.
* gnu/packages/rsync.scm (librsync)[home-page]: Likewise.
* gnu/packages/ruby.scm (ruby-packnga, ruby-nokogiri, ruby-oj, ruby-ox)
(ruby-sinatra, ruby-citrus, ruby-cbor, ruby-roda)[home-page]: Likewise.
* gnu/packages/scheme.scm (scheme48, tinyscheme)[home-page]: Likewise.
* gnu/packages/screen.scm (dtach)[home-page]: Likewise.
* gnu/packages/scsi.scm (sg3-utils)[home-page]: Likewise.
* gnu/packages/sdl.scm (libmikmod, sdl-pango)[home-page]: Likewise.
* gnu/packages/shellutils.scm (hstr, rig)[home-page]: Likewise.
* gnu/packages/simulation.scm (python-dolfin-adjoint)[home-page]:
Likewise.
* gnu/packages/smalltalk.scm (smalltalk)[home-page]: Likewise.
* gnu/packages/speech.scm (espeak)[home-page]: Likewise.
* gnu/packages/stalonetray.scm (stalonetray)[home-page]: Likewise.
* gnu/packages/statistics.scm (jags, r-mass, r-class, r-lattice)
(r-matrix, r-nnet, r-spatial, r-bit, r-bit64, r-digest, r-xtable)
(python-statsmodels, r-ade4, r-latticeextra, r-rcurl, r-xml, r-mvtnorm)
(r-robustbase, r-minqa, r-fdrtool, java-jdistlib, xlispstat)[home-page]:
Likewise.
* gnu/packages/swig.scm (swig)[home-page]: Likewise.
* gnu/packages/task-management.scm (wtime)[home-page]: Likewise.
* gnu/packages/tcl.scm (itcl, tclxml, tclx)[home-page]: Likewise.
* gnu/packages/terminals.scm (libtermkey, mlterm, libvterm)
(libvterm)[home-page]: Likewise.
* gnu/packages/tex.scm (texlive-lm, texlive-lm-math, texlive-cs)
(texlive-csplain, biber, texmaker)[home-page]: Likewise.
* gnu/packages/text-editors.scm (joe)[home-page]: Likewise.
* gnu/packages/textutils.scm (drm-tools, docx2txt)[home-page]: Likewise.
* gnu/packages/tv.scm (tvtime)[home-page]: Likewise.
* gnu/packages/unicode.scm (libunibreak)[home-page]: Likewise.
* gnu/packages/upnp.scm (libupnp)[home-page]: Likewise.
* gnu/packages/version-control.scm (cvs)[home-page]: Likewise.
* gnu/packages/video.scm (transcode, libquicktime, mjpegtools, aalib)
(liba52, libmpeg2, x265, libdv, dvdauthor, aegisub, pitivi, gavl)
(dvdbackup, guvcview, video-contact-sheet)[home-page]: Likewise.
* gnu/packages/virtualization.scm (bochs)[home-page]: Likewise.
* gnu/packages/w3m.scm (w3m)[home-page]: Likewise.
* gnu/packages/web.scm (qjson, libquvi-scripts, libquvi, quvi)
(tidy-html, htmlcxx)[home-page]: Likewise.
* gnu/packages/wm.scm (evilwm, menumaker)[home-page]: Likewise.
* gnu/packages/wv.scm (wv)[home-page]: Likewise.
* gnu/packages/wxwidgets.scm (wxsvg)[home-page]: Likewise.
* gnu/packages/xdisorg.scm (mtdev, xsel)[home-page]: Likewise.
* gnu/packages/xfig.scm (xfig, transfig)[home-page]: Likewise.
* gnu/packages/xml.scm (openjade, python-pyxb, xmlstarlet, xmlrpc-c)
(opensp)[home-page]: Likewise.
* gnu/packages/xorg.scm (xf86-video-qxl)[home-page]: Likewise.
2023-02-19 01:00:01 +01:00
73b5c955ae
gnu: 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'.
2023-02-21 06:27:07 +01:00
eb96e148ca
gnu: Add python-clorm.
...
* gnu/packages/maths.scm (python-clorm): New variable.
2023-02-19 08:16:47 +01:00
8285093cee
gnu: python-clingo: Install distribution information.
...
* gnu/packages/maths.scm (python-clingo)[#:phases]: Add ‘install-distinfo’.
2023-02-19 08:16:47 +01:00
abe7afb17c
gnu: 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.
2023-02-17 14:49:13 -05:00
a7e174a458
gnu: 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>
2023-02-11 00:09:39 +01:00
417269da94
gnu: 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>
2023-02-08 17:09:07 +01:00
bd3e3d87a9
gnu: 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.
2023-01-30 20:07:49 +02:00
4cf1acc7f3
Merge 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
2023-01-30 12:39:40 +02:00
298292e399
gnu: octave: Update to 7.3.0.
...
* gnu/packages/maths.scm (octave): Update to 7.3.0.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2023-01-28 10:10:24 +08:00
f84fdb3d89
gnu: hypre: Mark as tunable.
...
* gnu/packages/maths.scm (hypre)[properties]: New field.
2023-01-27 18:16:55 +01:00
cdf98d19da
gnu: 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.
2023-01-03 15:33:13 +01:00
66188398c4
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>
2022-12-23 11:56:27 +01:00
4f94156452
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.
2022-12-15 16:55:51 +01:00
1339623a42
gnu: Add python-clingo.
...
* gnu/packages/maths.scm (python-clingo): New variable.
2022-12-15 16:55:51 +01:00
25e3e0c6ec
gnu: clingo: Use G-Expressions.
...
* gnu/packages/maths.scm (clingo)[arguments]: Convert to list of G-Expressions.
2022-12-15 16:55:51 +01:00
188269f062
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.
2022-12-15 16:55:51 +01:00
d896a4d2ff
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.
2022-12-08 19:53:38 +02:00
02d5912062
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>
2022-12-08 19:53:16 +02:00
82babf242e
gnu: Add libblastrampoline.
...
* gnu/packages/maths.scm (libblastrampoline): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2022-12-08 19:52:11 +02:00
3423d32838
gnu: Add libfixmath.
...
* gnu/packages/maths.scm (libfixmath): New variable.
2022-11-27 21:02:43 +01:00
2404afea8b
gnu: Add cryptominisat.
...
* gnu/packages/maths.scm (cryptominisat): New variable.
Co-authored-by: Maximilian Heisinger <mail@maxheisinger.at>
2022-11-26 14:03:53 +01:00
d3ce4a2619
gnu: Add louvain-community.
...
* gnu/packages/maths.scm (louvain-community): New variable.
2022-11-26 14:03:53 +01:00
58c24ec748
gnu: Add lingeling.
...
* gnu/packages/maths.scm (lingeling): New variable.
2022-11-26 14:03:53 +01:00
fc061ce297
gnu: Add aiger.
...
* gnu/packages/maths.scm (aiger): New variable.
2022-11-26 14:03:53 +01:00
148c75e75e
gnu: clasp: Update to 3.3.9.
...
* gnu/packages/maths.scm (clasp): Update to 3.3.9.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-11-24 14:08:54 +08:00
ca428f944f
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>
2022-11-22 23:17:06 +01:00
7534d8067f
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>
2022-11-22 23:17:05 +01:00
41ca8f9c20
gnu: dune-alugrid: Fix build failure.
...
* gnu/packages/maths.scm (dune-alugrid)[arguments]: Provide the INPUTS key in
build-tests phase.
2022-11-22 08:37:24 +01:00
3d62d7648a
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.
2022-11-22 08:37:23 +01:00
e9e5e69ce5
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>
2022-11-21 10:24:04 +01:00
a5d64173e0
gnu: cddlib: Add source file-name.
...
* gnu/packages/maths.scm (cddlib)[source]: Add file-name field.
2022-11-14 15:18:33 +02:00
a2e4e3489b
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.
2022-10-24 17:35:19 -07:00
c567a82a69
Merge branch 'staging'
2022-10-16 00:10:07 +02:00
d799c8a5f6
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.
2022-10-15 23:26:59 +02:00
322917aeb8
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
2022-10-12 14:36:44 +03:00
77bcdb7439
gnu: units: Update to 2.22.
...
* gnu/packages/maths.scm (units): Update to 2.22.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2022-10-02 14:36:23 +03:00
990a4822f1
Merge 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
2022-09-27 15:59:30 -04:00
3c6e220d81
Merge branch 'master' into staging.
...
With resolved conflicts in:
gnu/local.mk
gnu/packages/crates-io.scm
2022-09-27 14:27:28 -04:00
b7971ff798
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'.
2022-09-22 07:34:02 +02:00
712ee76530
gnu: glm: Fix build with GCC 11.
...
* gnu/packages/maths.scm (glm)[arguments]: Add phase set-environment.
2022-09-08 21:40:00 +02:00
cbb1cddbfb
gnu: gsl: Update to 2.7.1.
...
* gnu/packages/maths.scm (gsl): Update to 2.7.1.
2022-08-27 17:29:01 +02:00
ad384816fe
Merge branch 'staging' into core-updates
2022-08-27 17:10:55 +02:00
1fd262e8d3
Merge branch 'master' into staging
2022-08-27 00:17:57 +02:00
9ddd37d6ab
gnu: Add kissat.
...
* gnu/packages/maths.scm (kissat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2022-08-15 15:15:11 +02:00
b30614b28c
gnu: itpp: Remove non-deterministic log file.
...
* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase.
2022-08-14 15:14:28 -07:00
77eb3008e3
Merge branch 'staging' into core-updates
2022-08-11 23:36:10 +02:00
b50eaa6764
Merge branch 'master' into staging
2022-08-11 22:15:22 +02:00
8ed15dedbe
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>
2022-08-08 17:26:18 +02:00
8c5af33762
gnu: frama-c: Use lablgtk3.
...
* gnu/packages/maths.scm (frama-c): Build the graphical interface.
2022-08-10 23:32:03 +02:00
b72459a861
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>
2022-08-10 15:16:53 +08:00
0d9eef0a06
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>
2022-08-09 14:17:04 +02:00
04f8e4194f
gnu: wxmaxima: Update to 22.05.0.
...
* gnu/packages/maths.scm (wxmaxima): Update to 22.05.0.
2022-08-09 11:43:39 +02:00
ecdd5d8563
gnu: maxima: Update to 5.46.0.
...
* gnu/packages/maths.scm (maxima): Update to 5.46.0.
2022-08-09 11:22:11 +02:00
12087b1b19
gnu: mumps: Add alternate source code URL.
...
* gnu/packages/maths.scm (mumps)[source]: Add alternate URL.
2022-08-05 15:28:05 +02:00
b70d6ce627
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>
2022-08-05 15:28:04 +02:00
644646beab
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>
2022-08-05 14:26:32 +02:00
86c0bc5d48
gnu: Add itex2mml.
...
* gnu/packages/maths.scm (itex2mml): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-08-04 12:05:50 +02:00
797f3de592
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>
2022-08-02 20:50:01 +03:00
a53bc40036
gnu: gnuplot: Use G-expressions.
...
* gnu/packages/maths.scm (gnuplot)[arguments]: Use G-expressions.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2022-08-02 20:49:56 +03:00
44c7098809
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>
2022-08-02 20:49:50 +03:00
29c51c6525
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.
2022-08-02 19:47:50 +03:00
18d998ffdb
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>
2022-08-01 17:20:27 +02:00
32bcadc98c
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>
2022-08-01 17:20:26 +02:00
a42730183a
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>
2022-08-01 17:20:26 +02:00
6a15bd031f
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>
2022-08-01 17:20:26 +02:00
bbf5e033d4
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>
2022-08-01 17:20:26 +02:00
e0de48f0e4
gnu: hdf5-1.8: Add missing comma to linker flag.
...
* gnu/packages/maths.scm (hdf5-1.8)[arguments]<#:phases>: Add missing
comma to linker flag.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-08-01 14:08:08 +02:00
eef8e2ec46
gnu: qttools: Rename to qttools-5.
...
Automated with:
git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i
git checkout NEWS
2022-07-31 21:55:48 -04:00
1ef04fb228
gnu: qtsvg: Rename variable to qtsvg-5.
...
This is in preparation of the qtsvg update to version 6.
This change was automated via the following command:
git grep -l '\bqtsvg\b' | xargs sed 's/qtsvg/qtsvg-5/g' -i
2022-07-31 21:55:43 -04:00
9044b086dd
Merge branch 'staging' into core-updates
2022-07-22 01:09:14 +02:00
b09e968667
gnu: Avoid use of deprecated texlive packages.
...
* gnu/packages/cran.scm (r-prereg)[propagated-inputs]: Avoid deprecated
texlive package names.
* gnu/packages/python-xyz.scm (python-nbconvert)[native-inputs,
propagated-inputs]: Likewise.
* gnu/packages/sphinx.scm (python-sphinx)[propagated-inputs]: Likewise.
* gnu/packages/maths.scm (hypre)[native-inputs]: Remove redundant and
deprecated 'texlive-latex-titlesec'.
2022-07-17 11:56:45 +02:00
fa21cd31cb
gnu: gmsh: Update to 4.10.5.
...
* gnu/packages/maths.scm (gmsh): Update to 4.10.5.
[source]: Reindent.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-07-15 09:46:16 +01:00
ab636bde18
gnu: gmsh: Remove trailing booleans.
...
* gnu/packages/maths.scm (gmsh)[snippet, arguments]: Remove trailing
booleans.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-07-15 09:46:15 +01:00
d10af3fc97
gnu: gmsh: Remove input labels.
...
* gnu/packages/maths.scm (gmsh)[inputs]: Remove labels.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-07-15 09:46:15 +01:00
734f50c31d
gnu: elpa: Update source URL.
...
Fixes <https://issues.guix.gnu.org/46460 >.
* gnu/packages/maths.scm (elpa): Update source URL.
Reported-by: Danny Milosavljevic <dannym@scratchpost.org>
2022-07-13 01:08:59 -04:00
c0f6287974
gnu: nauty: Update package style.
...
* gnu/packages/maths.scm (nauty)[arguments]: Use G-expressions. Remove
trailing #T.
2022-07-04 15:22:03 +02:00
c3a2d354e3
gnu: nauty: Update to 2.7r4.
...
* gnu/packages/maths.scm (nauty): Update to 2.7r4.
2022-07-04 15:19:11 +02:00
e8e7b4cdae
gnu: Add giza
...
* gnu/packages/maths.scm (giza): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:05 +02:00
0e64835b2e
gnu: z3: Prefer CMake to build the package.
...
Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.
* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.
(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:04 +02:00
cec5142183
gnu: z3: Update to 4.8.17.
...
* gnu/packages/maths.scm (z3): Update to 4.8.17.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:04 +02:00
3366be5db0
gnu: z3: Use G-expressions.
...
* gnu/packages/maths.scm (z3)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-07-04 12:29:04 +02:00
36a0ec9e78
gnu: mcrl2: Update to 202206.0.
...
* gnu/packages/patches/mcrl2-fix-1687.patch,
gnu/packages/patches/mcrl2-fix-counterexample.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
2022-07-01 15:45:37 +02:00
8ee9d25ebc
gnu: OpenBLAS: Use G-expressions.
...
* gnu/packages/maths.scm (openblas, openblas-ilp64)[arguments]: Convert to
gexp's.
2022-06-30 23:26:19 +02:00
4eddce8ce9
gnu: octave: Update to 7.1.0.
...
* gnu/packages/maths.scm (octave): Update to 7.1.0.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2022-06-30 11:23:38 +02:00
Nicolas Goaziou
Vivien Kraus
Tobias Geerinckx-Rice
Ludovic Courtès
Paul A. Patience
Andy Tai
Ricardo Wurmus
Efraim Flashner
Ludovic Courtès
Felix Gruber
Maxim Cournoyer
Bruno Victal
Liliana Marie Prikler
Greg Hogan
Nicolas Graves
Philippe SWARTVAGHER
Jake Leporte
Andreas Enge
Christopher Baines
Simon Tournier
Leo Famulari
Vinicius Monego
Marius Bakke
Roman Scherer
Akira Kyle
jgart
Artyom V. Poptsov
Vagrant Cascadian
Mike Swanson
Julien Lepiller
Maximilian Heisinger
Vagrant Cascadian
Daniel Meißner
vicvbcun
FELŠÖCI Marek
Philip McGrath
Sharlatan Hellseher
Zhu Zihao
Jan (janneke) Nieuwenhuizen