gmp ported library doesn't work for 64 bit machine?

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Run python build_tools/naclports.py install gmp
2. #include <gmp.h> and compile with nacl

What is the expected output? What do you see instead?
The library seems not to be compatible with 64-bit machine, I got this error
x86_64-nacl/bin/ld: skipping incompatible 
.../linux_x86_newlib/bin/../x86_64-nacl/usr/lib/libgmp.a when searching for 
-lgmp

Although the normal gmp lib run smoothly with gcc compiler...

What version of the product are you using? On what operating system?
Ubuntu 12.04, 64 bit.

Please provide any additional information below.

I also have the same problem with pbc, a library built on top of gmp.

Original issue reported on code.google.com by loi.luu...@gmail.com on 30 Apr 2014 at 10:53

[GoogleCodeExporter]

Can you include the full command that fails along with the full output produced?

Original comment by sbc@google.com on 30 Apr 2014 at 4:36

• Added labels: ****
• Removed labels: ****

[GoogleCodeExporter]

This library seems to be correct in my tests. If you can still reproduce this 
issue please reopen.

Original comment by sbc@google.com on 30 Sep 2014 at 5:40

• Changed state: Fixed
• Added labels: ****
• Removed labels: ****