Re: [PPL-devel] PPL fails to build on SGI