Another piece of info I forgot to mention.
In the end I need to build gcc-4.4.4. I am building it in two stages in addition to whatever stages used by 'gcc' build mechanism itself.
First I build gcc-4.4.4 without 'cloog', then using this clogg-less gcc-4.4.4 I build 'cloog' and its dependencies, and then having built 'cloog' I build the final gcc-4.4.4 with 'cloog' - still using the cloog-less gcc-4.4.4.
So now you know the gory details of the 'gcc' I'm using to build the stuff :).
Again, IIRC, ppl-0.11 builds just fine using this scheme, but ppl-0.10.2 produces 'make check' errors we are discussing in this thread.
Thanks, Sergei.
On 8/27/10, Sergei Steshenko sergstesh@gmail.com wrote:
On 8/26/10, Roberto Bagnara bagnara@cs.unipr.it wrote:
On 08/25/10 21:21, Sergei Steshenko wrote:
On 8/25/10, Sebastian Popsebpop@gmail.com wrote:
I think that this is more relevant to be posted to the PPL mailing list rather than the CLooG development list.
On Wed, Aug 25, 2010 at 12:38, sergsteshsergstesh@gmail.com wrote:
Hello,
while building ppl-0.10.2 I've noticed that 'make check' produces a number of errors (and ppl-0.11' 'make check' is clean IIRC).
OTOH, 'gcc' uses ppl-0.10.2.
So, are the 'make check' errors in ppl-0.10.2 significant and do they translate into 'gcc' bugs ?
I do not think that they would translate into gcc bugs.
If necessary, I can post screen output of 'make check' in question.
Please send the error messages that you are seeing, together with more information about the machine and OS that you are using.
Please find 'make check' screen output attached.
Error messages are apparently at the end, but maybe some other info is necessary, so I decided to attach the whole file.
Dear Sergei,
as Sebastian anticipated, we need more information about the machine and OS you are using. We also need to know the versions of GCC, GMP and GLPK. The problem shown by the log file you attached concerns ppl_lpsol, an utility using the MIP_Problem class via the C interface of the PPL (the same interface used by GCC). In contrast, the same log file shows that testing via the C++ interface in tests/MIP_Problem/ succeeds. Looking forward to receive more information,
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
This is the info:
" uname -a Linux amdam2 2.6.27.48-0.2-default #1 SMP 2010-07-29 20:06:52 +0200 i686 athlon i386 GNU/Linux "
- this is 32 bit SUSE-11.1 in simple English.
Regarding versions - I am building as much as possible from sources with a tool of mine, so the versions can be seen in the attached autogenerated 'config_wrapper.sh' script used to run 'confugure'.
I have also attached 'configure' screen output - please see it in 'configure.log' file.
Thanks, Sergei.