24 Jun
2009
24 Jun
'09
8:09 a.m.
* Richard B. Kreckel <kreckel@ginac.de> [Jun 24. 2009 13:07]:
[...]
GMP 3.4.1 would indeed be ancient, but GMP's version is not the same as the library's soname. More likely, what's installed on your machine is GMP 4.2.1.
The problem is rather that gmp.h was not found. Do you have the corresponding -dev package installed?
Apparently (may have overwritten with manually compiled stuff) these ones: gmp-32bit-4.2.1-58 gmp-devel-32bit-4.2.1-58 gmp-4.2.1-58 gmp-devel-4.2.1-58 I really just wanted to check for trivial errors.
Best wishes -rbk. [...]