[PPL-devel] configure problem when gmpxx is not installed in standard location

[Roberto Bagnara]

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 at cs.unipr.it