17 Apr
2009
17 Apr
'09
6:41 p.m.
On Thu, 16 Apr 2009 14:08:32 +0200 Roberto Bagnara bagnara@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