-------- Original Message -------- Subject: Re: Modified PPL 0.10.2 source distribution for Solaris Date: Sun, 25 Oct 2009 01:54:36 +0200 From: XXX Organization: YYY To: Roberto Bagnara bagnara@cs.unipr.it References: 4AD7B802.8070601@codesourcery.com 4AD811C4.2040004@cs.unipr.it 4AD87DF5.6010701@codesourcery.com 4AE0B76D.30902@cs.unipr.it 4AE1E9D2.5050600@codesourcery.com 4AE2F556.5020505@cs.unipr.it

compiles perfectly fine. thanks a lot! tested on solaris10/x86, solaris10/sparc, solaris9/sparc, solaris8/sparc, linux/x86 aaaa

On Sat, 24 Oct 2009 14:38:46 +0200 Roberto Bagnara wrote:

[Apologies if you are no longer interested. RB]

Hi there.

In order to facilitate Solaris users, we have just uploaded modified PPL 0.10.2 source distributions that, by simply renaming a few template variables, work around the Solaris bug whereby <sys/regset.h> is unnecessarily included. The archives are here:

ftp://ftp.cs.unipr.it/pub/ppl/releases/0.10.2/solaris/

We would appreciate knowing how they go. All the best,

Roberto