-------- Original Message -------- Subject: Re: [PPL-devel] First PPL 0.10.1 release candidate Date: Wed, 08 Apr 2009 09:01:06 +0100 From: Dave Korn dave.korn.cygwin@googlemail.com To: Roberto Bagnara bagnara@cs.unipr.it CC: Dave Korn dave.korn.cygwin@googlemail.com References: 49DB03C4.9040604@cs.unipr.it 49DB6802.5060205@gmail.com 49DB7131.1050103@cs.unipr.it 49DB77D9.7080903@gmail.com 49DB79CA.5070504@cs.unipr.it 49DB9736.6030303@gmail.com 49DBB404.7060909@cs.unipr.it
Roberto Bagnara wrote:
This is what it should print when successful. If you see no output at all, it means it dies at a very early stage. I suspect this to be the case.
:) You were dead right there!
- Reconfigure the PPL with --disable-optimization, make clean, make check, and then, with gdb, try to understand why it fails. The fact that _all_ the tests not in the Watchdog directory fail makes me think that the reason of failure has nothing to do with what the individual tests are checking. A failure in dynamically loading a library (GMP?) seems more plausible.
Yes, I assume it's a problem with the infrastructure somehow.
Build underway, will report back later.
cheers, DaveK