
-------- Original Message -------- Subject: RE: [PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus) Date: Thu, 19 May 2011 12:42:41 -0700 From: Harry Hairy cutthroat451@hotmail.com To: bagnara@cs.unipr.it
No, I cannot ... my instinct told me I should of kept the log file. I was just so frustrated with my initial setup I deleted everything and started over. Now things are more organized and if I get the error again, I will be sure to send you the config.log with it.
Harry
Symmetry is a beautiful thing.
Date: Wed, 18 May 2011 09:47:41 +0200 From: bagnara@cs.unipr.it To: cutthroat451@hotmail.com CC: ppl-devel@cs.unipr.it Subject: Re: [PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)
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@cs.unipr.it