[PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)

[Roberto Bagnara]

On 05/15/11 23:00, Harry Hairy wrote:
> INTEL CORE2 DUO with fedora 14 make v3.82 GCC v 4.5.1
>
> TARGET=arm-unknown-linux-gnueabi
> PREFIX=/usr/arm
> SYSROOT=${PREFIX}/sysroot
> export ARCH=arm
> export PATH=$PATH:${PREFIX}/bin
> export CROSS_COMPILE=${TARGET}-
>
> NOTE: GMP has almost identical configurations except with --enable-cxx
>
> config
> ../source/ppl-0.11.2/configure --prefix=$PREFIX --exec-prefix=$PREFIX --target=$TARGET --build=x86_64-pc-linux --host=$TARGET --enable-arch --with-gmp-prefix=$PREFIX --enable-check=(both quick and thourough)
>
> TARGET=arm-unknown-linux-gnueabi
> PREFIX=/usr/arm
> SYSROOT=${PREFIX}/sysroot
> export ARCH=arm
> export PATH=$PATH:${PREFIX}/bin
> export CROSS_COMPILE=${TARGET}-
>
>
> turns out -march=i686 while compiling
>
> make[1]: Entering directory `/home/blufin9/beagle/build/tests/Polyhedron'
> PASS: termination1
> PASS: termination2
> PASS: hybrid
> 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: 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: intersection1
> PASS: simplifyusingcontext1
> PASS: limitedbhrz03extrapolation1
> PASS: limitedh79extrapolation1
> PASS: linearpartition1
> PASS: linearexpression1
> PASS: linearsystem1
> PASS: mapspacedims1
> PASS: matrix1
> PASS: max_min1
> PASS: maxspacedim1
> PASS: mc91
> PASS: membytes1
> uncaught exception << OOPS!
> FAIL: memory2
> PASS: minconstraints1
> PASS: minconstraints2
> PASS: mingenerators1

Hi Harry,

thanks for your report.

Can you please send us the `config.log' file created by `configure'?

> al other test upto this point passed (only testing for Grid was left)

Were the tests on tests/Grid successful?
Cheers,

    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