configure.ac

   1 AC_INIT
   2 AM_INIT_AUTOMAKE(isl, 0.00)
   3
   4 AC_PROG_CC
   5
   6 AC_PROG_LIBTOOL
   7
   8 AX_CREATE_STDINT_H(include/isl_stdint.h)
   9
  10 AC_ARG_WITH(gmp_prefix,
  11         [AS_HELP_STRING([--with-gmp-prefix=DIR],
  12                         [Location of GMP installation])])
  13
  14 AC_SUBST(GMP_CPPFLAGS)
  15 AC_SUBST(GMP_LDFLAGS)
  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"
  20 fi
  21
  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])
  32                 fi
  33                 with_$1="system"
  34         fi
  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])
  38                 fi
  39                 with_$1="build"
  40                 $1_srcdir=`echo @abs_srcdir@ | $with_$1_builddir/config.status --file=-`
  41                 AC_MSG_NOTICE($1 sources in $$1_srcdir)
  42         fi
  43         case "$with_$1" in
  44         no|bundled|system|build)
  45                 ;;
  46         *)
  47                 if test -d $srcdir/.git -a \
  48                         -d $srcdir/$1 -a \
  49                         ! -d $srcdir/$1/.git; then
  50                         AC_MSG_WARN(
  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])
  56                 fi
  57                 if test -f $srcdir/$1/configure; then
  58                         with_$1="bundled"
  59                 fi
  60                 ;;
  61         esac
  62 ])
  63
  64 AC_ARG_WITH(polylib,
  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
  69         with_polylib="no"
  70 fi
  71 AC_MSG_CHECKING([which polylib to use])
  72 AC_MSG_RESULT($with_polylib)
  73
  74 have_polylib=false
  75 AC_SUBST(POLYLIB_CPPFLAGS)
  76 AC_SUBST(POLYLIB_LDFLAGS)
  77 AC_SUBST(POLYLIB_LIBS)
  78 case "$with_polylib" in
  79         build)
  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
  85                                 isl_cv_polylib=ok
  86                         fi
  87                 done
  88                 if test "$isl_cv_polylib" = "missing"; then
  89                         AC_MSG_ERROR(no gmp polylib configured)
  90                 fi
  91                 POLYLIB_CPPFLAGS="-I$with_polylib_builddir/include -I$polylib_srcdir/include"
  92                 POLYLIB_LIBS="$with_polylib_builddir/libpolylibgmp.la"
  93         ;;
  94         system)
  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"
  99                 fi
 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)
 106                 ])
 107                 CPPFLAGS="$SAVE_CPPFLAGS"
 108                 LDFLAGS="$SAVE_LDFLAGS"
 109         ;;
 110         no)
 111         ;;
 112         *)
 113                 AC_MSG_ERROR(unsupported)
 114         ;;
 115 esac
 116 if test "$with_polylib" != "no"; then
 117         AC_DEFINE(ISL_POLYLIB,,polylib is available)
 118         have_polylib=true
 119 fi
 120 AM_CONDITIONAL(HAVE_POLYLIB, test x$have_polylib = xtrue)
 121
 122 AC_ARG_WITH(piplib,
 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
 127         with_piplib="system"
 128 fi
 129 AC_MSG_CHECKING([which piplib to use])
 130 AC_MSG_RESULT($with_piplib)
 131
 132 have_piplib=false
 133 AC_SUBST(PIPLIB_CPPFLAGS)
 134 AC_SUBST(PIPLIB_LDFLAGS)
 135 AC_SUBST(PIPLIB_LIBS)
 136 case "$with_piplib" in
 137         bundled)
 138                 PIPLIB_CPPFLAGS="-I$srcdir/piplib/include"
 139                 isl_configure_args="$isl_configure_args --enable-mp-version"
 140         ;;
 141         build)
 142                 PIPLIB_CPPFLAGS="-I$piplib_srcdir/include"
 143                 PIPLIB_LIBS="$with_piplib_builddir/libpiplibMP.la"
 144         ;;
 145         system)
 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"
 150                 fi
 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>])
 159                 ],[
 160                         AC_MSG_ERROR([Piplib not found])
 161                 ])
 162                 CPPFLAGS="$SAVE_CPPFLAGS"
 163                 LDFLAGS="$SAVE_LDFLAGS"
 164         ;;
 165         no)
 166         ;;
 167         *)
 168                 AC_MSG_ERROR(unsupported)
 169         ;;
 170 esac
 171 if test "$with_piplib" != "no"; then
 172         AC_DEFINE(ISL_PIPLIB,,piplib is available)
 173         have_piplib=true
 174 fi
 175 AM_CONDITIONAL(HAVE_PIPLIB, test x$have_piplib = xtrue)
 176 AM_CONDITIONAL(BUNDLED_PIPLIB, test $with_piplib = bundled)
 177
 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)
 183 fi
 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"
 188 ])
 189 AC_OUTPUT