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

[Roberto Bagnara]

On 04/21/12 10:25, Erotavlas_turbo at libero.it wrote:
> 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.

It should be created in the directory where the failure happens, not
the one from which you run `make check'.

>> ----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
>>
>
>
> _______________________________________________
> 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
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it