> Using `--disable-error-on-warning' is the best solution here.  You could
> try upgrading GMP also, in case it helps.

How does configure check for the gmp version??

I installed gmp 4.2.4 and the libgmp.so points to libgmp.so.7.4.4 now and
configure thinks it's not at least 4.1

-- 
Didier Godefroy
mailto:[email protected]




Reply via email to