futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
102,631 Commits 3 Branches 0 Tags 412 MiB
831e038dff
Commit Graph

1105 Commits

Author SHA1 Message Date
Paul A. Patience
d34f941c33
gnu: dealii-openmpi: Remove input labels. 
* gnu/packages/maths.scm (dealii-openmpi)[inputs]: Remove labels.
[propagated-inputs]: Same.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:28 +02:00
Paul A. Patience
e131f705dd
gnu: dealii: Remove trailing booleans. 
* gnu/packages/maths.scm (dealii)[snippet]: Remove trailing boolean (and
therefore the 'begin').
[native-inputs, inputs]: Reindent.
[arguments]<#:phases>: Remove trailing boolean.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:28 +02:00
Paul A. Patience
e648957b7b
gnu: sundials: Add 5.8.0. 
* gnu/packages/maths.scm (sundials-5, sundials-openmpi-5): New
variables.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:27 +02:00
Paul A. Patience
d1a6a795b3
gnu: sundials: Update to 6.2.0. 
* gnu/packages/maths.scm (sundials): Update to 6.2.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:27 +02:00
Paul A. Patience
4c509a73b7
gnu: sundials-openmpi: Add HYPRE dependency. 
* gnu/packages/maths.scm (sundials-openmpi)[propagated-inputs]: Add
hypre-openmpi.
[arguments]<#:configure-flags>: Add -DENABLE_HYPRE, -DHYPRE_INCLUDE_DIR
and -DHYPRE_LIBRARY_DIR.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:27 +02:00
Paul A. Patience
0d3c2c9543
gnu: sundials: Fix various issues. 
This commit fixes various issues. First, some of SUNDIALS's CMake
variables were renamed at some point between 5.2.0 and 5.7.0, in
particular KLU_ENABLE, which was changed to ENABLE_KLU. Since
sundials-julia is essentially SUNDIALS 5.2.0, its configure flags need
to be different from those of the sundials package. Second, commit
61bcd648ca, which updated SUNDIALS to
6.1.1, accidentally completely disabled PETSc support for
sundials-openmpi (PETSc is supported only with MPI) by removing the
relevant configure flags. Third, SUNDIALS's default index size is
64 bits, but PETSc's is 32 bits, and they need to be the same; this
issue is discussed in the next three paragraphs.

