[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages
From: |
Ludovic Courtès |
Subject: |
[bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages |
Date: |
Fri, 13 Mar 2020 10:42:42 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi Felix,
Felix Gruber <address@hidden> skribis:
> * gnu/packages/maths.scm (dune-*-openmpi): New variables.
> * gnu/packages/maths.scm (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.
Nitpick: no need to repeat the file name above. It would also be great
if you could list all the new variables.
> + (lambda (p) (not (dune-package? p))))))
You can replace the lambda with:
(negate dune-package?)
One last thing: could you look at the output of, say, ‘guix graph
dune-geometry-openmpi’ and ensure we’re not duplicating more nodes than
needed in the graph?
For example, you can compare node counts with:
guix graph dune-geometry | grep 'label =' | wc -l
guix graph dune-geometry-openmpi | grep 'label =' | wc -l
The difference should be less than:
guix graph openmpi | grep 'label =' | wc -l
If that works well, please send an updated patch and we should be ready
to go!
Thanks,
Ludo’.
- [bug#39862] [PATCH v2 2/6] gnu: add dune-uggrid 2.6.0, (continued)
- [bug#39862] [PATCH v2 4/6] gnu: dune-istl: Build with suitesparse, Felix Gruber, 2020/03/10
- [bug#39862] [PATCH v2 5/6] gnu: dune-*: remove openmpi dependency, Felix Gruber, 2020/03/10
- [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 <=
- [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, 2020/03/14