[PPL-devel] [PATCH] fix --with-gmp-build= when gmp builddir != srcdir

[Roberto Bagnara]

On 11/05/11 21:52, Serge Belyshev wrote:
> This patch does two things:
>
> * fixes logic error introduced in 1f0282c0
> * allows --with-gmp-build= to work when gmp was built not in the source
>    directory.
>
> Note that --with-gmp-build= still doesn't work when --enable-shared is
> specified (--disable-shared is ok).
>
> This patch is required to restore possibility to build gmp and ppl in a
> combined tree with gcc.

Thanks Serge!
Concerning the joint use of --with-gmp-build= and --enable-shared,
I guess the problem is that the dynamic linker/loader must be taught
where to find the GMP library just build.  What might be a portable
way to do that?
Thanks again,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it