Re: [PPL-devel] difficulties building PPL 0.11.2 without "--enable-shared"