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.
Dear Sebastian, I reproduced the problem and I am working on a fix. Thanks for the report, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it