The default index size in SUNDIALS 3.1.1 (which was the sundials
package's version previous to the aforementioned commit) was also
64 bits (though it was configured through the SUNDIALS_INDEX_TYPE CMake
variable, which could take the values INT64_T or INT32_T), but
SUNDIALS's configure script didn't warn of any incompatibility with
PETSc's 32-bit indices. I don't know if this was an accidental omission
from the configure script or if SUNDIALS's index size didn't have to
correspond to PETSc's at the time.

Keeping 64-bit indices in SUNDIALS would require adding a package for
PETSc with 64-bit indices (using the --with-64-bit-indices configure
flag), possibly named petsc64-openmpi (to follow the style of the SCOTCH
packages, i.e., scotch, scotch32, etc., though there the unadorned
package name represents the 64-bit version, unlike the unadorned petsc),
which would in turn require a package for METIS with 64-bit
indices (using IDXTYPEWIDTH=64). However, SUNDIALS is an optional
dependency of deal.II, both of which have PETSc as an optional
dependency, and deal.II's index size (which defaults to 32 bits) must
match PETSc's. In other words, the current deal.II package can build
with SUNDIALS only if SUNDIALS has 32-bit indices.

Furthermore, users needing 64-bit indices in SUNDIALS probably also need
them in PETSc and other libraries. If and when 64-bit indices are deemed
necessary, we can add all the package variations at once (for SUNDIALS,
PETSc, METIS, deal.II and any others).

* gnu/packages/maths.scm (sundials)[source]: Reuse version in URL.
[native-inputs]: Capitalize and punctuate comment.
[inputs]: Remove petsc, now unnecessary gfortran, and obsolete
comment. Move TODO item to sundials-openmpi.
[arguments]<#:configure-flags>: Add -DSUNDIALS_INDEX_SIZE=32 to match
PETSc's 32-bit indices. Remove obsolete -DEXAMPLES_ENABLE_F77,
-DEXAMPLES_ENABLE_F90 and -DFCMIX_ENABLE. Mention new but currently
unusable -DBUILD_FORTRAN_MODULE_INTERFACE and
-DEXAMPLES_ENABLE_F2003. Rename KLU_ENABLE to ENABLE_KLU.
(sundials-openmpi): Use package/inherit.
[inputs]: Move openmpi and petsc-openmpi from here...
[propagated-inputs]: ...to here. Clarify comment.
[arguments]<#:configure-flags>: Add -DENABLE_PETSC and -DPETSC_DIR, the
equivalents of which were accidentally removed in commit
61bcd648ca.
<#:phases>: Replace a tab with spaces.
[synopsis]: Replace OpenMPI with MPI to conform to other package
synopses.
(sundials-julia)[inputs]: Add gfortran.
[arguments]<#:configure-flags>: Set only, and manually, -DCMAKE_C_FLAGS,
-DSUNDIALS_INDEX_SIZE, -DKLU_ENABLE, -DKLU_INCLUDE_DIR,
-DKLU_LIBRARY_DIR and -DLAPACK_ENABLE instead of inheriting from the
sundials package, because some of SUNDIALS's CMake variables have
changed name.
[synopsis]: Capitalize “LAPACK”.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:27 +02:00
Paul A. Patience
a3b6a4df6c
gnu: petsc-openmpi: Fix header inclusions. 
* gnu/packages/maths.scm (petsc-openmpi)[arguments]: Add
'patch-header-inclusions' phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-05-03 18:02:27 +02:00
Paul A. Patience
ee89bbb5ed
gnu: nomad-optimizer: Disable failing test. 
* gnu/packages/maths.scm (nomad-optimizer)[arguments]: Disable the
examples/advanced/library/PSDMads test.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
 2022-04-26 10:45:42 +02:00
Andreas Enge
bfe6d6ea66
gnu: lrslib: Update to 7.2. 
* gnu/packages/maths.scm (lrslib): Update to 7.2.
 2022-04-19 16:09:32 +02:00
Paul A. Patience
d262a258bb
gnu: nomad-optimizer: Fix some tests. 
* gnu/packages/maths.scm (nomad-optimizer)[arguments]<#:phases>
[fix-sources-for-tests]: Enable the pipefail option in the (generated)
script that runs tests. Enable the basic batch example3 test. Fix the
advanced library FixedVariable test (and seemingly the neighbor PSDMads
test). Expand some comments.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-04-19 12:29:44 +02:00
Paul A. Patience
11e761b9a6
gnu: nomad-optimizer: Update to 4.2.0. 
* gnu/packages/maths.scm (nomad-optimizer): Update to 4.2.0.
[arguments]: Accommodate updated build process.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-04-19 12:29:44 +02:00
Paul A. Patience
3a6703268b
gnu: nomad-optimizer: Remove trailing booleans. 
* gnu/packages/maths.scm (nomad-optimizer)[arguments]: Remove trailing
booleans.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-04-19 12:29:44 +02:00
Paul A. Patience
3a9b925f44
gnu: nomad-optimizer: Remove input labels. 
* gnu/packages/maths.scm (nomad-optimizer)[native-inputs]: Remove
labels.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-04-19 12:29:44 +02:00
Paul A. Patience
d483dbe0fa
gnu: gmsh: Update to 4.9.5. 
* gnu/packages/maths.scm (gmsh): Update to 4.9.5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-04-19 12:29:44 +02:00
Paul A. Patience
7488c73dd2
gnu: gnuplot: Update to 5.4.3. 
* gnu/packages/maths.scm (gnuplot): Update to 5.4.3.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-04-19 12:29:43 +02:00
Ludovic Courtès
16372cb347
gnu: sundials: Remove input labels. 
* gnu/packages/maths.scm (sundials)[native-inputs, inputs]: Remove labels.
(sundials-openmpi)[inputs]: Remove labels.
 2022-04-14 14:48:21 +02:00
Ludovic Courtès
61bcd648ca
gnu: sundials: Update to 6.1.1. 
* gnu/packages/maths.scm (sundials): Update to 6.1.1.
[inputs]: Add PETSC.
(sundials-openmpi)[inputs]: Remove PETSC.
[arguments]: Remove now unnecessary flags.  Change "MPI_ENABLE" to "ENABLE_MPI".
 2022-04-14 14:48:21 +02:00
Arun Isaac
973ee1c91d
gnu: gsl: Force bootstrap when cross-compiling to riscv64-linux. 
* gnu/packages/maths.scm (gsl)[arguments]: Force an autotools bootstrap
when cross-compiling to riscv64-linux.
[native-inputs]: Add autoconf, automake and libtool when cross-compiling
to riscv64-linux.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2022-03-31 16:14:52 +03:00
Ludovic Courtès
2da0f2828b
gnu: petsc-openmpi: Remove input labels. 
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Use 'modify-inputs'.
[arguments]: Adjust label name for hdf5.
 2022-03-18 16:03:32 +01:00
Ludovic Courtès
5f83f95210
gnu: petsc-openmpi: Fix compilation with Scotch 7.0. 
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Add SCOTCH:METIS.
[arguments]: Add 'adjust-pt-scotch-library-names' phase.
 2022-03-18 16:03:32 +01:00
Ludovic Courtès
6e09ab9f61
gnu: scotch: Explicitly pass "-DINTSIZE" to CMake. 
Previously, the 'scotch' and 'pt-scotch' packages would use the default
int size, which turned out to be 32 on x86_64-linux instead of 64 as it
used to be in Scotch 6.x.

* gnu/packages/maths.scm (scotch)[arguments]: Add "-DINTSIZE" to #:configure-flags.
(scotch32)[arguments]: Likewise.
(pt-scotch)[arguments]: Likewise.
(pt-scotch32)[arguments]: Likewise.
 2022-03-07 22:49:27 +01:00
Ludovic Courtès
96bc9420cb
gnu: hypre: Remove input labels. 
* gnu/packages/maths.scm (hypre)[native-inputs, inputs]: Remove labels.
(hypre-openmpi)[inputs]: Use 'modify-inputs'.
 2022-03-02 19:26:16 +01:00
Ludovic Courtès
5a04a8a6bc
gnu: texlive-latex-wrapfig: Rename to "texlive-wrapfig". 
* gnu/packages/tex.scm (texlive-latex-wrapfig): Rename to...
(texlive-wrapfig): ... this.
(texlive-latex-wrapfig): Define as deprecated.
* gnu/packages/maths.scm (hypre)[native-inputs]: Use new name.
* gnu/packages/python-xyz.scm (python-ipython-documentation)
(python-numpy-documentation): Likewise.
 2022-03-02 19:26:16 +01:00
Julien Lepiller
8fc4cfd3ce
gnu: why3: Update to 1.4.1. 
* gnu/packages/maths.scm (why3): Update to 1.4.1.
 2022-03-02 09:45:16 +01:00
Marius Bakke
1bd1f42a31
gnu: Remove unneeded uses of 'libiconv'. 
iconv is part of glibc, there is no need to add it as input.

* gnu/packages/accessibility.scm (brltty)[inputs]: Remove LIBICONV.
* gnu/packages/compression.scm (innoextract)[inputs]: Likewise.
* gnu/packages/haskell-apps.scm (darcs)[inputs]: Likewise.
* gnu/packages/kde-multimedia.scm (k3b)[inputs]: Likewise.
* gnu/packages/linphone.scm (liblinphone)[inputs]: Likewise.
* gnu/packages/mail.scm (mailutils)[inputs]: Likewise.
* gnu/packages/maths.scm (libqalculate)[inputs]: Likewise.
* gnu/packages/pep.scm (pep-engine)[inputs]: Likewise.
* gnu/packages/vim.scm (neovim)[inputs]: Likewise.
* gnu/packages/wget.scm (wget2)[inputs]: Likewise.
* gnu/packages/telegram.scm (telegram-desktop)[inputs]: Likewise.
* gnu/packages/video.scm (transcode)[native-inputs]: Likewise.
 2022-02-15 20:44:21 +01:00
Ludovic Courtès
ee92b0fb7d
gnu: mumps: Remove input labels. 
* gnu/packages/maths.scm (mumps)[inputs]: Remove labels.
[arguments]: Adjust 'configure' phase to not rely on the "mpi" and
"blas" labels.
(mumps-metis, mumps-openmpi, mumps-metis-openmpi): Use 'modify-inputs'.
 2022-02-15 17:24:08 +01:00
Ludovic Courtès
d4709d78c3
gnu: scotch: Update to 7.0.1. 
* gnu/packages/maths.scm (scotch): Update to 7.0.1.
[source]: Switch to 'git-fetch'.
[build-system]: Switch to CMAKE-BUILD-SYSTEM.
[arguments]: Add #:configure-flags.  Remove #:make-flags.  Remove
'chdir-to-src', 'configure', and 'build-esmumps' phases.
[properties]: Update 'release-monitoring-url' property.
(scotch32, pt-scotch, pt-scotch32): Update accordingly, replacing now
useless build phases with #:configure-flags.
(scotch-shared, pt-scotch-shared): Mark as deprecated.
(mumps)[arguments]: In 'configure' phase, use '-lesmumps'
unconditionally, since that's now how pt-scotch calls it.
 2022-02-15 17:24:08 +01:00
Petr Hodina
4c1dff9abe
gnu: opencascade-occt: Update to 7.6.0. 
* gnu/packages/maths.scm (opencascade-occt): Update to 7.6.0.
  [native-inputs]: Add fontconfig.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2022-02-11 16:47:45 +01:00
Eric Bavier
10b901a437
gnu: superlu: Update to 5.3.0. 
* gnu/packages/maths.scm (superlu): Update to 5.3.0.
[source]: Adjust to new url.
 2022-02-05 00:24:40 -06:00
Efraim Flashner
264162124f
gnu: openblas: Fix building on riscv64-linux. 
* gnu/packages/maths.scm (openblas)[arguments]: Adjust make-flags on
riscv64-linux to target the correct architecture when building for
riscv64-linux.
 2022-02-01 10:44:53 +02:00
Nicolas Goaziou
c5f1f8b81e
gnu: Properly deprecate texlive-generic-ulem. 
* gnu/packages/python-xyz.scm (python-nbconvert):
* gnu/packages/maths.scm (hypre): Apply deprecation.
* gnu/packages/tex.scm (texlive-generic-ulem): Fix typo in deprecation
command.
 2022-01-28 15:05:01 +01:00
Nicolas Goaziou
2b37ec1c60
gnu: Remove occurrences of deprecated texlive-latex-capt-of. 
* gnu/packages/maths.scm (hypre):
* gnu/packages/python-xyz.scm (python-numpy-documentation):
(python-ipython-documentation): Use texlive-capt-of instead of texlive-latex-capt-of.
 2022-01-28 14:37:49 +01:00
Morgan Smith
d0744d8650
gnu: jacal: Update to 1c7. 
* gnu/packages/patches/jacal-fix-texinfo.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Delete this.
* gnu/packages/maths.scm (jacal)[source]: Delete this patch.
[version]: Update to 1c7.

Signed-off-by: Oleg Pykhalov <go.wigust@gmail.com>
 2022-01-22 12:07:55 +03:00
Felix Gruber
895a2669df
gnu: dune-pdelab: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-pdelab): Update to 2.7.1.
  [version]: Use `git-version` to compute the version string.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:15 +01:00
