AC_DEFUN([AX_DETECT_IMATH], [
AC_DEFINE([USE_IMATH_FOR_MP], [], [use imath to implement isl_int])

MP_CPPFLAGS="-I$srcdir/imath_wrap"
MP_LDFLAGS=""
MP_LIBS=""

SAVE_CPPFLAGS="$CPPFLAGS"
CPPFLAGS="$MP_CPPFLAGS $CPPFLAGS"
AC_CHECK_HEADER([imath.h], [], [AC_ERROR([imath.h header not found])])
AC_CHECK_HEADER([gmp_compat.h], [], [AC_ERROR([gmp_compat.h header not found])])
CPPFLAGS="$SAVE_CPPFLAGS"

AM_CONDITIONAL(NEED_GET_MEMORY_FUNCTIONS, test x = xfalse)
])