-dnl
-dnl interfacing to GNU gmp (must be at least version 3)
-dnl
-AC_ARG_WITH(gmp, [ --with-gmp use external fast low-level functions from GNU MP 3.
- [default=yes]], ,with_gmp="yes")
-if test "$with_gmp" = yes; then
- CL_GMP_H_VERSION
- if test "$cl_cv_new_gmp_h" = no; then with_gmp="no"; fi
- if test "$with_gmp" = yes; then
- CL_GMP_CHECK
- if test "$cl_cv_new_libgmp" = no; then with_gmp="no"; fi
- fi
-fi
-if test "$with_gmp" = yes; then
- CL_GMP_SET_UINTD
- AC_DEFINE(CL_USE_GMP)
-else
- AC_MSG_WARN([disabling external GNU MP library])
-fi