===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/configure.in,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -p -r1.10 -r1.11
--- OpenXM/src/ox_toolkit/configure.in	2004/06/28 12:39:11	1.10
+++ OpenXM/src/ox_toolkit/configure.in	2005/03/03 04:40:51	1.11
@@ -1,4 +1,4 @@
-dnl  $OpenXM: OpenXM/src/ox_toolkit/configure.in,v 1.9 2004/02/28 23:39:38 ohara Exp $
+dnl  $OpenXM: OpenXM/src/ox_toolkit/configure.in,v 1.10 2004/06/28 12:39:11 ohara Exp $
 dnl  If you change this file, do not forget to run autoconf and rm .configure_done
 
 AC_INIT(mysocket.c)
@@ -14,15 +14,6 @@ AC_PATH_XTRA
 if test "${ac_test_CFLAGS}" != set -a "${GCC}" = yes ; then
     CFLAGS="${CFLAGS} -finline-functions"
 fi
-
-AC_ARG_WITH([gmp],
-[  --with-gmp              with the GNU MP library [[no]]],
-[with_gmp=yes],[with_gmp=no])
-
-if test ${with_gmp:=no} != no ; then
-    AC_DEFINE([WITH_GMP])
-fi
-AM_CONDITIONAL([USE_GMP],[test "$with_gmp" = yes])
 
 case "${host}" in
 [i[3-6]86-*-interix*])