On 2010-05-19 18:22 , Victor Eijkhout wrote: > checking for __gmpz_init in -lgmp... no > configure: error: libgmp not found or uses a different ABI. Could you please provide the following file? $(port work libmpc)/mpc-0.8.1/config.log This should help to identify what the real problem is here. Rainer