=================================================================== RCS file: /home/cvs/OpenXM/src/ox_toolkit/configure.in,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/src/ox_toolkit/configure.in 2003/03/23 20:17:35 1.4 +++ OpenXM/src/ox_toolkit/configure.in 2003/03/23 21:50:56 1.5 @@ -1,4 +1,4 @@ -dnl $OpenXM: OpenXM/src/ox_toolkit/configure.in,v 1.3 2000/03/08 05:46:14 ohara Exp $ +dnl $OpenXM: OpenXM/src/ox_toolkit/configure.in,v 1.4 2003/03/23 20:17:35 ohara Exp $ dnl If you change this file, do not forget to run autoconf and rm .configure_done @@ -9,7 +9,7 @@ dnl AC_PROG_LN_S dnl AC_PROG_INSTALL AC_PATH_XTRA -AC_ARG_ENABLE([gmp], +AC_ARG_WITH([gmp], [ --with-gmp with the GNU MP library [[no]]], [with_gmp=yes],[with_gmp=no])