[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#39862: [PATCH v4 1/2] gnu: dune-*: remove openmpi dependency
From: |
Ludovic Courtès |
Subject: |
bug#39862: [PATCH v4 1/2] gnu: dune-*: remove openmpi dependency |
Date: |
Sat, 14 Mar 2020 17:55:34 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi,
Felix Gruber <address@hidden> skribis:
> * gnu/packages/maths.scm (dune-*)[inputs]: Remove openmpi dependency.
> [arguments]: remove code to setup openmpi for tests.
[...]
> * 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.
Pushed, thanks!
Ludo’.
- [bug#39862] [PATCH v2 6/6] gnu: define dune-*-openmpi packages, (continued)
- [bug#39862] [PATCH v2 6/6] gnu: define dune-*-openmpi packages, Felix Gruber, 2020/03/10
- [bug#39862] [PATCH v2 6/6] gnu: define dune-*-openmpi packages, Ludovic Courtès, 2020/03/12
- [bug#39862] [PATCH v3 0/2] Add dune-*-openmpi packages, Felix Gruber, 2020/03/12
- [bug#39862] [PATCH v3 1/2] gnu: dune-*: remove openmpi dependency, Felix Gruber, 2020/03/12
- [bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages, Felix Gruber, 2020/03/12
- [bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages, Ludovic Courtès, 2020/03/13
- [bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages, Felix Gruber, 2020/03/13
- [bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages, Ludovic Courtès, 2020/03/13
- [bug#39862] [PATCH v4 2/2] gnu: define dune-*-openmpi packages, Felix Gruber, 2020/03/13
- [bug#39862] [PATCH v4 1/2] gnu: dune-*: remove openmpi dependency, Felix Gruber, 2020/03/13
- bug#39862: [PATCH v4 1/2] gnu: dune-*: remove openmpi dependency,
Ludovic Courtès <=