On Thu, 16 Apr 2009 14:08:32 +0200 Roberto Bagnara <bagn...@cs.unipr.it> wrote:
> > All the problems of PPL 0.10.1 we are aware of have been > fixed in the snapshot of PPL 0.10.2 available at > > ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ > > In particular here is what has changed: > > - Correctly detect GMP 4.3.0. > > - Fixed the C interface library version information. > > - Test program tests/Polyhedron/memory1 disabled on the zSeries s390x > platform. > > - Makefiles fixed so as to avoid failure of `make -n check'. > > If no further issues are reported, that snapshot will be > relabeled PPL 0.10.2 and released on Saturday, April 18, 2009. > Thanks to all who provided feedback. > All the best, Everything is working here as well. Thanks for your quick response. -- gcc-porting, by design, by neglect treecleaner, for a fact or just for effect wxwidgets @ gentoo EFFD 380E 047A 4B51 D2BD C64F 8AA8 8346 F9A4 0662
signature.asc
Description: PGP signature