[PPL-devel] [GIT] ppl/ppl(master): Fixed the handling of the `--with-gmp-build' configure option.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Nov 6 09:12:23 CET 2011
Module: ppl/ppl
Branch: master
Commit: d61331e3b9788b555833f103556df34091f1c6da
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61331e3b9788b555833f103556df34091f1c6da
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Nov 6 09:10:54 2011 +0100
Fixed the handling of the `--with-gmp-build' configure option.
(Thanks to Serge Belyshev.)
---
m4/ac_check_gmp.m4 | 9 +++++----
1 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4
index 3b98868..87a178e 100644
--- a/m4/ac_check_gmp.m4
+++ b/m4/ac_check_gmp.m4
@@ -57,15 +57,16 @@ 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 -n "$with_gmp" \
+ if test -n "$with_gmp"
|| test -n "$with_gmp_include" || test -n "$with_gmp_lib"
then
- gmp_include_options="-I$gmp_build_dir -I$gmp_build_dir/tune"
+ AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together])
+ else
gmp_library_paths="$gmp_build_dir$PATH_SEPARATOR$gmp_build_dir/.libs:$gmp_build_dir/tune"
gmp_library_options="-L$gmp_build_dir -L$gmp_build_dir/.libs"
gmp_library_options="$gmp_library_options -L$gmp_build_dir/tune"
- else
- AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together])
+ gmp_srcdir=`echo @abs_srcdir@ | $gmp_build_dir/config.status --file=-`
+ gmp_include_options="-I$gmp_build_dir -I$gmp_build_dir/tune -I$gmp_srcdir"
fi)
gmp_library_options="$gmp_library_options -lgmpxx -lgmp"
More information about the PPL-devel
mailing list