diff options
author | Felix Gruber <felgru@posteo.net> | 2020-03-13 18:30:38 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-14 17:54:34 +0100 |
commit | 6ceb771657bdc3516c6c22f43532ff67d75465f6 (patch) | |
tree | 1168732d87d86030f13c674c0ebd1ff913be04b0 /gnu/services.scm | |
parent | 393dc1cc0bc4677bfa7929db9b83cf94849dcc21 (diff) | |
download | patches-6ceb771657bdc3516c6c22f43532ff67d75465f6.tar patches-6ceb771657bdc3516c6c22f43532ff67d75465f6.tar.gz |
gnu: define dune-*-openmpi packagesbase-for-series-3166
* gnu/packages/maths.scm (dune-common-openmpi, dune-geometry-openmpi,
dune-istl-openmpi, dune-typetree-openmpi, dune-uggrid-openmpi,
dune-grid-openmpi, dune-alugrid-openmpi, dune-subgrid-openmpi,
dune-localfunctions-openmpi, dune-functions-openmpi,
dune-pdelab-openmpi): New variables.
(add-openmpi-to-dune-package): New function to add openmpi to the
inputs of a dune-* package and replace all dune-* packages in its
input with the corresponding dune-*-openmpi package.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/services.scm')
0 files changed, 0 insertions, 0 deletions