[PPL-devel] gmp

[Roberto Bagnara]

Hi Antonio.

On 04/05/13 10:15, Antonio Díaz Quintana wrote:
> Please, find herein attached a bug found while compiling PPL.

What do you mean by "bug"?  I see you attached a 3 MB preprocessed
source file (uncompressed, unfortunately).

> As regards the GMP stuff, it seems it's fixed, though I had to recompile once more with
> the flag -fexceptions and, following your instructions in ./configure output, updating m4.
> Any suggestion will be really appreciated.

Did you familiarize with

  http://bugseng.com/products/ppl/requirements

in particular as far as the C/C++ compiler is concerned?
Kind regards,

   Roberto

> 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
>>>
>>
> 
> 
> 
> _______________________________________________
> 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