[PPL-devel] [GIT] ppl/ppl(master): Do not rely on libtool guessing the language.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: d625166f50df535efe9a2e7fb8e0b37c350d07bb
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d625166f50df535efe9a2e7fb8e0b37c350d07bb

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Nov  8 05:13:33 2011 +0100

Do not rely on libtool guessing the language.
(Thanks to Serge Belyshev.)

---

 m4/ac_check_gmp.m4 |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4
index 469f536..28c22b9 100644
--- a/m4/ac_check_gmp.m4
+++ b/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"