Bruno Haible wrote:
Yes. Since the macro changes CPPFLAGS, it should come right after the detection of the C/C++ compiler, before other checks for include files and libraries.
Dear Bruno, I am sorry to bother you again, but I am missing something. As an aid to find those Makefile.am's where I need to add @LTLIBGMPXX@ to the link command line, I have removed GMP from the standard places and put it in a nonstandard place. Then I did /home/roberto/ppl/ppl/configure --with-libgmp-prefix=/tmp/jank/ \ --with-libgmpxx-prefix=/tmp/jank/ In config.log I find ac_cv_libgmp_cppflags= [...] ac_cv_libgmpxx_cppflags=-I/tmp/jank//include which seems right for libgmpxx (but why isn't libgmp treated the same way?) Moreover all the generated Makefile's have CPPFLAGS = so that compilation fails miserably because gmpxx.h cannot be found. What am I missing? Cheers, Roberto P.S. To save your time, here is a checkout command you can copy&paste: cvs -d :pserver:anoncvs@cvs.cs.unipr.it:/cvs/ppl -z 9 checkout -P ppl -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it