Hi Roberto

And here is it.It was compressed in ZIP form.

Thanks 2009/9/8 Roberto Bagnara bagnara@cs.unipr.it

陈功 wrote:

...

Hi

It always said"checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher."

and I am sure I have already installed GMP 4.2.4

the attachement is the full log

can you help me?

thanks

Hi there,

apparently the attachment did not go through. Can you please send it again in compressed form? 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