On 04/20/12 23:15, Erotavlas_turbo@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@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@cs.unipr.it
----Messaggio originale---- Da: bagnara@cs.unipr.it Data: 16/04/2012 8.11 A: "The Parma Polyhedra Library developers' list"ppl-devel@cs.unipr.it Cc: "Erotavlas_turbo@libero.it"Erotavlas_turbo@libero.it Ogg: Re: [PPL-devel] PPL 0.12 bug reporting
On 04/15/12 11:11, Erotavlas_turbo@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@cs.unipr.it