[PPL-devel] gmp

[Roberto Bagnara]

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
> 


-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com