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

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