[PPL-devel] [Fwd: Re: Modified PPL 0.10.2 source distribution for Solaris]

[Roberto Bagnara]

-------- 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 at cs.unipr.it>
References: <4AD7B802.8070601 at codesourcery.com>	<4AD811C4.2040004 at cs.unipr.it>	<4AD87DF5.6010701 at codesourcery.com>	<4AE0B76D.30902 at cs.unipr.it>	<4AE1E9D2.5050600 at codesourcery.com>	<4AE2F556.5020505 at 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

-- 
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