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

[Erotavlas_turbo at libero.it]

Hi,

I run the 'make check' command from the source files directory of ppl0.12. If 
a type locate `test-suite.log' there is no file with such name.

Best Regards

Salvatore

>----Messaggio originale----
>Da: bagnara at cs.unipr.it
>Data: 21/04/2012 17.33
>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] R: Re: R: Re:  PPL 0.12 bug reporting
>
>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
>