
7 Sep
2008
7 Sep
'08
8:06 a.m.
Swarat Chaudhuri wrote:
Nope, same problem. My gmp-prefix is standard (/usr/local/lib) but I explicitly mentioned it anyway. Same error (cannot find right version of GMP). By the way, the ABI in my machine is 64-bit. Is that a problem?
It shouldn't be. Please send me the generated config.log file. All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it