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

[Roberto Bagnara]

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

-- 
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