Roberto Bagnara <bagnara@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"