Felix Gruber
ad0a7a16d9
gnu: dune-functions: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-functions): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:15 +01:00
Felix Gruber
adc65e9691
gnu: dune-typetree: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-typetree): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
fb6e3fdfa7
gnu: dune-subgrid: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-subgrid): Update to 2.7.1.
  [version]: Use `git-version` to compute the version string.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
fff6f00c35
gnu: dune-alugrid: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-alugrid): Update to 2.7.1.
  [version]: Use `git-version` to compute the version string.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
ef07f19b93
gnu: dune-localfunctions: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-localfunctions): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
8159cd08d2
gnu: dune-istl: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-istl): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.
  [source](patches) Remove patch that is no longer needed.
* gnu/packages/patches/dune-istl-2.7-fix-non-mpi-tests.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove above patch.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
67e6b69916
gnu: dune-grid: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-grid): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
15ae25bd25
gnu: dune-uggrid: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-uggrid): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:14 +01:00
Felix Gruber
9e5cdc4a6c
gnu: dune-geometry: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-geometry): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:13 +01:00
Felix Gruber
3bfcc63c31
gnu: dune-common: Update to 2.7.1. 
* gnu/packages/maths.scm (dune-common): Update to 2.7.1.
  [arguments]: Parallelize build-tests phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:13 +01:00
