[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