> On 2 Jul 2020, at 00:49, Torbjörn Granlund <tg at gmplib.org> wrote: > > (I actually attempted installing Apple's compiler bundle "Xcode" with > support for arm64, in order to work out some of these issues. > Unfortunately, Apple's documentaton was too lacking for a successful > install.) Exactly what did not work?