Felix Gruber
6b36def51c
gnu: Modernize add-openmpi-to-dune-package 
* gnu/packages/maths.scm (add-openmpi-to-dune-package): Use
  modify-inputs.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-20 15:28:13 +01:00
Felix Gruber
cc4553c6b3
gnu: Remove python2-cvxopt. 
* gnu/packages/maths.scm (python2-cvxopt): Remove variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2022-01-12 14:12:47 -05:00
Felix Gruber
21bc72ad81
gnu: python-cvxopt: Update to 1.2.7. 
* gnu/packages/maths.scm (python-cvxopt): Update to 1.2.7.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2022-01-12 14:12:47 -05:00
Felix Gruber
cd68fc1e42
gnu: ceres: Update to 2.0.0. 
* gnu/packages/maths.scm (ceres): Update to 2.0.0.
  [inputs]: Use simplified format.
  (ceres-solver-benchmarks)[phases]: Add schur_eliminator_benchmark.
  Replace autodiff_cost_function_benchmark with new autodiff_benchmarks.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2022-01-11 20:35:00 +01:00
Felix Gruber
80f616139c
gnu: dealii: Update to 9.3.2. 
* gnu/packages/maths.scm (dealii): Update to 9.3.2.
  [source]: Add dealii-fix-compiliation-with-boost-1.78.patch and
  dealii-fix-sundials.patch.
  [inputs]: Use simplified format.
  [native-inputs]: Use simplified format.
