"Tovrea, George W (US SSA)" <george.tovrea at baesystems.com> writes: I ran configure with --enable-cxx=yes. libgmpxx.a was generated, but no gmpxx.h. This file is required by ppl to verify the gmp version. Look in the source directory. (But I don't think gmpxx.h is a good place to look for GMP version.) -- Torbjörn