On Thu, Apr 16, 2009 at 2:08 PM, 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.
Huh. It looks like the test only randomly fails. Thus I didn't notice that the preprocessor define is __s390x__ instead of __s390x. Otherwise it works all fine now. Thanks, Richard.
