3 AC_CONFIG_MACRO_DIR([m4])
4 AM_INIT_AUTOMAKE(isl, 0.00)
10 AX_CREATE_STDINT_H(include/isl_stdint.h)
12 AX_SUBMODULE(gmp,system,system)
14 AC_SUBST(GMP_CPPFLAGS)
16 if test "x$with_gmp_prefix" != "x"; then
17 isl_configure_args="$isl_configure_args --with-gmp=$with_gmp_prefix"
18 GMP_CPPFLAGS="-I$with_gmp_prefix/include"
19 GMP_LDFLAGS="-L$with_gmp_prefix/lib"
21 SAVE_CPPFLAGS="$CPPFLAGS"
22 CPPFLAGS="$GMP_CPPFLAGS $CPPFLAGS"
23 need_get_memory_functions=false
24 AC_CHECK_DECLS(mp_get_memory_functions,[],[
25 need_get_memory_functions=true
27 CPPFLAGS="$SAVE_CPPFLAGS"
28 AM_CONDITIONAL(NEED_GET_MEMORY_FUNCTIONS, test x$need_get_memory_functions = xtrue)
30 AX_SUBMODULE(polylib,no|system|build,no)
33 AC_SUBST(POLYLIB_CPPFLAGS)
34 AC_SUBST(POLYLIB_LDFLAGS)
35 AC_SUBST(POLYLIB_LIBS)
36 case "$with_polylib" in
38 polylibs=`echo @polylibs@ | $with_polylib_builddir/config.status --file=-`
39 AC_MSG_NOTICE(Configured polylibs: $polylibs)
40 isl_cv_polylib=missing
41 for bits in $polylibs; do
42 if test "$bits" = "libpolylibgmp.la"; then
46 if test "$isl_cv_polylib" = "missing"; then
47 AC_MSG_ERROR(no gmp polylib configured)
49 POLYLIB_CPPFLAGS="-I$with_polylib_builddir/include -I$polylib_srcdir/include"
50 POLYLIB_LIBS="$with_polylib_builddir/libpolylibgmp.la"
53 POLYLIB_LIBS="-lpolylibgmp"
54 if test "x$with_polylib_prefix" != "x"; then
55 POLYLIB_CPPFLAGS="-I$with_polylib_prefix/include"
56 POLYLIB_LDFLAGS="-L$with_polylib_prefix/lib"
58 SAVE_CPPFLAGS="$CPPFLAGS"
59 SAVE_LDFLAGS="$LDFLAGS"
60 CPPFLAGS="$POLYLIB_CPPFLAGS $CPPFLAGS"
61 LDFLAGS="$POLYLIB_LDFLAGS $LDFLAGS"
62 AC_CHECK_LIB(polylibgmp, PolyhedronTSort,[ true ],[
63 AC_MSG_ERROR(Need polylib)
65 CPPFLAGS="$SAVE_CPPFLAGS"
66 LDFLAGS="$SAVE_LDFLAGS"
71 AC_MSG_ERROR(unsupported)
74 if test "$with_polylib" != "no"; then
75 AC_DEFINE(ISL_POLYLIB,,polylib is available)
78 AM_CONDITIONAL(HAVE_POLYLIB, test x$have_polylib = xtrue)
80 AX_SUBMODULE(piplib,no|system|build|bundled,no)
83 AC_SUBST(PIPLIB_CPPFLAGS)
84 AC_SUBST(PIPLIB_LDFLAGS)
86 case "$with_piplib" in
88 PIPLIB_CPPFLAGS="-I$srcdir/piplib/include"
89 isl_configure_args="$isl_configure_args --with-bits=gmp"
92 PIPLIB_CPPFLAGS="-I$piplib_srcdir/include"
93 PIPLIB_LIBS="$with_piplib_builddir/libpiplibMP.la"
96 PIPLIB_LIBS="-lpiplibMP"
97 if test "x$with_piplib_prefix" != "x"; then
98 PIPLIB_CPPFLAGS="-I$with_piplib_prefix/include"
99 PIPLIB_LDFLAGS="-L$with_piplib_prefix/lib"
101 SAVE_CPPFLAGS="$CPPFLAGS"
102 SAVE_LDFLAGS="$LDFLAGS"
103 CPPFLAGS="$PIPLIB_CPPFLAGS $CPPFLAGS"
104 LDFLAGS="$PIPLIB_LDFLAGS $LDFLAGS"
105 AC_CHECK_LIB(piplibMP, pip_solve,[
106 AC_CHECK_MEMBER(PipOptions.Urs_parms, [], [
107 AC_MSG_ERROR([Piplib too old; please install version 1.3.6 or newer])
108 ],[#include <piplib/piplibMP.h>])
110 AC_MSG_ERROR([Piplib not found])
112 CPPFLAGS="$SAVE_CPPFLAGS"
113 LDFLAGS="$SAVE_LDFLAGS"
118 AC_MSG_ERROR(unsupported)
121 if test "$with_piplib" != "no"; then
122 AC_DEFINE(ISL_PIPLIB,,piplib is available)
125 AM_CONDITIONAL(HAVE_PIPLIB, test x$have_piplib = xtrue)
126 AM_CONDITIONAL(BUNDLED_PIPLIB, test $with_piplib = bundled)
128 AC_CONFIG_HEADERS(config.h)
129 AC_CONFIG_HEADERS(include/isl_libs.h)
130 AC_CONFIG_FILES(Makefile)
131 if test $with_piplib = bundled; then
132 AC_CONFIG_SUBDIRS(piplib)
134 AC_CONFIG_COMMANDS_POST([
135 dnl pass on arguments to subdir configures, but don't
136 ac_configure_args="$ac_configure_args $isl_configure_args"
137 ac_configure_args="$ac_configure_args $isl_configure_args"