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@cs.unipr.it Data: 21/04/2012 17.33 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] R: Re: R: Re: PPL 0.12 bug reporting
On 04/21/12 10:25, Erotavlas_turbo@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@cs.unipr.it Data: 21/04/2012 9.43 A: "Erotavlas_turbo@libero.it"Erotavlas_turbo@libero.it Cc: "The Parma Polyhedra Library developers' list"ppl-devel@cs.unipr.it Ogg: Re: R: Re: [PPL-devel] PPL 0.12 bug reporting
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,
RobertoP.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
-- 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
PPL-devel mailing list PPL-devel@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@cs.unipr.it