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