Thanks!

On Sat, 12 Aug 2023 at 22:03, Ludovic Courtès <ludo@gnu.org> wrote:

> Hi,
>
> Michael Ford <fanquake@gmail.com> skribis:
>
> >>From 8c3029c1a15b42c98e67e1db790cedcf1cb8a45e Mon Sep 17 00:00:00 2001
> > From: fanquake <fanquake@gmail.com>
> > Date: Tue, 8 Aug 2023 16:39:47 +0200
> > Subject: [PATCH] platform: Introduce powerpc64-linux
> >
> > * gnu/platforms/powerpc.scm: Introduce powerpc64-linux.
>
> [...]
>
> > +(define powerpc64-linux
> > +  (platform
> > +   (target "powerpc64-linux-gnu")
> > +   (system "powerpc64-linux")
>
> I changed ‘system’ to #f, since it’s not supported in Guix, and tweaked
> the commit log.
>
> Thanks!
>
> Ludo’.
>