no deep replacement of gcc

This commit is contained in:
Yann Dupont 2021-11-22 22:20:40 +01:00
parent 020ab39125
commit 2aae3218ce

View file

@ -118,11 +118,13 @@
(define gcc11-instead-of-gcc
;; This is a procedure to replace GCC by GCC11,
;; recursively.
; (package-input-rewriting/spec `((,gcc-toolchain . ,(const gcc-toolchain-11)))))
(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/spec `((,gcc-toolchain . ,(const gcc-toolchain-10)))))
(package-input-rewriting `((,gcc-toolchain . ,gcc-toolchain-10))))