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 /.dir-locals.el | |
| parent | 393dc1cc0bc4677bfa7929db9b83cf94849dcc21 (diff) | |
| download | guix-6ceb771657bdc3516c6c22f43532ff67d75465f6.tar.gz | |
gnu: define dune-*-openmpi packages
* 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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions