What type of system is that, is it an Opteron system? (If you don't know, "prtconf -vp" might sched some light. Look for occurences of strings with "cpu".) What does gmp-4.2/config.guess output? Please send the output of the configure command, preferably as an attachement. -- Torbjörn