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

[Roberto Bagnara]

-------- Original Message --------
Subject: R: Re: [PPL-devel] PPL 0.12 bug reporting
Date: Fri, 20 Apr 2012 23:15:35 +0200 (CEST)
From: Erotavlas_turbo at libero.it <Erotavlas_turbo at libero.it>
Reply-To: Erotavlas_turbo at libero.it <Erotavlas_turbo at libero.it>
To: <bagnara at cs.unipr.it>

Hi,

I have attached the config.log file. 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?

Best Regards
Salvatore

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 206641 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120421/4aede838/attachment.obj>