-------- 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@googlemail.com To: Dave Korn dave.korn.cygwin@googlemail.com CC: Roberto Bagnara bagnara@cs.unipr.it 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 49DC59C2.40109@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