[PPL-devel] [Fwd: Re: First PPL 0.10.1 release candidate]
Roberto Bagnara
bagnara at cs.unipr.it
Wed Apr 8 10:47:46 CEST 2009
-------- 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 at googlemail.com>
To: Roberto Bagnara <bagnara at cs.unipr.it>
CC: Dave Korn <dave.korn.cygwin at googlemail.com>
References: <49DB03C4.9040604 at cs.unipr.it> <49DB6802.5060205 at gmail.com> <49DB7131.1050103 at cs.unipr.it> <49DB77D9.7080903 at gmail.com> <49DB79CA.5070504 at cs.unipr.it> <49DB9736.6030303 at gmail.com> <49DBB404.7060909 at 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!
> 2) 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
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list