[PPL-devel] ppl 0.9 make check failures on i686-apple-darwin9

[Jack Howarth]

Roberto,
     Do you mean that everything has been tested on PowerPC
Darwin or that everything has been tested under Tiger (darwin8)
rather than Leopard (darwin9)? I'll try building ppl 0.9 under
powerpc-apple-darwin9 here and see what the Make check results
are for that target.
                 Jack
ps I can also try using the gcc-4.2 compilers in Xcode 3.1
to see if that makes a difference on i686-apple-darwin9. Oh,
did the folks who tested ppl on Darwin use Apple's gcc compilers
or the FSF ones?

On Wed, Aug 06, 2008 at 05:47:27PM +0200, Roberto Bagnara wrote:
>
> I didn't say it hasn't been tested: we have several users who use PPL
> on Darwin and any bug that has been reported has been fixed.
> The point is that, right now, no PPL developer has access to such
> a machine: we thus depend on the input our users provide to us.
> 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 at cs.unipr.it