[PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Roberto Bagnara
bagnara at cs.unipr.it
Sat Oct 24 14:38:46 CEST 2009
[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
More information about the PPL-devel
mailing list