* gnu/packages/patches/dealii-fix-compiliation-with-boost-1.78.patch:
  New file.
* gnu/packages/patches/dealii-fix-sundials.patch: New file.
* gnu/local.mk: Add new patch files.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2022-01-11 10:43:47 +01:00
Ludovic Courtès
4cd0b37f6b
gnu: gsl: Add 'tunable?' property. 
* gnu/packages/maths.scm (gsl)[properties]: New field.
 2022-01-01 15:36:12 +01:00
Ludovic Courtès
6b70412370
gnu: Add ceres-solver-benchmarks. 
* gnu/packages/maths.scm (ceres-solver-benchmarks): New variable.
 2022-01-01 15:23:53 +01:00
Ludovic Courtès
24667081ad
gnu: ceres-solver: Mark as tunable. 
* gnu/packages/maths.scm (ceres)[properties]: New field.
 2022-01-01 15:23:53 +01:00
Vagrant Cascadian
ae876b9ce1
gnu: Capitalize beginning of synopsis. 
* gnu/packages/admin.scm (hungrycat)[synopsis]: Captalize.
* gnu/packages/cobol.scm (gnucobol)[synopsis]: Likewise.
* gnu/packages/cpp.scm (clipper)[synopsis]: Likewise.
* gnu/packages/crates-graphics.scm (rust-piston-texture-0.8)[synopsis]:
  Likewise.
