[PPL-devel] Re: ac_check_gmp.m4 in ppl

[Roberto Bagnara]

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