------- Additional Comments From bh at techhouse dot brown dot edu 2005-05-03 15:18 ------- My (apparently broken) gmp is: > rpm -qf /usr/lib/libgmp.so.3.3.2 gmp-4.1.2-2
Downloading a new GMP (4.1.4, which creates libgmp.so.3.3.3) appears to work. I wonder if it's easy to check for this situation? Anyway, thanks for the hint. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21288
