Build gmp (version >= 6.0.0a) on iPad mini 3

[Ludwig von Mises]

Hi all,

I have already successfully built gcc-5.2.0 (with gmp 6.0.0a, mpfr 3.1.2,
mpc 1.0.3, isl 0.14 and cloog 0.18.4) on mac os X and various linux OS'se
(ubuntu 15.04 64 bits, Trisquel 7 64bits...)

I was tasked to fully build gcc 5.2 on iPad mini 3 (jailbroken, of course),
so that I had to start with gmp's build. To start, I ran gcc's config.guess
script which showed "arm64-apple-darwin14.0.0" to me. This (rightly)
worried me a bit. Nevertheless I did

curl -kO https://ftp.gnu.org/gnu/gmp/gmp-6.0.0a.tar.bz2

tar -xjvf gmp-6.0.0a.tar.bz2

cd gmp-6.0.0

mkdir build && cd build

../configure --prefix=/usr/local/lvm/gmp-6.0.0 --enable-cxx

which shout at me the following :

checking build system type... Invalid configuration
`arm64-apple-darwin14.0.0': machine `arm64-apple' not recognized

configure: error: /bin/sh ../config.sub arm64-apple-darwin14.0.0 failed

Would anyone have an idea on how to proceed ? Should I fake aarch64 if this
one is supported ?

Thx in advance.

Ludwig