1AC_DEFUN([AX_DETECT_IMATH], [
2AC_DEFINE([USE_IMATH_FOR_MP], [], [use imath to implement isl_int])
3
4MP_CPPFLAGS="-I$srcdir/imath_wrap"
5MP_LDFLAGS=""
6MP_LIBS=""
7
8SAVE_CPPFLAGS="$CPPFLAGS"
9CPPFLAGS="$MP_CPPFLAGS $CPPFLAGS"
10AC_CHECK_HEADER([imath.h], [], [AC_ERROR([imath.h header not found])])
11AC_CHECK_HEADER([gmp_compat.h], [], [AC_ERROR([gmp_compat.h header not found])])
12CPPFLAGS="$SAVE_CPPFLAGS"
13
14AM_CONDITIONAL(NEED_GET_MEMORY_FUNCTIONS, test x = xfalse)
15])
16