[PPL-devel] configure problem when gmpxx is not installed in standard location
bagnara at cs.unipr.it
Tue Oct 7 22:24:20 CEST 2008
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.
the 0.10pre34 snapshot, available at the usual place, fixes this problem.
Please let us know how it goes.
All the best,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel