Subject: Re: bug#65151: [PATCH] platform: Introduce powerpc64-linux
From: Ludovic Courtès <[email-masked]>
To: Michael Ford <[email-masked]>
Cc: [email-masked]
Date: Sat, 12 Aug 2023 23:03:22 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Michael Ford <[email-masked]> skribis:

>>From 8c3029c1a15b42c98e67e1db790cedcf1cb8a45e Mon Sep 17 00:00:00 2001
> From: fanquake <[email-masked]>
> 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’.