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

[Roberto Bagnara]

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

This is strange.  Can you please try with PPL 0.12.1, released just a few
days ago?
Thanks,

    Roberto

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