On Tue, Feb 14, 2017 at 09:51:01AM +0100, Ludovic Courtès wrote:
> Efraim Flashner <efraim@flashner.co.il> skribis:
> 
> > * gnu/packages/bootstrap/aarch64-linux/bash,
> > gnu/packages/bootstrap/aarch64-linux/mkdir,
> > gnu/packages/bootstrap/aarch64-linux/xz,
> > gnu/packages/bootstrap/aarch64-linux/tar: New files.
> >
> > * gnu/local.mk (bootstrap_aarch64_linuxdir)
> > (dist_bootstrap_aarch64_linux_DATA)
> > (nodist_bootstrap_aarch64_linux_DATA): New variables.
> > (DISTCLEANFILES): Add $(nodist_bootstrap_aarch64_linux_DATA).
> > (gnu/packages/bootstrap/aarch64-linux/guile-2.0.13.tar.xz): New target.
> > * build-aux/download.scm (filename->uri): Add aarch64-linux entry.
> > * gnu/packages/bootstrap.scm (raw-build): Use guile-2.0.13.tar.xz on
> > aarch64-linux.
> > (glibc-dynamic-linker, %bootstrap-coreutils&co, %boostrap-binutils)
> > (%bootstrap-glibc, %bootstrap-gcc): Add aarch64-linux cases.
> > * m4/guix.m4 (GUIX_SYSTEM_TYPE): Add aarch64 case.
> > (GUIX_ASSERT_SUPPORTED_SYSTEM): Add aarch64-linux to supported list.
> > * doc/guix.texi (GNU Distribution): Add aarch64-linux to the list of
> > supported systems.
> > * tests/packages.scm (package-search-derivation, snippet): Add aarch64
> > case.
> 
> This one looks good.  It would be nice to specify which commit was used
> to produce the binaries though, and I would encourage using Guile 2.0.14
> (I’m afraid you’ll be mad at me for asking you that ;-)) because it’s
> bit-reproducible.
> 
> How does that sound?

That actually sounds like a great idea. I started by copying Mark's
armhf patch, and I was wondering which commit he used. As far as
rebuilding the bootstrap-binaries, its much faster on my current
machine. (And by much faster I mean around 10 hours, not 15.)

As far as reproducability, of the 5 targets, in the past I found guile
and gcc to be unreproducable, so its great to see it down to just gcc.

> 
> > +@item aarch64-linux
> > +little-endian 64-bit ARMv8 processors.
> 
> I think they call it ARMv9 no?  I would also add “This is currently in
> an experimental stage, with limited support.  @xref{Contributing}, for
> how to help!”.

I need to check if its ARMv8 or ARMv8-a, I don't actually remember.

> 
> Thanks,
> Ludo’.

-- 
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