mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-29 21:58:36 +02:00
openmpi-glicid-pmixv4 now inherits openmpi-glicid
This commit is contained in:
parent
307a418dc7
commit
b79a1530aa
1 changed files with 4 additions and 4 deletions
|
@ -50,10 +50,10 @@
|
||||||
|
|
||||||
|
|
||||||
(define-public openmpi-glicid-pmixv4
|
(define-public openmpi-glicid-pmixv4
|
||||||
(package/inherit openmpi-4-latest
|
(package/inherit openmpi-glicid
|
||||||
(name "openmpi-glicid-pmixv4")
|
(name "openmpi-glicid-pmixv4")
|
||||||
(arguments (substitute-keyword-arguments (package-arguments
|
(arguments (substitute-keyword-arguments (package-arguments
|
||||||
openmpi-4-latest)
|
openmpi-glicid)
|
||||||
((#:configure-flags flags)
|
((#:configure-flags flags)
|
||||||
#~(append #$flags
|
#~(append #$flags
|
||||||
(list ;original flags has --with-pmix=internal, we should remove it but last --with-pmix is the one taken into account.
|
(list ;original flags has --with-pmix=internal, we should remove it but last --with-pmix is the one taken into account.
|
||||||
|
@ -63,10 +63,10 @@
|
||||||
(string-append "--with-prrte="
|
(string-append "--with-prrte="
|
||||||
#$(this-package-input "prrte"))) ;#$flags
|
#$(this-package-input "prrte"))) ;#$flags
|
||||||
))))
|
))))
|
||||||
(inputs (modify-inputs (package-inputs openmpi-4-latest)
|
(inputs (modify-inputs (package-inputs openmpi-glicid)
|
||||||
(append openpmix) ; because we use pmix4 now, openpmi-4 defaults to internal pmix3
|
(append openpmix) ; because we use pmix4 now, openpmi-4 defaults to internal pmix3
|
||||||
(append prrte) ;idem
|
(append prrte) ;idem
|
||||||
(replace "slurm" slurm-glicid)))
|
))
|
||||||
|
|
||||||
))
|
))
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue