isl_tab_pip.c: move current best solution into isl_lexmin_data
[isl.git] / m4 / ax_detect_imath.m4
blob9c30a614e3fccb2a002429bb566bfd9094dcc969
1 AC_DEFUN([AX_DETECT_IMATH], [
2 AC_DEFINE([USE_IMATH_FOR_MP], [], [use imath to implement isl_int])
4 MP_CPPFLAGS="-I$srcdir/imath_wrap"
5 MP_LDFLAGS=""
6 MP_LIBS=""
8 SAVE_CPPFLAGS="$CPPFLAGS"
9 CPPFLAGS="$MP_CPPFLAGS $CPPFLAGS"
10 AC_CHECK_HEADER([imath.h], [], [AC_ERROR([imath.h header not found])])
11 AC_CHECK_HEADER([gmp_compat.h], [], [AC_ERROR([gmp_compat.h header not found])])
12 CPPFLAGS="$SAVE_CPPFLAGS"
14 AM_CONDITIONAL(NEED_GET_MEMORY_FUNCTIONS, test x = xfalse)