[PPL-devel] a proposal for the FAQs

Dear PPL-developers,

I got the "GMP not found", because there had been a typo in an additional compiler option. "GMP not found" is quite misleading, isn't it? I suggest you add this possible reason for the message to http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found.

Sincerly, Peter Pein