simplification

This commit is contained in:
Yann Dupont 2021-11-29 16:23:48 +01:00
parent 1c725ab134
commit 668e2e26f0
2 changed files with 14 additions and 16 deletions

View file

@ -121,9 +121,6 @@
)
;(define slurm20-instead-of-slurm (instead-of "slurm" slurm-20.02))
(define-public openmpi-glicid
(transform-package
((instead-of "slurm" slurm-20.02) openmpi) "glicid"))

View file

@ -27,18 +27,19 @@
)
)
;(define gcc10-instead-of-gcc
; ;; This is a procedure to replace GCC by GCC10,
; ;; recursively.
;; (package-input-rewriting/spec `((,gcc-toolchain . ,(const gcc-toolchain-10)))))
; (package-input-rewriting `((,gcc-toolchain . ,gcc-toolchain-10))))
(define (gcc10-instead-of-gcc packagetorewrite)
(let ((toolchaingcc (specification->package "gcc-toolchain@10"))
; (toolchaingfortran (specification->package "gfortran-toolchain@10.3.0"))
(define (transform-package original-package suffix)
(package
(inherit original-package)
(name (string-append (package-name original-package) "-" suffix ))
)
(package-with-c-toolchain packagetorewrite `(("toolchaingcc" ,toolchaingcc)
; ("toulchaingfortran",toolchaingfortran)
))))
)
(define (instead-of package-a-spec package-b)
(package-input-rewriting/spec `(
(,package-a-spec . ,(const package-b)
)
; #:deep? #t
)
)
)