[PPL-devel] [GIT] ppl/ppl(master): AC_CHECK_GMP fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Wed May 13 07:03:09 CEST 2009
Module: ppl/ppl
Branch: master
Commit: c95ec7331cb7a9026ba8618fe0a875bf2944ed0b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95ec7331cb7a9026ba8618fe0a875bf2944ed0b
Author: Roberto Bagnara <bagnara at 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])
More information about the PPL-devel
mailing list