GMP 5.0.2 'make check' fails

[Whitlock, Bradley D]

I am trying to build the latest package and can't get 'make check' to pass. I installed anyways, then when building Guile-1.8.8.2, I get a failure in scm_angle which I believe is using libgmp (and failing).

$ config.guess
core2-pc-mingw32

$ uname -a
MINGW32_NT-5.1 XXX 1.0.17(0.48/3/2) 2011-04-24 23:39 i686 Msys

$ ../configure --prefix=/c/home/local --enable-shared --disable-static -C
$ make -sj2 check
...
Making check in tests
Making check in .
libtool: compile:  ../../mpn/m4-ccas --m4=m4 gcc -std=gnu99 -c -DHAVE_CONFIG_H -
I. -I../../tests -I.. -I../.. -O0 -I/c/home/local/include -I/usr/include -I/ming
w/include ../../tests/amd64call.asm  -DDLL_EXPORT -DPIC -o .libs/amd64call.o
m4  -DHAVE_CONFIG_H -DDLL_EXPORT -DPIC ../../tests/amd64call.asm >tmp-amd64call.s
gcc -std=gnu99 -c -DHAVE_CONFIG_H -I. -I../../tests -I.. -I../.. -O0 -I/c/home/
local/include -I/usr/include -I/mingw/include tmp-amd64call.s -DDLL_EXPORT -DPIC
-o .libs/amd64call.o
tmp-amd64call.s: Assembler messages:
tmp-amd64call.s:49: Error: bad register name `%rdi'
tmp-amd64call.s:50: Error: bad register name `%rsp)'
tmp-amd64call.s:63: Error: bad register name `%rsp)'
tmp-amd64call.s:64: Error: bad register name `%rsp)'
tmp-amd64call.s:65: Error: bad register name `%rsp)'
tmp-amd64call.s:119: Error: bad register name `%rdi'
tmp-amd64call.s:120: Error: bad register name `%rip)'
tmp-amd64call.s:122: Error: bad register name `%rsp)'
tmp-amd64call.s:123: Error: bad register name `%rax'
tmp-amd64call.s:125: Error: bad register name `%rip)'
tmp-amd64call.s:126: Error: bad register name `%rax'
tmp-amd64call.s:128: Error: bad register name `%rbx'
tmp-amd64call.s:129: Error: bad register name `%rbp'
tmp-amd64call.s:130: Error: bad register name `%r12'
tmp-amd64call.s:131: Error: bad register name `%r13'
tmp-amd64call.s:132: Error: bad register name `%r14'
tmp-amd64call.s:133: Error: bad register name `%r15'
tmp-amd64call.s:136: Error: bad register name `%rdi)'
tmp-amd64call.s:137: Error: bad register name `%rdi)'
tmp-amd64call.s:138: Error: bad register name `%rdi)'
tmp-amd64call.s:139: Error: bad register name `%rdi)'
tmp-amd64call.s:140: Error: bad register name `%rdi)'
tmp-amd64call.s:141: Error: bad register name `%rdi)'
tmp-amd64call.s:150: Error: bad register name `%rdi)'
tmp-amd64call.s:151: Error: bad register name `%rdi)'
tmp-amd64call.s:153: Error: bad register name `%rip)'
tmp-amd64call.s:154: Error: bad register name `%rdi'
tmp-amd64call.s:155: Error: bad register name `%rax)'
tmp-amd64call.s:158: Error: bad register name `%rip)'
tmp-amd64call.s:160: Error: bad register name `%rbx'
tmp-amd64call.s:161: Error: bad register name `%rbp'
tmp-amd64call.s:162: Error: bad register name `%r12'
tmp-amd64call.s:163: Error: bad register name `%r13'
tmp-amd64call.s:164: Error: bad register name `%r14'
tmp-amd64call.s:165: Error: bad register name `%r15'
tmp-amd64call.s:167: Error: unsupported for `pushf'
tmp-amd64call.s:168: Error: bad register name `%rbx'
tmp-amd64call.s:169: Error: bad register name `%rbx'
tmp-amd64call.s:171: Error: bad register name `%rip)'
tmp-amd64call.s:172: Error: bad register name `%rbx)'
tmp-amd64call.s:175: Error: bad register name `%rdi)'
tmp-amd64call.s:176: Error: bad register name `%rdi)'
tmp-amd64call.s:177: Error: bad register name `%rdi)'
tmp-amd64call.s:178: Error: bad register name `%rdi)'
tmp-amd64call.s:179: Error: bad register name `%rdi)'
tmp-amd64call.s:180: Error: bad register name `%rdi)'
tmp-amd64call.s:182: Error: bad register name `%rdi)'
make[4]: *** [amd64call.lo] Error 1
make[3]: *** [check-am] Error 2
make[2]: *** [check-recursive] Error 1
make[1]: *** [check-recursive] Error 1
make: *** [check] Error 2

Not sure why it is even building amd tests, the machine has Intel Core2 Duo T9400 processor

Any advice?

Thanks,
Brad