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

[Roberto Bagnara]

-------- 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 at hotmail.com>
To: 	<bagnara at 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 at cs.unipr.it
  > To: cutthroat451 at hotmail.com
  > CC: ppl-devel at 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 at cs.unipr.it