version 1.4, 2003/03/23 20:17:35 |
version 1.5, 2003/03/23 21:50:56 |
|
|
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 |
dnl If you change this file, do not forget to run autoconf and rm .configure_done |
|
|
|
|
|
|
dnl AC_PROG_INSTALL |
dnl AC_PROG_INSTALL |
AC_PATH_XTRA |
AC_PATH_XTRA |
|
|
AC_ARG_ENABLE([gmp], |
AC_ARG_WITH([gmp], |
[ --with-gmp with the GNU MP library [[no]]], |
[ --with-gmp with the GNU MP library [[no]]], |
[with_gmp=yes],[with_gmp=no]) |
[with_gmp=yes],[with_gmp=no]) |
|
|