Archived
1
0
Fork 0
Commit graph

1035 commits

Author SHA1 Message Date
Ludovic Courtès
36f18626a9
gnu: petsc-{complex,openmpi,complex-openmpi}: Use gexps.
This is a followup to 07ac13a26a, which
omitted to switch to gexps in packages that inherit from 'petsc'.

Reported by Mathieu Othacehe <othacehe@gnu.org>.

* gnu/packages/maths.scm (petsc-complex)[arguments]: Use gexps.
(petsc-openmpi)[arguments]: Likewise.
(petsc-complex-openmpi)[arguments]: Likewise.
2021-12-01 23:30:15 +01:00
Ludovic Courtès
725d35aa9a
gnu: scalapack: Update to 2.1.0.
* gnu/packages/maths.scm (scalapack): Update to 2.1.0.
[source]: Remove "scalapack-blacs-mpi-deprecations.patch" and add
"scalapack-gcc-10-compilation.patch".
[arguments]: Add 'skip-faulty-test' phase.
* gnu/packages/patches/scalapack-blacs-mpi-deprecations.patch: Remove.
* gnu/packages/patches/scalapack-gcc-10-compilation.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
2021-12-01 23:30:15 +01:00
Ludovic Courtès
5b4d1e57b6
gnu: slepc: Update to 3.16.1.
* gnu/packages/maths.scm (slepc): Update to 3.16.1.
[native-inputs]: Use PYTHON instead of PYTHON-2.  Add WHICH.
[properties]: New field.
2021-11-29 00:04:03 +01:00
Ludovic Courtès
07ac13a26a
gnu: petsc: Update to 3.16.1.
* gnu/packages/maths.scm (petsc): Update to 3.16.1.
[native-inputs]: Use PYTHON instead of PYTHON-2.  Add WHICH.
[arguments]: Rewrite using gexps.  Pass '--with-openblas-dir'.  In
'configure' phase, modify "config/example_template.py".
2021-11-29 00:04:02 +01:00
Ludovic Courtès
d19aff9339
gnu: ceres-solver: Install library to lib/ instead of lib64/.
* gnu/packages/maths.scm (ceres)[arguments]: In 'set-library-directory'
phase, modify the top-level 'CMakeLists.txt'.
2021-11-26 13:51:00 +01:00
Ludovic Courtès
51637d57fa
gnu: aris: Build with '-O2'.
* gnu/packages/maths.scm (aris)[arguments]: Pass "-O2 -g".
2021-11-25 15:15:20 +01:00
Ricardo Wurmus
06e993d0ee
gnu: opencascade-occt: Use TBB 2020.
* gnu/packages/maths.scm (opencascade-occt)[inputs]: Replace tbb with
tbb-2020.
2021-11-22 08:57:37 +01:00
Ludovic Courtès
3a317f7476
Merge branch 'master' into core-updates-frozen 2021-11-17 23:43:14 +01:00
Jean-Baptiste Volatier
546f8537aa
gnu: Add julia-sundials-jull
* gnu/packages/julia-jll.scm (julia-sundials-jll): New variable.
* gnu/packages/maths.scm (sundials-julia): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:16:44 +02:00
Maxim Cournoyer
661b25a2ed
gnu: openblas: Do not build static library.
* gnu/packages/maths.scm (openblas)[make-flags]: Add NO_STATIC=1.
2021-11-11 12:18:36 -05:00
Maxim Cournoyer
9e497f44ba
gnu: openblas: Add support for older x86 processors.
Fixes <https://issues.guix.gnu.org/51452>.

* gnu/packages/maths.scm (openblas)[make-flags]: Make the x86_64, i686,
powerpc64le and aarch64 architectures share the same flags; this causes the
DYNAMIC_OLDER=1 to be added for all of them and TARGET=GENERIC to be added for
the x86_64 and i686 architectures.
2021-11-11 12:18:36 -05:00
Maxim Cournoyer
bd771edd6c
gnu: openblas: Update to 0.3.18.
* gnu/packages/maths.scm (openblas): Update to 0.3.18.  Delete trailing #t.
2021-11-11 12:18:31 -05:00
Efraim Flashner
bc5155b952
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-10-31 14:49:47 +02:00
Julien Lepiller
a8c69e22ee
gnu: Add ocaml-z3.
* gnu/packages/maths.scm (ocaml-z3): New variable.
2021-10-28 00:25:59 +02:00
Liliana Marie Prikler
505d53a4b4
gnu: Add clingo.
* gnu/packages/maths.scm (clingo): New variable.
2021-10-24 20:25:02 +02:00
Liliana Marie Prikler
2dfc574b13
gnu: Add clasp.
* gnu/packages/maths.scm (clasp): New variable.
2021-10-24 20:25:02 +02:00
Liliana Marie Prikler
92d3f2673e
gnu: Add libpotassco.
* gnu/packages/maths.scm (libpotassco): New variable.
2021-10-24 20:25:01 +02:00
Ludovic Courtès
22e753b9b1
gnu: hdf-java: Look for jars in the right place.
* gnu/packages/maths.scm (hdf-java)[arguments]: Look for slf4j .jar
files in the right place rather than share/java.
2021-10-23 23:19:02 +02:00
Ludovic Courtès
2dffe4767c
gnu: Use 'search-input-file' some more.
This patch replaces occurrences of:

  (string-append (assoc-ref %build-inputs "…") "/…")

