Hello Kaveh, Sorry for the delay in this primary platform report; just saw the second call today.
In all cases below, installed from the FreeBSD ports system with the system compiler (based upon GNU 4.2.1): /usr/ports/math/libgmp4 [4.3.1] /usr/ports/math/mpfr [2.4.1] [And, for the record, /usr/ports/math/mpc contains 0.6 with no local patches so I expected this to work without any issues.] With the default system compiler on i386-unknown-freebsd7.2: ./configure fails to find gmp installed in /usr/local (as expected to me but not the expected behaviour for a typical gcc user on other platforms). ./configure --with-gmp\=/usr/local; gmake; gmake check # All 45 tests passed With gcc version 4.4.2 [...revision 151396] (GCC) on i386-unknown-freebsd7.2 (which was installed in prefix=/usr/local/beta-gcc not /usr/local): ./configure; gmake; gmake check # All 45 tests passed With gcc version 4.5.0 [...revision 151387] (GCC) on i386-unknown-freebsd7.2 (which was installed in prefix=/usr/local/beta-gcc not /usr/local): ./configure; gmake; gmake check # All 45 tests passed Regards, Loren