On 04/28/12 10:25, Erotavlas_turbo@libero.it wrote:
I compiled the latest ppl 0.12.1 with Ubuntu 12.04. With standard version of GCC provided (4.6.3) it does not compile a due to a bug of GCC. But with GCC 4.7.0 all works well. With Ubuntu 11.10 I can't compile with success but at this point this is no problem.
Hi Salvatore,
can you provide us with more details abot the GCC bug you are talking about? I have just finished a complete `make ; make check' of PPL 0.12.1 on Ubuntu 12.04/x86_64 (GCC 4.6.3) and everything went fine. Kind regards,
Roberto
----Messaggio originale---- Da: bagnara@cs.unipr.it Data: 23/04/2012 11.47 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: R: Re: R: Re: PPL 0.12 bug reporting
On 04/22/12 18:49, Erotavlas_turbo@libero.it wrote:
Hi,
I compiled the latest ppl 0.12.1 and I get this message
make check-TESTS make[3]: Entering directory `/home/user/Desktop/ppl-0.12.1
/tests/Polyhedron'
PASS: addcongruence1 PASS: addcongruences1 PASS: addconstraint1 PASS: addconstraints1 PASS: addconstraints2 PASS: addgenerator1 PASS: addgenerator2 PASS: addgenerators1 PASS: addgenerators2 PASS: addspacedims1 PASS: addspacedims2 PASS: affineimage1 PASS: affineimage2 PASS: affinepreimage1 PASS: affinetrans PASS: append1 PASS: append2 PASS: ascii_dump_load1 PASS: ascii_dump_load2 PASS: ascii_dump_load3 PASS: bgp99extrapolation1 PASS: bgp99extrapolation2 PASS: bhrz03widening1 PASS: bhrz03widening2 PASS: bhrz03widening3 PASS: bhz03widening1 PASS: bounded1 PASS: boundedaffineimage1 PASS: boundedaffinepreimage1 PASS: boundedbhrz03extrapolation1 PASS: boundedh79extrapolation1 PASS: bounds1 PASS: cnncconversion1 PASS: concatenate1 PASS: congruences1 PASS: constrains1 PASS: constraints1 PASS: contains1 PASS: contains2 PASS: containsintegerpoint1 PASS: densematrix1 PASS: disjoint1 PASS: disjoint2 PASS: dropsomenonintegerpoints1 PASS: dropsomenonintegerpoints2 PASS: dualhypercubes PASS: empty1 PASS: equals1 PASS: exceptions1 PASS: exceptions2 PASS: exceptions3 PASS: expandspacedim1 PASS: expandspacedim2 PASS: foldspacedims1 PASS: foldspacedims2 PASS: frequency1 PASS: frombdshape1 PASS: frombox1 PASS: frombox2 PASS: fromgrid1 PASS: fromoctagonalshape1 PASS: generalizedaffineimage1 PASS: generalizedaffineimage2 PASS: generalizedaffinepreimage1 PASS: generalizedaffinepreimage2 PASS: generators1 PASS: geomcovers1 PASS: h79widening1 PASS: h79widening2 PASS: hybrid PASS: intersection1 PASS: limitedbhrz03extrapolation1 PASS: limitedh79extrapolation1 PASS: linearexpression1 PASS: linearpartition1 PASS: linearsystem1 PASS: mapspacedims1 PASS: max_min1 PASS: maxspacedim1 PASS: mc91 PASS: membytes1 PASS: memory2 PASS: minconstraints1 PASS: minconstraints2 PASS: mingenerators1 PASS: mingenerators2 PASS: nncminimize1 PASS: nncminimize2 PASS: numberinput1 PASS: onepoint PASS: permute PASS: polydifference1 PASS: polydifference2 PASS: polyhull1 PASS: polyhull2 PASS: polyhullifexact1 PASS: polyhullifexact2 PASS: randphull1 PASS: refinewithcongruence1 PASS: refinewithcongruences1 PASS: refinewithconstraint1 PASS: refinewithconstraints1 PASS: relations1 PASS: relations2 PASS: relations3 PASS: removespacedims1 PASS: removespacedims2 PASS: simplifyusingcontext1 PASS: smm1 PASS: termination1 PASS: termination2 PASS: timeelapse1 PASS: timeelapse2 PASS: topclosed1 PASS: topclosure1 PASS: unconstrain1 PASS: universe1 PASS: universe2 PASS: variablesset1 PASS: watchdog1 PASS: weightwatch1 PASS: wrap1 PASS: wrap2 PASS: writeconsys1 PASS: writegensys1 PASS: writepolyhedron1 PASS: writepolyhedron2 PASS: writerelation1 PASS: writevariable1 PASS: nnc_addcongruence1 PASS: nnc_addcongruences1 PASS: nnc_addconstraint1 PASS: nnc_addconstraints1 PASS: nnc_addgenerator1 PASS: nnc_addgenerators1 PASS: nnc_addspacedims1 PASS: nnc_affineimage1 PASS: nnc_affinepreimage1 PASS: nnc_affinetrans PASS: nnc_append1 PASS: nnc_append2 collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load1 collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load2 collect2: ld returned 1 exit statusnFAIL: nnc_bgp99extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_bhrz03widening1 PASS: nnc_bhrz03widening2 PASS: nnc_bounded1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffineimage1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffinepreimage1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedbhrz03extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedh79extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_bounds1 collect2: ld returned 1 exit statusnFAIL: nnc_concatenate1 collect2: ld returned 1 exit statusnFAIL: nnc_congruences1 collect2: ld returned 1 exit statusnFAIL: nnc_constrains1 collect2: ld returned 1 exit statusnFAIL: nnc_constraints1 collect2: ld returned 1 exit statusnFAIL: nnc_contains1 collect2: ld returned 1 exit statusnFAIL: nnc_containsintegerpoint1 collect2: ld returned 1 exit statusnFAIL: nnc_disjoint1 collect2: ld returned 1 exit statusnFAIL: nnc_dropsomenonintegerpoints1 collect2: ld returned 1 exit statusnFAIL: nnc_empty1 collect2: ld returned 1 exit statusnFAIL: nnc_equals1 collect2: ld returned 1 exit statusnFAIL: nnc_exceptions1 collect2: ld returned 1 exit statusnFAIL: nnc_exceptions3 collect2: ld returned 1 exit statusnFAIL: nnc_expandspacedim1 collect2: ld returned 1 exit statusnFAIL: nnc_foldspacedims1 collect2: ld returned 1 exit statusnFAIL: nnc_frombdshape1 collect2: ld returned 1 exit statusnFAIL: nnc_frombox1 collect2: ld returned 1 exit statusnFAIL: nnc_fromgrid1 collect2: ld returned 1 exit statusnFAIL: nnc_fromoctagonalshape1 collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffineimage1 collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffinepreimage1 collect2: ld returned 1 exit statusnFAIL: nnc_generators1 collect2: ld returned 1 exit statusnFAIL: nnc_geomcovers1 collect2: ld returned 1 exit statusnFAIL: nnc_h79widening1 collect2: ld returned 1 exit statusnFAIL: nnc_intersection1 collect2: ld returned 1 exit statusnFAIL: nnc_simplifyusingcontext1 collect2: ld returned 1 exit statusnFAIL: nnc_limitedbhrz03extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_limitedh79extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_linearpartition1 collect2: ld returned 1 exit statusnFAIL: nnc_mapspacedims1 collect2: ld returned 1 exit statusnFAIL: nnc_max_min1 collect2: ld returned 1 exit statusnFAIL: nnc_mc91 collect2: ld returned 1 exit statusnFAIL: nnc_membytes1 collect2: ld returned 1 exit statusnFAIL: nnc_minconstraints1 collect2: ld returned 1 exit statusnFAIL: nnc_mingenerators1 collect2: ld returned 1 exit statusnFAIL: nnc_onepoint collect2: ld returned 1 exit statusnFAIL: nnc_permute collect2: ld returned 1 exit statusnFAIL: nnc_polydifference1 collect2: ld returned 1 exit statusnFAIL: nnc_polyhull1 collect2: ld returned 1 exit statusnFAIL: nnc_polyhullifexact1 collect2: ld returned 1 exit statusnFAIL: nnc_randphull1 collect2: ld returned 1 exit statusnFAIL: nnc_relations1 collect2: ld returned 1 exit statusnFAIL: nnc_relations2 collect2: ld returned 1 exit statusnFAIL: nnc_removespacedims1 collect2: ld returned 1 exit statusnFAIL: nnc_smm1 collect2: ld returned 1 exit statusnFAIL: nnc_timeelapse1 collect2: ld returned 1 exit statusnFAIL: nnc_unconstrain1 collect2: ld returned 1 exit statusnFAIL: nnc_universe1 collect2: ld returned 1 exit statusnFAIL: nnc_wrap1 collect2: ld returned 1 exit statusnFAIL: nnc_wrap2 collect2: ld returned 1 exit statusnFAIL: nnc_writepolyhedron1 ====================================== 59 of 202 tests failed Please report to ppl-devel@cs.unipr.it ====================================== Also this time there is no file test-suite.log, I have attached the config.
log
file.
Are you doing a parallel build (i.e., with make -j N)? Otherwise I don't know: I begin to suspect there is something wrong in your system that is unrelated to the PPL. Can I have a temporary account on the machine where all this happens?
-- 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