by:

  (search-input-file %build-inputs "/…")

* doc/guix.texi (Miscellaneous Services): Use 'search-input-file' in R
Shiny example.
* gnu/packages/admin.scm (screenfetch): Use 'search-input-file'.
(ufetch): Likewise.
(hosts): Likewise.
* gnu/packages/backup.scm (dirvish): Likewise.
* gnu/packages/code.scm (colormake): Likewise.
* gnu/packages/compression.scm (makeself-safeextract): Likewise.
* gnu/packages/debug.scm (scanmem): Likewise.
* gnu/packages/education.scm (snap): Likewise.
(omnitux): Likewise.
* gnu/packages/emacs-xyz.scm (epipe): Likewise.
* gnu/packages/games.scm (openttd-opensfx): Likewise.
(openttd-openmsx): Likewise.
(openrct2-title-sequences):  Likewise.
(openrct2-objects):  Likewise.
(mrrescue):  Likewise.
(0ad-data):  Likewise.
(xonotic-data):  Likewise.
(drascula):  Likewise.
(make-lure-package):  Likewise.
(make-queen-package):  Likewise.
(sky):  Likewise.
* gnu/packages/gnome.scm (network-manager): Likewise.
* gnu/packages/gnuzilla.scm (icedove): Likewise.
* gnu/packages/guile-xyz.scm (guile-shapefile): Likewise.
* gnu/packages/hurd.scm (netdde): Likewise.
* gnu/packages/javascript.scm (js-context-menu): Likewise.
(js-commander): Likewise.
(js-xmldom-sre): Likewise.
* gnu/packages/kde-frameworks.scm (krunner): Likewise.
* gnu/packages/kodi.scm (kodi-cli): Likewise.
* gnu/packages/libreoffice.scm (hunspell-dict-pl): Likewise.
* gnu/packages/linux.scm (e2fsck/static): Likewise.
* gnu/packages/markup.scm (markdown): Likewise.
* gnu/packages/maths.scm (hdf-java): Likewise.
* gnu/packages/multiprecision.scm (libtomcrypt): Likewise.
* gnu/packages/networking.scm (batctl): Likewise.
* gnu/packages/python-xyz.scm (python-pymediainfo): Likewise.
* gnu/packages/shells.scm (fish-foreign-env): Likewise.
* gnu/packages/tex.scm (texlive-fonts-iwona): Likewise.
* gnu/packages/upnp.scm (miniupnpc): Likewise.
* gnu/packages/version-control.scm (git-annex-remote-rclone): Likewise.
* gnu/packages/virtualization.scm (qemu): Likewise.
* gnu/packages/web.scm (icedtea-web): Likewise.
* gnu/packages/wm.scm (stumpish): Likewise.
2021-10-23 23:05:21 +02:00
Tobias Geerinckx-Rice
7c78397593
gnu: hdf5@1.12: Update to 1.12.1.
* gnu/packages/maths.scm (hdf5-1.12): Update to 1.12.1.
2021-10-18 21:00:45 +02:00
Mathieu Othacehe
a1eca979fb
Merge remote-tracking branch 'origin/master' into core-updates-frozen. 2021-10-12 17:46:23 +00:00
Julien Lepiller
6516e88fe3
gnu: frama-c: Update to 23.1.
* gnu/packages/maths.scm (frama-c): Update to 23.1.
2021-10-08 04:34:00 +02:00
Julien Lepiller
26dd2321fe
gnu: why3: Update to 1.4.0.
* gnu/packages/maths.scm (why3): Update to 1.4.0.
2021-10-08 04:33:58 +02:00
Ludovic Courtès
16e3f8d90a
gnu: mcrl2: Update hash of modified-in-place tarball.
Fixes <https://issues.guix.gnu.org/51074>.

