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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 13 07:02:44 2009 +0200

AC_CHECK_GMP fixed.

---

m4/ac_check_gmp.m4 | 19 +++++++++---------- 1 files changed, 9 insertions(+), 10 deletions(-)

diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 62bb1a9..c57c448 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -35,16 +35,15 @@ fi AC_ARG_WITH(gmp-build, AS_HELP_STRING([--with-gmp-build=DIR], [use a non-installed build of GMP in DIR]), - gmp_build_dir=$with_gmp_build) - -if test -z "$with_libgmp_prefix" -then - CPPFLAGS="$CPPFLAGS -I$gmp_build_dir -I$gmp_build_dir/tune" - LDFLAGS="$LDFLAGS -L$gmp_build_dir -L$gmp_build_dir/.libs" - LDFLAGS="$LDFLAGS -L$gmp_build_dir/tune" -else - AC_MSG_ERROR([cannot use --with-gmp-build and --with-libgmp* together]) -fi + gmp_build_dir=$with_gmp_build + if test -z "$with_libgmp_prefix" + then + CPPFLAGS="$CPPFLAGS -I$gmp_build_dir -I$gmp_build_dir/tune" + LDFLAGS="$LDFLAGS -L$gmp_build_dir -L$gmp_build_dir/.libs" + LDFLAGS="$LDFLAGS -L$gmp_build_dir/tune" + else + AC_MSG_ERROR([cannot use --with-gmp-build and --with-libgmp* together]) + fi)

dnl Check how to link with libgmp. AC_LIB_LINKFLAGS([gmp])