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

[Roberto Bagnara]

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