gmp-5.1.3: architecture detection failure?

[Yves Caniou]

Dear All

I join the [corei7_]config.log produced when configuring gmp letting it guess the architecture.
gmp uses -mtune=corei7 -march=corei7
The architecture is Intel(R) Xeon(R) CPU           W3670  @ 3.20GHz
Note that "make check" does not report any error.
Errors only appeared during the "make check" of mpc-1.0.1.
-- I wrote on their mailing list first.

If I force the architecture with
./configure --host=x86_64-linux-gnu --build=x86_64-linux-gnu --prefix=/home/ycaniou/bin/amd64/4.6.3/gmp --enable-cxx --enable-assert
then gmp uses -m64  -mtune=k8 and everything happens fine for all projects.
I join the produced [arch__]config.log.

Regards.

.Y
-------------- next part --------------
A non-text attachment was scrubbed...
Name: arch__config.log
Type: text/x-log
Size: 264367 bytes
Desc: not available
URL: <http://gmplib.org/list-archives/gmp-bugs/attachments/20131118/0d467b5c/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: corei7__config.log
Type: text/x-log
Size: 265775 bytes
Desc: not available
URL: <http://gmplib.org/list-archives/gmp-bugs/attachments/20131118/0d467b5c/attachment-0003.bin>