* gnu/packages/maths.scm (mcrl2)[source]: Update hash.
2021-10-07 12:52:44 +02:00
Liliana Marie Prikler
95c88e381b
gnu: Add minizinc.
* gnu/packages/maths.scm (minizinc): New variable.
2021-09-25 14:18:02 +02:00
Liliana Marie Prikler
93cef6e768
gnu: Add gecode.
* gnu/packages/maths.scm (gecode): New variable.
2021-09-25 14:18:02 +02:00
Ludovic Courtès
3cdb16cb50
gnu: fp16: Install Python files in the site directory.
* gnu/packages/maths.scm (fp16)[arguments]: New field.
2021-09-24 13:48:49 +02:00
Marius Bakke
5c3cb22c9b
Merge branch 'master' into core-updates-frozen
Conflicts:
	gnu/packages/bioinformatics.scm
	gnu/packages/chez.scm
	gnu/packages/docbook.scm
	gnu/packages/ebook.scm
	gnu/packages/gnome.scm
	gnu/packages/linux.scm
	gnu/packages/networking.scm
	gnu/packages/python-web.scm
	gnu/packages/python-xyz.scm
	gnu/packages/tex.scm
	gnu/packages/version-control.scm
	gnu/packages/xml.scm
	guix/build-system/dune.scm
	guix/build-system/go.scm
	guix/build-system/linux-module.scm
	guix/packages.scm
2021-09-17 01:25:52 +02:00
Guillaume Le Vaillant
bad54e6384
gnu: aris: Fix build.
* gnu/packages/maths.scm (aris)[arguments]: Pass '-fcommon' to CFLAGS.
2021-09-16 10:18:19 +02:00
Ludovic Courtès
921595fa65
gnu: gsl: Comment out more tests that fail on i686-linux.
* gnu/packages/maths.scm (gsl)[arguments]: In 'disable-failing-tests'
phase, comment out more tests.
2021-09-14 15:49:56 +02:00
Nicolas Goaziou
e02984ac4e
gnu: nauty: Update to 2.7r3.
* gnu/packages/maths.scm (nauty): Update to 2.7r3.
2021-09-11 23:15:02 +02:00
Ludovic Courtès
7be2b83102
gnu: netcdf-parallel-openmpi: Allow compilation with GCC 10.
* gnu/packages/maths.scm (netcdf)[source]: Add 'modules' and 'snippet'.
2021-09-11 18:14:07 +02:00
Ludovic Courtès
d9dfbf886d
Merge branch 'master' into core-updates-frozen 2021-09-07 14:19:08 +02:00
Ludovic Courtès
b949f34f31
gnu: Use the non-deprecated TeX packages.
This commit leaves 'dblatex' and 'texlive-hyperref' as users of
deprecated packages, but these have many dependents.

* gnu/packages/bioinformatics.scm (discrover)[native-inputs]: Use
non-deprecated TeX Live packages.
(velvet)[native-inputs]: Likewise.
* gnu/packages/chez.scm (chez-scheme)[native-inputs]: Likewise.
(chez-web)[native-inputs]: Likewise.
* gnu/packages/engineering.scm (fastcap)[native-inputs]: Likewise.
* gnu/packages/guile-xyz.scm (emacsy)[native-inputs]: Likewise.
* gnu/packages/maths.scm (hypre)[native-inputs]: Likewise.
* gnu/packages/music.scm (lilypond)[native-inputs]: Likewise.
* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Likewise.
* gnu/packages/plotutils.scm (asymptote)[native-inputs]: Likewise.
* gnu/packages/python-xyz.scm (python-numpy-documentation)[native-inputs]:
Likewise.
(python-matplotlib-documentation)[native-inputs]: Likewise.
(python-ipython-documentation)[native-inputs]: Likewise.
(python-nbconvert)[native-inputs]: Likewise.
(python-pypandoc)[native-inputs]: Likewise.
* gnu/packages/statistics.scm (r-with-tests)[native-inputs]: Likewise.
* gnu/packages/tex.scm (texlive-pstool)[propagated-inputs]: Likewise.
(teximpatient)[native-inputs]: Likewise.
(texlive-latex-pgf)[propagated-inputs]: Likewise.
(texlive-beamer)[propagated-inputs]: Likewise.
2021-09-06 22:02:15 +02:00
Tobias Geerinckx-Rice
0eea6168c1
gnu: vc: Update to 1.4.2.
* gnu/packages/maths.scm (vc): Update to 1.4.2.
2021-09-04 22:09:01 +02:00
Nicolas Goaziou
1943f17f90
gnu: nauty: Update to 2.7r2.
* gnu/packages/maths.scm (nauty): Update to 2.7r2.
2021-09-04 08:03:55 +02:00
Guillaume Le Vaillant
e1b711b1f5
gnu: maxima: Fix build.
Building with GCL is failing; build with SBCL instead.

