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

[Serge Belyshev]

Roberto Bagnara <bagnara at cs.unipr.it> writes:
> Thanks a lot Serge.

You are welcome.

The patch needs a follow-up though: below is a fix for the case when
libtool cannot guess language from compiler name (which actually happens
when PPL is built with gcc in a combined tree):

---
 m4/ac_check_gmp.m4 |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Index: ppl/m4/ac_check_gmp.m4
===================================================================
--- ppl.orig/m4/ac_check_gmp.m4
+++ ppl/m4/ac_check_gmp.m4
@@ -72,7 +72,7 @@ AC_ARG_WITH(gmp-build,
 gmp_library_options="$gmp_library_options $gmp_libs"
 
 ac_save_CXX="$CXX"
-CXX="libtool --mode=link $CXX"
+CXX="libtool --mode=link --tag=CXX $CXX"
 ac_save_CPPFLAGS="$CPPFLAGS"
 CPPFLAGS="$CPPFLAGS $gmp_include_options"
 ac_save_LIBS="$LIBS"