[PPL-devel] R: Re: R: Re: PPL 0.12 bug reporting

[Erotavlas_turbo at libero.it]

Hi,

>Yes, and more details are needed to understand what is going on.
>Please send the file called `test-suite.log' that has been
>created in the directory where `make check' fails.
>Kind regards,

I can't find this file `test-suite.log' inside the directory where I run make 
check.

Thank you


>----Messaggio originale----
>Da: bagnara at cs.unipr.it
>Data: 21/04/2012 9.43
>A: "Erotavlas_turbo at libero.it"<Erotavlas_turbo at libero.it>
>Cc: "The Parma Polyhedra Library developers' list"<ppl-devel at cs.unipr.it>
>Ogg: Re: R: Re: [PPL-devel] PPL 0.12 bug reporting
>
>On 04/20/12 23:15, Erotavlas_turbo at libero.it wrote:
>> Hi,
>
>Hi Salvatore.
>
>> I have attached the config.log file.
>
>Thanks.  I saw nothing wrong in it.
>
>> At the end of the compilation process I
>> get this messages
>>
>> PASS: C_Expr
>> PASS: linearform1
>> PASS: linearize
>> PASS: digitalfilters1
>> PASS: bdshape1
>> PASS: bdshape2
>> collect2: ld returned 1 exit statusnFAIL: octagonalshape1
>> collect2: ld returned 1 exit statusnFAIL: octagonalshape2
>> collect2: ld returned 1 exit statusnFAIL: polyhedron1
>> collect2: ld returned 1 exit statusnFAIL: polyhedron2
>> ======================================
>> 4 of 10 tests failed
>> Please report to ppl-devel at cs.unipr.it
>> ======================================
>> It seems a problem of ld. Is it right?
>
>Yes, and more details are needed to understand what is going on.
>Please send the file called `test-suite.log' that has been
>created in the directory where `make check' fails.
>Kind regards,
>
>    Roberto
>
>P.S. Please direct all messages to ppl-devel at cs.unipr.it
>
>
>>> ----Messaggio originale----
>>> Da: bagnara at cs.unipr.it
>>> Data: 16/04/2012 8.11
>>> A: "The Parma Polyhedra Library developers' list"<ppl-devel at cs.unipr.it>
>>> Cc: "Erotavlas_turbo at libero.it"<Erotavlas_turbo at libero.it>
>>> Ogg: Re: [PPL-devel] PPL 0.12 bug reporting
>>>
>>> On 04/15/12 11:11, Erotavlas_turbo at libero.it wrote:
>>>> Hi,
>>>>
>>>> I have a problem with the latest version of PPL 0.12. I have tried to
>> compile it with Ubuntu 64 bit 11.04 and 11.10. I can compile PPL well but 
when
>> I make the tests (by make check), I get a message like this:
>>>>
>>>> Some test failed, please report a bug to the PPL developers. With the PPL
>> 0.11 all the test are passed.
>>>>
>>>> Best Regards
>>>>
>>>> Salvatore Frandina
>>>
>>> Hi Salvatore,
>>>
>>> we need more details about the particular test(s) that failed.
>>> Please compress and send also the config.log file that was
>>> created at configure time.
>>> Kind regards,
>>>
>>>     Roberto
>>>
>>> --
>>> Prof. Roberto Bagnara
>>> Applied Formal Methods Laboratory
>>> Department of Mathematics, University of Parma, Italy
>>> http://www.cs.unipr.it/~bagnara/
>>> mailto:bagnara at cs.unipr.it
>>>
>>
>
>
>-- 
>Prof. Roberto Bagnara
>Applied Formal Methods Laboratory
>Department of Mathematics, University of Parma, Italy
>http://www.cs.unipr.it/~bagnara/
>mailto:bagnara at cs.unipr.it
>