On Mon, Jul 27, 2020 at 11:03:41PM +0200, Jan Wielkiewicz wrote:
> * gnu/packages/embedded.scm
> (gcc-arm-none-eabi-7-2018-q2-update)[native-inputs]: Use gcc-7.
> ---
>  gnu/packages/embedded.scm | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
> index e3a9017ba5..c7b8fcc0ce 100644
> --- a/gnu/packages/embedded.scm
> +++ b/gnu/packages/embedded.scm
> @@ -251,7 +251,7 @@ usable on embedded products.")
>             (origin-patches (package-source gcc-7))
>             (search-patches "gcc-7-cross-environment-variables.patch")))))
>        (native-inputs
> -       `(("gcc@5" ,gcc-5)
> +       `(("gcc@7" ,gcc-7)
>           ("flex" ,flex)
>           ("isl" ,isl-0.18)
>           ,@(alist-delete "isl" (package-native-inputs xgcc))))

Turns out we only needed to remove gcc-5. Adding gcc@7 proved
unnecessary.

Patch pushed! Thanks.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted