Re: Problems with in-tree host libraries (gmp, ppl, etc)

[Roberto Bagnara <bagnara at cs dot unipr dot it>]

Kaveh R. GHAZI wrote:
> On Sat, 2 May 2009, Anthony Green wrote:
>
> > The top level configury suggests that you can simply drop gmp, ppl, etc
> > into the top level source dir and they will get configured and used.
> > Does this really work?
>
> It is supposed to.  I haven't worked on or tested the ppl machinery so I
> don't know what shape it is in.
>
>
> > Index: Makefile.def
> > ===================================================================
> > --- Makefile.def        (revision 146995)
> > +++ Makefile.def        (working copy)
> > @@ -60,7 +60,7 @@
> >  host_modules= { module= gawk; };
> >  host_modules= { module= gettext; };
> >  host_modules= { module= gmp; lib_path=.libs; bootstrap=true;
> > -               extra_configure_flags='--disable-shared';
> > +               extra_configure_flags='--disable-shared --enable-cxx';
> >                 no_install= true;
> >                 host="none-${host_vendor}-${host_os}";
> >                 target="none-${host_vendor}-${host_os}"; };
>
>
> I would only pass in this flag if ppl is being used.  Look at what I did
> with extra_mpfr_configure_flags in the top level directory.  You can use a
> similar mechanism to have a flag passed in to the gmp build conditionally.
>
>
> > Even then, the ppl configury isn't detecting the gmp we just built.  It
> > seems as though we should install gmp in a local temporary install tree
> > and point ppl at that.  See below for a trace of the ppl configury as it
> > attempts to detect an in-tree gmp (after applying the patch above).
> > AG
>
> I don't know if ppl was ever setup to detect/use an in-tree gmp.  It would
> need to be able to specify --with-gmp-build= or something equivalent to
> get the header and library from a build tree rather than an install tree.
> They're laid out slightly differently.

The PPL configure script offers the following options:

  --with-libgmp-prefix[=DIR]  search for libgmp in DIR/include and DIR/lib
  --without-libgmp-prefix     don't search for libgmp in includedir and libdir
  --with-libgmpxx-prefix[=DIR]  search for libgmpxx in DIR/include and DIR/lib
  --without-libgmpxx-prefix     don't search for libgmpxx in includedir and libdir

If the C and the C++ interface of GMP have been installed in the same places,
specifying --with-libgmp-prefix[=DIR] is enough.

If you think that being able to use a non-installed GMP build tree is important,
we can add an option to that effect.

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it