³Â¹¦ 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