[PPL-devel] Modified PPL 0.10.2 source distribution for Solaris

[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