summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2006-11-20 05:40:58 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2006-11-20 05:40:58 +0000
commita2f67ccf5feeaa2ea07e88cac4c7fa5c848f88cc (patch)
treed5a92bc011216c4a6b146ca90ffa20f76100a1b2 /configure.in
parent0cf8ccef739db66bf99b588790f1ec8c5307e109 (diff)
downloadmpfr-a2f67ccf5feeaa2ea07e88cac4c7fa5c848f88cc.tar.gz
configure.in: unset GMP_CFLAGS and GMP_CC in case the user has set such
environment variables for another use. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4244 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in
index 5d58e5125..b322a2148 100644
--- a/configure.in
+++ b/configure.in
@@ -34,7 +34,7 @@ dnl There is still some problem with GMP's HAVE_CONFIG
dnl AC_CONFIG_HEADERS([mpfrconf.h:mpfrconf.in])
dnl Extra arguments to configure
-unset gmp_lib_path
+unset gmp_lib_path GMP_CFLAGS GMP_CC
AC_ARG_WITH(gmp_include,
[ --with-gmp-include=DIR GMP include directory ],
CPPFLAGS="$CPPFLAGS -I$withval")