* gnu/packages/maths.scm (maxima)[inputs]: Replace gcl by sbcl.
  Add bash-minimal.
  [arguments]: Update 'configure-flags' and 'check' phase.
2021-08-23 10:48:15 +02:00
Guillaume Le Vaillant
d130eaf13e
gnu: netcdf-fortran: Fix compiling with gfortran 10.
* gnu/packages/maths.scm (netcdf-fortran)[arguments]: Add
  'allow-argument-mismatch' flag for gfortran in 'configure-flags'.
2021-08-20 14:10:49 +02:00
Guillaume Le Vaillant
361d4627ab
gnu: netcdf: Fix build.
* gnu/packages/maths.scm (netcdf)[arguments]: Fix regexp in 'patch-settings'
  phase.
2021-08-20 14:10:49 +02:00
Guillaume Le Vaillant
979611d4dd
gnu: hdf4: Fix compiling with gfortran 10.
* gnu/packages/maths.scm (hdf4)[arguments]: Add 'allow-argument-mismatch' flag
  for gfortran in 'configure-flags'. Fix regexp in 'patch-settings' phase.
2021-08-20 14:10:49 +02:00
Marius Bakke
c4133c43c7
Merge branch 'master' into core-updates-frozen
Conflicts:
	gnu/packages/algebra.scm
	gnu/packages/games.scm
	gnu/packages/golang.scm
	gnu/packages/kerberos.scm
	gnu/packages/mail.scm
	gnu/packages/python.scm
	gnu/packages/ruby.scm
	gnu/packages/scheme.scm
	gnu/packages/tex.scm
	gnu/packages/tls.scm
	gnu/packages/version-control.scm
2021-08-12 00:30:27 +02:00
Marius Bakke
d2e102d4e4
Merge branch 'master' into core-updates-frozen 2021-08-01 23:23:32 +02:00
Marius Bakke
b029be2ee0
Merge branch 'master' into core-updates-frozen
Conflicts:
	gnu/packages/bioinformatics.scm
	gnu/packages/cmake.scm
	gnu/packages/curl.scm
	gnu/packages/emacs-xyz.scm
	gnu/packages/gpodder.scm
	gnu/packages/music.scm
	gnu/packages/patches/glibc-bootstrap-system.patch
	gnu/packages/python-xyz.scm
	gnu/packages/shells.scm
	gnu/packages/statistics.scm
2021-07-29 22:34:57 +02:00
Jean-Baptiste Volatier
1978d716a9
gnu: openlibm: Fix cross-compiling.
* gnu/packages/maths.scm (openlibm)[arguments]: Add configure-flag to
use cc-for-target.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Jean-Baptiste Volatier
4709b74bc8
gnu: openlibm: Update to 0.7.4.
* gnu/packages/maths.scm (openlibm): Update to 0.7.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-07-28 16:05:31 +03:00
Ludovic Courtès
1daa662722
gnu: Add FP16.
* gnu/packages/patches/fp16-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (fp16): New variable.
2021-07-29 21:54:55 +02:00
Ludovic Courtès
a9bc8a25eb
gnu: Add FXDiv.
* gnu/packages/maths.scm (fxdiv): New variable.
* gnu/packages/patches/fxdiv-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-07-29 21:54:54 +02:00
Paul A. Patience
06c11434c9
gnu: dealii-openmpi: Add Trilinos dependency.
* gnu/packages/maths.scm (trilinos-for-dealii-openmpi): New variable.
(dealii-openmpi)[propagated-inputs]: Add trilinos-for-dealii-openmpi.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-08-10 17:32:18 +02:00
Paul Garlick
64d4bc089e
gnu: Add optizelle.
* gnu/packages/maths.scm (optizelle): New variable.
2021-08-05 09:29:59 +01:00
Guix Together
d3ede451cf
gnu: Add bitwise.
* gnu/packages/maths.scm (bitwise): New variable.

Co-authored-by: jgart <jgart@dismail.de>
Co-authored-by: Julien Lepiller <julien@lepiller.eu>
Co-authored-by: Ryan Prior <rprior@protonmail.com>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-08-04 10:56:07 +03:00