<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hello again,<br>
Thank you for your prompt answer.<br>
Still, using the ppl-1.1pre8.tar leads to the same message:<br>
<font color="#990000"><i>checking for the GMP library version
4.1.3 or higher. </i><i><br>
</i></font><i><font color="#990000"> configure: error: Cannot
find GMP version 4.1.3 or higher</font>.</i><i><br>
</i>It also happens when I use the option
--with-gmp-build=/opt/gmp-5.1.0<br>
Antonio<br>
<div class="moz-cite-prefix">El 04/04/2013 16:02, Roberto Bagnara
escribió:<br>
</div>
<blockquote cite="mid:515D87FD.3080205@cs.unipr.it" type="cite">
<pre wrap="">On 04/04/13 14:13, Antonio Díaz Quintana wrote:
</pre>
<blockquote type="cite">
<pre wrap="">Dear Sirs,
I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local
Output says I haven't GMP version 4.1.3 or later.
I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version.
tried setting CXX to c++ and CC to cc .
Of sourse, I used the --enable-cxx option to configure gmp.
GMP check is ok.
Is there any way I could overcome this trouble?
Thank you very much in advance for your attention.
Kind regards,
Antonio
</pre>
</blockquote>
<pre wrap="">
Dear Antonio,
quite likely the problem is caused by an incompatibility introduced
by GMP 5.1. This issue is already dealt with in the Git version
of the PPL. The snapshot of PPL 1.1 available at
<a class="moz-txt-link-freetext" href="http://bugseng.com/products/ppl/download/ftp/snapshots/">http://bugseng.com/products/ppl/download/ftp/snapshots/</a>
also contains the correction. Please let us know if this
solves the problem for you.
Kind regards,
Roberto
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Dr. Antonio J. Díaz Quintana
Instituto de Bioquímica Vegetal Y Fotosíntesis
Centro de Investigaciones Científicas Isla de la Cartuja
Universidad de Sevilla y C.S.I.C.
Phone: +34 954 489 507
<a class="moz-txt-link-freetext" href="http://www.ibvf.csic.es/node/63">http://www.ibvf.csic.es/node/63</a>
</pre>
</body>
</html>