* gnu/packages/crates-io.scm (rust-alloc-stdlib-0.2, rust-atom-0.3,
  rust-oorandom-11.1, rust-r2d2, rust-scheduled-thread-pool-0.2,
  rust-takeable-option-0.4, rust-ttf-parser-0.12)[synopsis]: Likewise.
* gnu/packages/games.scm (roguebox-adventures)[synopsis]: Likewise.
* gnu/packages/gl.scm (libepoxy)[synopsis]: Likewise.
* gnu/packages/gnome-xyz.scm (arc-theme)[synopsis]: Likewise.
* gnu/packages/haskell-xyz.scm (ghc-cborg-json, ghc-rio)[synopsis]: Likewise.
* gnu/packages/installers.scm (mingw-path)[synopsis]: Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-utilities)[synopsis]: Likewise.
* gnu/packages/maths.scm (coda)[synopsis]: Likewise.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message)[synopsis]: Likewise.
* gnu/packages/perl6.scm (perl6-json)[synopsis]: Likewise.
* gnu/packages/python-xyz.scm (python-markuppy,
  python-febelfin-coda)[synopsis]: Likewise.
* gnu/packages/statistics.scm (r-magrittr)[synopsis]: Likewise.
* gnu/packages/terminals.scm (sakura)[synopsis]: Likewise.
 2021-12-30 21:23:27 -08:00
Vagrant Cascadian
9c3c68dae4
gnu: Remove leading article from synopsis. 
* gnu/packages/admin.scm (hungrycat)[synopsis]: Remove leading article.
* gnu/packages/cobol.scm (gnucobol)[synopsis]: Likewise.
* gnu/packages/cpp.scm (clipper)[synopsis]: Likewise.
* gnu/packages/crates-graphics.scm (rust-piston-texture-0.8)[synopsis]:
  Likewise.
* gnu/packages/crates-io.scm (rust-alloc-stdlib-0.2, rust-atom-0.3,
  rust-oorandom-11.1, rust-r2d2, rust-scheduled-thread-pool-0.2,
  rust-takeable-option-0.4, rust-ttf-parser-0.12,
  rust-svd-parser-0.9)[synopsis]: Likewise.
* gnu/packages/games.scm (roguebox-adventures)[synopsis]: Likewise.
* gnu/packages/gl.scm (libepoxy)[synopsis]: Likewise.
* gnu/packages/gnome-xyz.scm (arc-theme)[synopsis]: Likewise.
* gnu/packages/haskell-xyz.scm (ghc-cborg-json, ghc-rio)[synopsis]: Likewise.
* gnu/packages/installers.scm (mingw-path)[synopsis]: Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-utilities)[synopsis]: Likewise.
* gnu/packages/lisp.scm (gcl, clisp)[synopsis]: Likewise.
* gnu/packages/maths.scm (coda)[synopsis]: Likewise.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message)[synopsis]: Likewise.
* gnu/packages/perl6.scm (perl6-json)[synopsis]: Likewise.
* gnu/packages/python-xyz.scm (python-pari-jupyter, python-markuppy,
  python-febelfin-coda)[synopsis]: Likewise.
* gnu/packages/scheme.scm (mit-scheme)[synopsis]: Likewise.
* gnu/packages/statistics.scm (r-magrittr)[synopsis]: Likewise.
* gnu/packages/terminals.scm (sakura)[synopsis]: Likewise.
 2021-12-30 20:54:47 -08:00
Marius Bakke
a39e64bc22
gnu: Add feedgnuplot. 
* gnu/packages/maths.scm (feedgnuplot): New public variable.
 2021-12-26 00:58:28 +01:00
Julien Lepiller
2317a5e17f
gnu: frama-c: Update to 24.0. 
* gnu/packages/maths.scm (frama-c): Update to 24.0.
 2021-12-22 02:07:21 +01:00
