Possible gmp-4.2.2 link-time bug

[Paul Zimmermann]

       Ben,

it seems __gmp_doprnt_mpf was renamed to __gmp_doprnt_mpf2 at some point
where the interface changed. My guess is that you are compiling with the
new gmp-impl.h (with __gmp_doprnt_mpf defined as __gmp_doprnt_mpf2) but with
an old library /usr/local/lib/libgmpxx.so.

What does the following give?

$ nm /usr/local/lib/libgmpxx.so | grep __gmp_doprnt_mpf

I suggest you try to link gmpxx and gmp statically:

g++ ... t2.cc /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a

It also seems you miss -I/usr/local/include in your compilation line.

Hope this helps,
Paul Zimmermann