<div>Hi Roberto</div>
<div> </div>
<div>And here is it.It was compressed in ZIP form.</div>
<div> </div>
<div>Thanks<br></div>
<div class="gmail_quote">2009/9/8 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>></span><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<div>
<div></div>
<div class="h5">³Â¹¦ wrote:<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Hi<br><br>It always said"checking for the GMP library version 4.1.3 or above... no<br>configure: error: Cannot find GMP version 4.1.3 or higher."<br>
<br>and I am sure I have already installed GMP 4.2.4<br><br>the attachement is the full log<br><br>can you help me?<br><br>thanks<br></blockquote><br></div></div>Hi there,<br><br>apparently the attachment did not go through.  Can you please<br>
send it again in compressed form?<br>All the best,<br><br>  Roberto<br><font color="#888888"><br>-- <br>Prof. Roberto Bagnara<br>Computer Science Group<br>Department of Mathematics, University of Parma, Italy<br><a href="http://www.cs.unipr.it/~bagnara/" target="_blank">http://www.cs.unipr.it/~bagnara/</a><br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br></font></blockquote></div><br>