Bump minimum gmp version to 4.2.3

[Diego Novillo]

Doug was trying to build with gmp 4.2.1 and ran into this error:

gmp-4.2.1/include/gmp.h:515:12: error: 'std::FILE' has not been declared

This bug was fixed in gmp 4.2.3, so I've bumped the minimum
acceptable version in configure.ac

Tested on x86_64 with gmp 4.2.3.  Committed to trunk.


Diego.

    	* configure.ac: Bump minimum GMP version to 4.2.3.
	* configure: Re-generate.

diff --git a/configure b/configure
index 8272ed0..a5df0c8 100755
--- a/configure
+++ b/configure
@@ -5318,7 +5318,7 @@ main ()
 
   #define GCC_GMP_VERSION_NUM(a,b,c) (((a) << 16L) | ((b) << 8) | (c))
   #define GCC_GMP_VERSION GCC_GMP_VERSION_NUM(__GNU_MP_VERSION,__GNU_MP_VERSION_MINOR,__GNU_MP_VERSION_PATCHLEVEL)
-  #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,2,0)
+  #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,2,3)
   choke me
   #endif
 
diff --git a/configure.ac b/configure.ac
index 36830d1..a6f5828 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1358,7 +1358,7 @@ if test -d ${srcdir}/gcc && test "x$have_gmp" = xno; then
   AC_TRY_COMPILE([#include "gmp.h"],[
   #define GCC_GMP_VERSION_NUM(a,b,c) (((a) << 16L) | ((b) << 8) | (c))
   #define GCC_GMP_VERSION GCC_GMP_VERSION_NUM(__GNU_MP_VERSION,__GNU_MP_VERSION_MINOR,__GNU_MP_VERSION_PATCHLEVEL)
-  #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,2,0)
+  #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,2,3)
   choke me
   #endif
   ], [AC_TRY_COMPILE([#include <gmp.h>],[