From 53855bf71daca2bc343c14b3139a7167b68d332e Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sat, 8 Apr 2023 14:50:40 +0200 Subject: [PATCH] gnu: cli: Use GCC 10. * gnu/packages/cpp.scm (cli)[native-inputs]: Add gcc-10. --- gnu/packages/cpp.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index e34ef96f0b..5b2919c4ab 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -1736,7 +1736,7 @@ (define-public cli (string-append "edge_dispatcher::" all))))) (delete 'configure)))) (native-inputs - (list build)) + (list build gcc-10)) (inputs (list libcutl)) (synopsis "C++ Command Line Interface (CLI) definition language")