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"