summaryrefslogtreecommitdiff
path: root/.dir-locals.el
diff options
context:
space:
mode:
authorFelix Gruber <felgru@posteo.net>2020-03-10 20:29:05 +0100
committerLudovic Courtès <ludo@gnu.org>2020-03-12 11:52:38 +0100
commita669f6e27b5c078fdd7f4592cd5dc688a979a864 (patch)
treef74c5d497a43f29c26a9bc8e794b993d4d4988e1 /.dir-locals.el
parentf7537e30b892cef09d91902547c00e5fa9b66f3b (diff)
gnu: dune-*: set up MPI for tests
* gnu/packages/maths.scm (dune-common, dune-grid, dune-istl, dune-alugrid): [arguments]: correctly set up MPI instead of disabling tests that require MPI. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions