On Thu, Apr 16, 2009 at 02:08:32PM +0200, Roberto Bagnara 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,
Roberto-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
The 0.10.2pre1 snapshot builds fine and passes the testsuite on x86_64-apple-darwin10. FYI. Jack