Roberto Bagnara wrote:

Sebastian Pop wrote:

...

I found that PPL stops in configure when using --with-libgmpxx-prefix as it does not use the -I path to gmpxx and the gmpxx.h is not found. I managed to get around by setting the appropriate -I path in CXXFLAGS, and then configure stops again because it does not find the gmpxx lib, so I fixed temporarily this with setting LDFLAGS with the right -L path. I think that there is a missing bit in the configury files. This is with pre24 and also in the last pre32.

I reproduced the problem and I am working on a fix.

Dear Sebastian,

the 0.10pre34 snapshot, available at the usual place, fixes this problem. Please let us know how it goes. All the best,

Roberto