2 AM_INIT_AUTOMAKE(isl, 0.00)
8 AX_CREATE_STDINT_H(include/isl_stdint.h)
10 AC_ARG_WITH(gmp_prefix,
11 [AS_HELP_STRING([--with-gmp-prefix=DIR],
12 [Location of GMP installation])])
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"
22 AC_DEFUN([ISL_SUBMODULE],[
23 AC_ARG_WITH($1_prefix,
24 [AS_HELP_STRING([--with-$1-prefix=DIR],
25 [Location of system $1])])
26 AC_ARG_WITH($1_builddir,
27 [AS_HELP_STRING([--with-$1-builddir=DIR],
28 [Location of $1 builddir])])
29 if test "x$with_$1_prefix" != "x"; then
30 if test "x$with_$1" != "x" -a "x$with_$1" != "xsystem"; then
31 AC_MSG_ERROR([Setting $with_$1_prefix implies use of system $1])
35 if test "x$with_$1_builddir" != "x"; then
36 if test "x$with_$1" != "x" -a "x$with_$1" != "xbuild"; then
37 AC_MSG_ERROR([Setting $with_$1_builddir implies use of build $1])
40 $1_srcdir=`echo @abs_srcdir@ | $with_$1_builddir/config.status --file=-`
41 AC_MSG_NOTICE($1 sources in $$1_srcdir)
44 no|bundled|system|build)
47 if test -d $srcdir/.git -a \
49 ! -d $srcdir/$1/.git; then
51 [git repo detected, but submodule $1 not initialized])
52 AC_MSG_WARN([You may want to run])
53 AC_MSG_WARN([ git submodule init])
54 AC_MSG_WARN([ git submodule update])
55 AC_MSG_WARN([ sh autogen.sh])
57 if test -f $srcdir/$1/configure; then
65 [AS_HELP_STRING([--with-polylib=build|system|no],
66 [Which PolyLib to use])])
67 ISL_SUBMODULE(polylib)
68 if test "x$with_polylib" = "x"; then
71 AC_MSG_CHECKING([which polylib to use])
72 AC_MSG_RESULT($with_polylib)
75 AC_SUBST(POLYLIB_CPPFLAGS)
76 AC_SUBST(POLYLIB_LDFLAGS)
77 AC_SUBST(POLYLIB_LIBS)
78 case "$with_polylib" in
80 polylibs=`echo @polylibs@ | $with_polylib_builddir/config.status --file=-`
81 AC_MSG_NOTICE(Configured polylibs: $polylibs)
82 isl_cv_polylib=missing
83 for bits in $polylibs; do
84 if test "$bits" = "libpolylibgmp.la"; then
88 if test "$isl_cv_polylib" = "missing"; then
89 AC_MSG_ERROR(no gmp polylib configured)
91 POLYLIB_CPPFLAGS="-I$with_polylib_builddir/include -I$polylib_srcdir/include"
92 POLYLIB_LIBS="$with_polylib_builddir/libpolylibgmp.la"
95 POLYLIB_LIBS="-lpolylibgmp"
96 if test "x$with_polylib_prefix" != "x"; then
97 POLYLIB_CPPFLAGS="-I$with_polylib_prefix/include"
98 POLYLIB_LDFLAGS="-L$with_polylib_prefix/lib"
100 SAVE_CPPFLAGS="$CPPFLAGS"
101 SAVE_LDFLAGS="$LDFLAGS"
102 CPPFLAGS="$POLYLIB_CPPFLAGS $CPPFLAGS"
103 LDFLAGS="$POLYLIB_LDFLAGS $LDFLAGS"
104 AC_CHECK_LIB(polylibgmp, PolyhedronTSort,[ true ],[
105 AC_MSG_ERROR(Need polylib)
107 CPPFLAGS="$SAVE_CPPFLAGS"
108 LDFLAGS="$SAVE_LDFLAGS"
113 AC_MSG_ERROR(unsupported)
116 if test "$with_polylib" != "no"; then
117 AC_DEFINE(ISL_POLYLIB,,polylib is available)
120 AM_CONDITIONAL(HAVE_POLYLIB, test x$have_polylib = xtrue)
123 [AS_HELP_STRING([--with-piplib=build|bundled|system|no],
124 [Which piplib to use])])
125 ISL_SUBMODULE(piplib)
126 if test "x$with_piplib" = "x"; then
129 AC_MSG_CHECKING([which piplib to use])
130 AC_MSG_RESULT($with_piplib)
133 AC_SUBST(PIPLIB_CPPFLAGS)
134 AC_SUBST(PIPLIB_LDFLAGS)
135 AC_SUBST(PIPLIB_LIBS)
136 case "$with_piplib" in
138 PIPLIB_CPPFLAGS="-I$srcdir/piplib/include"
139 isl_configure_args="$isl_configure_args --enable-mp-version"
142 PIPLIB_CPPFLAGS="-I$piplib_srcdir/include"
143 PIPLIB_LIBS="$with_piplib_builddir/libpiplibMP.la"
146 PIPLIB_LIBS="-lpiplibMP"
147 if test "x$with_piplib_prefix" != "x"; then
148 PIPLIB_CPPFLAGS="-I$with_piplib_prefix/include"
149 PIPLIB_LDFLAGS="-L$with_piplib_prefix/lib"
151 SAVE_CPPFLAGS="$CPPFLAGS"
152 SAVE_LDFLAGS="$LDFLAGS"
153 CPPFLAGS="$PIPLIB_CPPFLAGS $CPPFLAGS"
154 LDFLAGS="$PIPLIB_LDFLAGS $LDFLAGS"
155 AC_CHECK_LIB(piplibMP, pip_solve,[
156 AC_CHECK_MEMBER(PipOptions.Urs_parms, [], [
157 AC_MSG_ERROR([Piplib too old; please install version 1.3.6 or newer])
158 ],[#include <piplib/piplibMP.h>])
160 AC_MSG_ERROR([Piplib not found])
162 CPPFLAGS="$SAVE_CPPFLAGS"
163 LDFLAGS="$SAVE_LDFLAGS"
168 AC_MSG_ERROR(unsupported)
171 if test "$with_piplib" != "no"; then
172 AC_DEFINE(ISL_PIPLIB,,piplib is available)
175 AM_CONDITIONAL(HAVE_PIPLIB, test x$have_piplib = xtrue)
176 AM_CONDITIONAL(BUNDLED_PIPLIB, test $with_piplib = bundled)
178 AC_CONFIG_HEADERS(config.h)
179 AC_CONFIG_HEADERS(include/isl_ctx.h)
180 AC_CONFIG_FILES(Makefile)
181 if test $with_piplib = bundled; then
182 AC_CONFIG_SUBDIRS(piplib)
184 AC_CONFIG_COMMANDS_POST([
185 dnl pass on arguments to subdir configures, but don't
186 ac_configure_args="$ac_configure_args $isl_configure_args"
187 ac_configure_args="$ac_configure_args $isl_configure_args"