Subject: Re: bug#55591: [PATCH] WIP: fix the linux build system
From: Mathieu Othacehe <[email-masked]>
To: Christopher Baines <[email-masked]>
Cc: [email-masked]
Date: Wed, 25 May 2022 09:37:13 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Chris,

> +;; Provide a procedure so this can be used via module-ref
> +(define (platform-linux-architecture platform)
> +  (platform-linux-architecture* platform))

Thanks for the patch! I guess it could have been a way to fix the
issue. Josselin proposed to move the platform part to (guix platform)
instead in the merged 55602 ticket.

Closing that one as it is not needed anymore.

Thanks,

Mathieu