[PPL-devel] Snapshots of PPL 0.10.2 available for testing
Ryan Hill
dirtyepic at gentoo.org
Fri Apr 17 18:41:10 CEST 2009
On Thu, 16 Apr 2009 14:08:32 +0200
Roberto Bagnara <bagnara at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090417/341839cf/attachment.sig>
More information about the PPL-devel
mailing list