[PPL-devel] [Fwd: Re: First PPL 0.10.1 release candidate]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] First PPL 0.10.1 release candidate
Date: Wed, 08 Apr 2009 09:59:19 +0100
From: Dave Korn <dave.korn.cygwin at googlemail.com>
To: Dave Korn <dave.korn.cygwin at googlemail.com>
CC: Roberto Bagnara <bagnara at cs.unipr.it>
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> <49DC59C2.40109 at gmail.com>

Dave Korn wrote:
> Roberto Bagnara wrote:
> 
>>  A
>>    failure in dynamically loading a library (GMP?)
>>    seems more plausible.
> 
>   Yes, I assume it's a problem with the infrastructure somehow.

   Ok, it's Not A Bug.  There was a packaging glitch in the latest Cygwin
libgmp update that silently uninstalled libgmpxx!  I'll report that upstream
and re-run the tests; the whole Powerset directory just passed for me so that
was probably the only problem.

     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