Liliana Marie Prikler
78bfbfb5a7
gnu: cglm: Use meson-build-system. 
The CMake-based builds fail to correctly encode the version, leading to build
failures in dependencies.  See <https://bugs.gnu.org/52663>.

* gnu/packages/maths.scm (cglm)[build-system]: Change to meson-build-system.
[arguments]: Adjust #:configure-flags accordingly.
 2021-12-19 21:46:31 +01:00
Liliana Marie Prikler
42b43c59a5
gnu: cglm: Update to 0.8.4. 
* gnu/packages/maths.scm (cglm): Update to 0.8.4.
 2021-12-19 21:46:30 +01:00
Ludovic Courtès
e3196755e6
gnu: Further simplify package inputs. 
This is the result of running:

  ./pre-inst-env guix style --input-simplification=safe

and manually undoing changes on a dozen of packages to reduce
rebuilds (derivations for emacs, icecat, and libreoffice are unchanged.)
 2021-12-13 22:15:07 +01:00
Ludovic Courtès
8394619bac
gnu: Simplify package inputs. 
This commit was obtained by running:

  ./pre-inst-env guix style

without any additional argument.
 2021-12-13 17:48:25 +01:00
Ludovic Courtès
9155566392
gnu: sundials: Add 'release-monitoring-url' property. 
* gnu/packages/maths.scm (sundials)[properties]: New field.
 2021-12-12 22:16:32 +01:00
Ludovic Courtès
951a4db989
gnu: sundials: Build with '-fcommon'. 
* gnu/packages/maths.scm (sundials)[arguments]: Pass "-DCMAKE_C_FLAGS".
 2021-12-12 22:16:32 +01:00
Efraim Flashner
1da7f9089f
gnu: Add gsl-static. 
* gnu/packages/maths.scm (gsl-static): New variable.
 2021-12-09 23:17:26 +02:00
Ludovic Courtès
95a4965f2d
gnu: python-slepc4py: Update to 3.16.1. 
This is a followup 5b4d1e57b6.

* gnu/packages/maths.scm (slepc-openmpi)[inputs]: Move ARPACK-NG-OPENMPI to...
[propagated-inputs]: ... here.
(python-slepc4py): Update to 3.16.1.
 2021-12-08 23:04:00 +01:00
Ludovic Courtès
fe55ae488b
gnu: python-petsc4py: Update to 3.16.1. 
This is a followup to 07ac13a26a.

* gnu/packages/maths.scm (python-petsc4py): Update to 3.16.1.
 2021-12-08 22:59:44 +01:00
Ludovic Courtès
77c8382bb6
gnu: mumps: Allow compilation with GCC 10. 
Following the suggestion at
<https://community.freefem.org/t/compline-on-macos-10-15-6/543>.

* gnu/packages/maths.scm (mumps)[arguments]: In 'configure' phase, add
'-fallow-argument-mismatch' to 'OPTF'.
 2021-12-08 18:56:53 +01:00
Ricardo Wurmus
9bc0f45df5
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-12-05 19:17:41 +01:00
Ricardo Wurmus
c13046cb68
gnu: clapack: Pass -fcommon to compiler. 
* gnu/packages/maths.scm (clapack)[arguments]: Set CFLAGS.
 2021-12-05 15:04:04 +01:00
Ricardo Wurmus
ae0acf6b6d
gnu: clapack: Remove trailing #T. 
* gnu/packages/maths.scm (clapack)[arguments]: Remove trailing #T from build
phases.
 2021-12-05 15:04:04 +01:00
Marius Bakke
db5646d957
gnu: Adjust for python-build-system behavior change. 
Commit cb72f9a773 changed the semantics of
SITE-PACKAGES, but did not adjust all callers.

* gnu/packages/bioinformatics.scm (python-pyvcf)[arguments]: Adjust for
missing trailing slash.
* gnu/packages/maths.scm (nomad-optimizer)[arguments]: Likewise.
* gnu/packages/patchutils.scm (patchwork)[arguments]: Likewise.
 2021-12-05 14:02:10 +01:00
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