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:bagn...@cs.unipr.it
>
The 0.10.2pre1 snapshot builds fine and passes the testsuite
on x86_64-apple-darwin10. FYI.
Jack
