mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 06:08:37 +02:00
gcc10 and gcc11 variants
This commit is contained in:
parent
04546c7b40
commit
020ab39125
1 changed files with 17 additions and 7 deletions
|
@ -114,17 +114,20 @@
|
|||
|
||||
(use-modules (guix transformations))
|
||||
|
||||
;(define transform-to-gcc11
|
||||
; ;; The package transformation procedure.
|
||||
; (options->transformation
|
||||
; '(
|
||||
; (with-c-toolchain . "gcc-toolchain@11"))))
|
||||
|
||||
(define gcc11-instead-of-gcc
|
||||
;; This is a procedure to replace GCC by GCC11,
|
||||
;; recursively.
|
||||
(package-input-rewriting `((,gcc-toolchain . ,gcc-toolchain-11))))
|
||||
|
||||
(define gcc10-instead-of-gcc
|
||||
;; This is a procedure to replace GCC by GCC10,
|
||||
;; recursively.
|
||||
(package-input-rewriting `((,gcc-toolchain . ,gcc-toolchain-10))))
|
||||
|
||||
|
||||
(define openmpi-glicid-transform-gcc-10
|
||||
(gcc10-instead-of-gcc openmpi-glicid))
|
||||
|
||||
(define openmpi-glicid-transform-gcc-11
|
||||
(gcc11-instead-of-gcc openmpi-glicid))
|
||||
|
@ -132,6 +135,13 @@
|
|||
(define-public openmpi-glicid-gcc-11
|
||||
(package
|
||||
(inherit openmpi-glicid-transform-gcc-11)
|
||||
(version (string-append (package-version gnu:openmpi) "-gcc-11" ))
|
||||
(version (string-append (package-version openmpi-glicid-transform-gcc-11) "-gcc-11" ))
|
||||
)
|
||||
)
|
||||
|
||||
(define-public openmpi-glicid-gcc-10
|
||||
(package
|
||||
(inherit openmpi-glicid-transform-gcc-10)
|
||||
(version (string-append (package-version openmpi-glicid-transform-gcc-10) "-gcc-10" ))
|
||||
)
|
||||
)
|
Loading…
Add table
Reference in a new issue