aboutsummaryrefslogtreecommitdiff
path: root/gnu/services.scm
diff options
context:
space:
mode:
authorFelix Gruber <felgru@posteo.net>2020-03-13 18:30:38 +0100
committerLudovic Courtès <ludo@gnu.org>2020-03-14 17:54:34 +0100
commit6ceb771657bdc3516c6c22f43532ff67d75465f6 (patch)
tree1168732d87d86030f13c674c0ebd1ff913be04b0 /gnu/services.scm
parent393dc1cc0bc4677bfa7929db9b83cf94849dcc21 (diff)
downloadpatches-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