[PPL-devel] gmp

[Antonio Díaz Quintana]

Thank you again..
I changed the search order in $PATH... as it seemed I had two versions 
of g++, it was taking that of gnat.
It worked... now I have to update M4...
I will let you know if I find any other trouble and.. once I have 
everything I send to you the whole log.

El 04/04/2013 18:48, Roberto Bagnara escribió:
> On 04/04/13 18:07, Antonio Díaz Quintana wrote:
>> Hello again,
>> Thank you for your prompt answer.
>> Still, using the ppl-1.1pre8.tar leads to the same message:
>>      /checking for the GMP library version 4.1.3 or higher.    //
>> //    configure: error: Cannot find GMP version 4.1.3 or higher.//
>> /It also happens when I use the option --with-gmp-build=/opt/gmp-5.1.0
>> Antonio
> Hi Antonio,
>
> we would need to see the `config.log' file that is generated
> by `configure'.  Please send it (compressed) to ppl-devel at cs.unipr.it
> Kind regards,
>
>     Roberto
>
>> El 04/04/2013 16:02, Roberto Bagnara escribió:
>>> On 04/04/13 14:13, Antonio Díaz Quintana wrote:
>>>> 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
>>> 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
>>>
>>>     http://bugseng.com/products/ppl/download/ftp/snapshots/
>>>
>>> also contains the correction.  Please let us know if this
>>> solves the problem for you.
>>> Kind regards,
>>>
>>>      Roberto
>>>
>> -- 
>> 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
>> http://www.ibvf.csic.es/node/63
>>
>>
>>
>> _______________________________________________
>> PPL-devel mailing list
>> PPL-devel at cs.unipr.it
>> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>>
>

-- 
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
http://www.ibvf.csic.es/node/63

-------------- next part --------------
A non-text attachment was scrubbed...
Name: qzaida.vcf
Type: text/x-vcard
Size: 466 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130404/2be09bcf/attachment.vcf>