Re: [PATCH] aarch64 support in isl

[Ludovic Courtès]

Efraim Flashner <address@hidden> skribis:

> This one is for core-updates. I've been carrying it around for months
> and short of updating isl or running autoconf on it before building it's
> needed for creating the cross-arch bootstrap tarballs.
>
> I'm still working on the aarch64 bootstrap binaries, still trying to get
> that to work.

Neat.

> From 8ad86edcc221e3505a645a3b75a8931efaa3f588 Mon Sep 17 00:00:00 2001
> From: Efraim Flashner <address@hidden>
> Date: Fri, 24 Jun 2016 13:33:31 +0300
> Subject: [PATCH 2/3] gnu: isl: Add support for aarch64.
>
> * gnu/packages/gcc.scm (isl)[source]: Add patch.
> * gnu/packages/patches/isl-0.11.1-aarch64-support.patch: New variable.

s/variable/file/ :-)

> * gnu/local.mk (dist_patch_DATA): Register it.

[...]

> --- /dev/null
> +++ b/gnu/packages/patches/isl-0.11.1-aarch64-support.patch
> @@ -0,0 +1,43 @@
> +From 5ad856cba44446d08ae9e788198a7d56ef4e1c87 Mon Sep 17 00:00:00 2001
> +From: Efraim Flashner <address@hidden>
> +Date: Thu, 23 Jun 2016 09:39:56 +0300
> +Subject: [PATCH] autoreconf
> +
> +---
> + config.guess          |    7 +++++++
> + config.sub            |    1 +
> + 2 files changed, 8 insertions(+)

You can remove this header and instead write “Add aarch64 support to
config.guess” or similar.

Otherwise OK for core-updates.

Thanks!

Ludo’.