From b8622a7e850a9eb10b19b4f5d2f4e8a1a22fa5aa Mon Sep 17 00:00:00 2001
From: Sebastian Pop <sebastian.pop@inria.fr>
Date: Wed, 21 Feb 2007 11:10:40 +0100
Subject: [PATCH] configure: rename --with-gmp_include and --with-gmp_library
 to --with-gmp-include and --with-gmp-library

---
 configure.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.in b/configure.in
index 7069515..4b3f4c3 100644
--- a/configure.in
+++ b/configure.in
@@ -105,14 +105,14 @@ AC_ARG_WITH(gmp,
           GMP_LIB=$gmp_package/lib &&
           NEED_MP="yes"])
 
-AC_ARG_WITH(gmp_include,
+AC_ARG_WITH(gmp-include,
         [  --with-gmp-include=DIR  DIR where gmp.h is installed],
 	[ echo "Package gmp-include : $withval" &&
 	  gmp_include_package=$withval &&
           GMP_INC=$gmp_include_package &&
 	  NEED_MP="yes"])
 
-AC_ARG_WITH(gmp_library,
+AC_ARG_WITH(gmp-library,
         [  --with-gmp-library=DIR  DIR where the gmp library is installed],
 	[ echo "Package gmp-library : $withval" &&
 	  gmp_library_package=$withval &&
-- 
2.11.4.GIT