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