-------- 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
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it