update isl for keeping track of user options
[barvinok.git] / m4 / xsize.m4
blob85bb721e43e854f923d96ea65ba070ac9100c8c4
1 # xsize.m4 serial 3
2 dnl Copyright (C) 2003-2004 Free Software Foundation, Inc.
3 dnl This file is free software; the Free Software Foundation
4 dnl gives unlimited permission to copy and/or distribute it,
5 dnl with or without modifications, as long as this notice is preserved.
7 AC_DEFUN([gl_XSIZE],
9   dnl Prerequisites of lib/xsize.h.
10   AC_REQUIRE([gl_SIZE_MAX])
11   AC_REQUIRE([AC_C_INLINE])
12   AC_CHECK_HEADERS(stdint.h)