I have gmp2 installed on my linux box, but the configure is not detecting it. % rpm -q gmp gmp-2.0.2-5 After running configure. /* #undef HAVE_GMP2_H */ -- Bob Tanner <tanner@real-time.com> | Phone : (612)943-8700 http://www.real-time.com | Fax : (612)943-8500 Key fingerprint = 6C E9 51 4F D5 3E 4C 66 62 A9 10 E5 35 85 39 D9