configure.in

   1 AC_INIT
   2 AM_INIT_AUTOMAKE(barvinok, 0.17)
   3 AC_PROG_CXX
   4 AC_SUBST(versioninfo)
   5 versioninfo=9:0:5
   6
   7 AC_CANONICAL_HOST
   8 AC_LIBTOOL_WIN32_DLL
   9 AC_SUBST(BV_LDFLAGS)
  10 case $host in
  11         *-*-cygwin* | *-*-mingw* | *-*-pw32* | *-*-os2*)
  12         if test "$enable_shared" = yes; then
  13                 BV_LDFLAGS="-no-undefined"
  14         fi
  15         ;;
  16 esac
  17
  18 AC_PROG_LIBTOOL
  19
  20 AC_CHECK_HEADERS(getopt.h)
  21 AC_CHECK_HEADERS(sys/times.h)
  22
  23 dnl Check for GMP library
  24 AC_MSG_CHECKING(whether to use GMP)
  25 AC_ARG_WITH(libgmp,
  26         [  --with-libgmp           DIR Location of the GMP Distribution],
  27         gmp_package=$withval, gmp_package=yes)
  28 if test "x$gmp_package" = "xno"; then
  29         AC_MSG_RESULT(no)
  30         AC_MSG_ERROR(Need gmp)
  31 else
  32         AC_MSG_RESULT(yes)
  33         if test "x$gmp_package" != "xyes"; then
  34             GMP_DIR=$gmp_package
  35             if test ! -d "$GMP_DIR"; then
  36                 AC_ERROR(Directory given for GMP Distribution is not a directory)
  37             fi
  38             CPPFLAGS="-I$GMP_DIR/include $CPPFLAGS"
  39             LDFLAGS="-L$GMP_DIR/lib $LDFLAGS"
  40         fi
  41         poly_cv_gmpfatal="no"
  42         AC_CHECK_HEADER(gmp.h,
  43                 [AC_CHECK_LIB(gmp,main,
  44                     [],
  45                     [poly_cv_gmpfatal="yes"])],
  46                 [poly_cv_gmpfatal="yes"])
  47         if test "$poly_cv_gmpfatal" = "yes"; then
  48                 AC_MSG_ERROR([GMP not found])
  49         fi
  50 fi
  51 AC_CHECK_DECL(mpz_divisible_p,[],[AC_LIBOBJ(mpz_divisible_p)],[#include <gmp.h>])
  52
  53 AC_ARG_WITH(polylib,
  54             [  --with-polylib=DIR      DIR Location of PolyLib],
  55             [ echo "Package polylib : $withval" && polylib_package=$withval],
  56             [ polylib_package=yes ])
  57
  58 if test "$polylib_package" = "no"; then
  59     AC_MSG_ERROR(Need polylib)
  60 fi
  61
  62 if test "$polylib_package" != "yes"; then
  63     CPPFLAGS="-I$polylib_package/include $CPPFLAGS"
  64     LDFLAGS="-L$polylib_package/lib $LDFLAGS"
  65     LD_LIBRARY_PATH="$polylib_package/lib:$LD_LIBRARY_PATH"
  66     export LD_LIBRARY_PATH
  67 fi
  68
  69 AC_CHECK_LIB(polylibgmp, PolyhedronTSort,[],[
  70     AC_MSG_ERROR(Need polylib)
  71 ])
  72 AC_REPLACE_FUNCS(Enumeration_Free reduce_evalue)
  73 AC_TRY_RUN([
  74 #include <polylib/polylibgmp.h>
  75
  76 int main()
  77 {
  78     int i, j;
  79     Polyhedron *P;
  80     Matrix *M = Matrix_Alloc(6,5);
  81     for (i = 0; i < 6; ++i) {
  82         value_set_si(M->p[i][0], 1);
  83         for (j = 1; j < 4; ++j)
  84             value_set_si(M->p[i][j], (j-1 == i/2) * (1-2*(i%2)));
  85         value_set_si(M->p[i][4], i%2);
  86     }
  87     P = Constraints2Polyhedron(M, 6);
  88     return !(P->NbRays == 8);
  89 }
  90 ],
  91 [AC_DEFINE(HAVE_GROWING_CHERNIKOVA,[],
  92           [PolyLib automatically grows the Chernikova table space])],
  93 AC_MSG_WARN([This version of PolyLib does not automatically])
  94 AC_MSG_WARN([enlarge the Chernikova table space]),
  95 AC_MSG_WARN([Unable to determine whether PolyLib automatically])
  96 AC_MSG_WARN([grows the Chernikova table space]))
  97
  98 AC_TRY_RUN([
  99 #include <polylib/polylibgmp.h>
 100
 101 int main()
 102 {
 103     enode *en = new_enode(polynomial, 1, 1);
 104     return !(en->arr[0].x.p == NULL);
 105 }
 106 ],,
 107 AC_MSG_WARN([This version of polylib leaks]),[true])
 108
 109 AC_TRY_RUN([
 110 #include <stdio.h>
 111 #include <polylib/polylibgmp.h>
 112
 113 int main()
 114 {
 115     Matrix *M;
 116     Polyhedron *P, *C;
 117     Param_Polyhedron *PP;
 118     int i;
 119     Param_Vertices *V;
 120
 121     freopen("$srcdir/tests/ehrhart/t12.in", "r", stdin);
 122     M = Matrix_Read();
 123     P = Constraints2Polyhedron(M, 1024);
 124     M = Matrix_Read();
 125     C = Constraints2Polyhedron(M, 1024);
 126     PP = Polyhedron2Param_SimplifiedDomain(&P, C, 1024, NULL, NULL);
 127     for (i = 0, V = PP->V; V; ++i, V = V->next)
 128         ;
 129     return !(i == 10);
 130 }
 131 ],
 132 [AC_DEFINE(HAVE_CORRECT_VERTICES,[],
 133           [PolyLib computes correct vertices])],
 134 AC_MSG_WARN([This version of polylib produces incorrect vertices.]),
 135 AC_MSG_WARN([Unable to determine whether PolyLib computes correct vertices]))
 136
 137 AC_MSG_CHECKING([number of arguments of Polyhedron_Enumerate])
 138 AC_TRY_COMPILE([#include <polylib/polylibgmp.h>],
 139                [Polyhedron_Enumerate(NULL,NULL,0,NULL)],
 140                [AC_MSG_RESULT(4)
 141                 AC_DEFINE(HAVE_ENUMERATE4,[],
 142                           [Polyhedron_Enumerate takes four arguments])],
 143                [AC_MSG_RESULT(3)])
 144
 145 AC_MSG_CHECKING([number of arguments of count_points])
 146 AC_TRY_COMPILE([#include <polylib/polylibgmp.h>],
 147                [count_points(0,NULL,NULL,NULL)],
 148                [AC_MSG_RESULT(4)
 149                 AC_DEFINE(HAVE_COUNT_POINTS4,[],
 150                           [count_points takes four arguments])],
 151                [AC_MSG_RESULT(3)])
 152
 153 AC_MSG_CHECKING([for value_subtract macro])
 154 AC_EGREP_CPP(yes, [
 155     #include <polylib/polylibgmp.h>
 156     #ifdef value_subtract
 157     yes
 158     #endif
 159     ],[AC_MSG_RESULT(yes)],
 160     [AC_MSG_RESULT(no)
 161      AC_DEFINE(value_subtract,value_substract,
 162                 [define to value_substract if missing from PolyLib])])
 163
 164 AC_ARG_WITH(piplib,
 165             [  --with-piplib=DIR       DIR Location of PIP],
 166             [ echo "Package piplib : $withval" && piplib_package=$withval],
 167             [ piplib_package=yes ])
 168
 169 AC_SUBST(bv_extra_programs)
 170 if test "$piplib_package" != "no"; then
 171     if test "$piplib_package" != "yes"; then
 172         CPPFLAGS="-I$piplib_package/include $CPPFLAGS"
 173         LDFLAGS="-L$piplib_package/lib $LDFLAGS"
 174     fi
 175
 176     AC_CHECK_LIB(piplibMP, pip_solve,[
 177         AC_DEFINE(HAVE_PIPLIB,[],[use piplib])
 178         LIBS="-lpiplibMP $LIBS"
 179         AC_LIBOBJ(piputil)
 180         bv_extra_programs="piptest $bv_extra_programs"
 181     ],[
 182         AC_MSG_WARN([Piplib not found])
 183     ])
 184 fi
 185
 186
 187 AC_MSG_CHECKING(if --enable-fractional option specified)
 188 AC_ARG_ENABLE(fractional,
 189             [  --enable-fractional     Use fractional representation],
 190             [bv_cv_fractional=$enableval], [bv_cv_fractional="no"])
 191 AC_MSG_RESULT($bv_cv_fractional)
 192 AC_MSG_CHECKING(if --enable-modulo option specified)
 193 AC_ARG_ENABLE(modulo,
 194             [  --enable-modulo         Use fractional representation],
 195             [bv_cv_modulo=$enableval], [bv_cv_modulo="no"])
 196 AC_MSG_RESULT($bv_cv_modulo)
 197 if test "x$bv_cv_modulo" != "xno" -o "x$bv_cv_fractional" != "xno"; then
 198         AC_DEFINE(USE_MODULO,[], [Use fractional representation])
 199 fi
 200
 201 AC_MSG_CHECKING(whether to use incremental algorithm)
 202 AC_ARG_ENABLE(incremental,
 203         [AS_HELP_STRING([--enable-incremental@<:@=bf|df@:>@],
 204                         [Enable incremental algorithm [bf]])],
 205         [bv_cv_incremental=$enableval], [bv_cv_incremental="no"])
 206 AC_MSG_RESULT($bv_cv_incremental)
 207 case $bv_cv_incremental in
 208         yes | bf)
 209                 AC_DEFINE(USE_INCREMENTAL_BF,[],
 210                           [Use breadth-first incremental algorithm])
 211         ;;
 212         df)
 213                 AC_DEFINE(USE_INCREMENTAL_DF,[],
 214                           [Use depth-first incremental algorithm])
 215         ;;
 216 esac
 217
 218 AC_ARG_WITH(ntl,
 219             [  --with-ntl=DIR          DIR Location of NTL],
 220             [ echo "Package ntl : $withval" && ntl_package=$withval],
 221             [ ntl_package=yes ])
 222
 223 if test "$ntl_package" = "no"; then
 224     AC_MSG_ERROR(Need ntl)
 225 fi
 226
 227 if test "$ntl_package" != "yes"; then
 228     CPPFLAGS="-I$ntl_package/include $CPPFLAGS"
 229     LDFLAGS="-L$ntl_package/lib $LDFLAGS"
 230 fi
 231
 232 AC_EGREP_CPP(yes, [
 233     #include <NTL/ZZ.h>
 234     #ifdef NTL_GMP_LIP
 235     yes
 236     #endif
 237     ],:,AC_MSG_ERROR(ntl not compiled with gmp support))
 238
 239 AC_CHECK_LIB(ntl, main,[],[
 240     AC_MSG_ERROR(Need ntl)
 241 ])
 242
 243 AC_SUBST(GIT_HEAD_ID)
 244 AC_SUBST(GIT_HEAD)
 245 AC_SUBST(GIT_HEAD_VERSION)
 246 if test -f $srcdir/.git/HEAD; then
 247     GIT_HEAD="$srcdir/.git/HEAD"
 248     GIT_HEAD_ID=`cat $srcdir/.git/HEAD`
 249 elif test -f $srcdir/GIT_HEAD_ID; then
 250     GIT_HEAD_ID=`cat $srcdir/GIT_HEAD_ID`
 251 else
 252     mysrcdir=`(cd $srcdir; pwd)`
 253     head=`basename $mysrcdir | sed -e 's/.*-//'`
 254     head2=`echo $head | sed -e 's/[^0-9a-f]//'`
 255     head3=`echo $head2 | sed -e 's/........................................//'`
 256     if test "x$head3" = "x" -a "x$head" = "x$head2"; then
 257         GIT_HEAD_ID="$head"
 258     else
 259         GIT_HEAD_ID="UNKNOWN"
 260     fi
 261 fi
 262 if test -z "$GIT_HEAD" ; then
 263     GIT_HEAD_VERSION="$GIT_HEAD_ID"
 264 else
 265     GIT_HEAD_VERSION='`cat $<`'
 266 fi
 267 echo '#define GIT_HEAD_ID "'$GIT_HEAD_ID'"' > version.h
 268
 269 AX_CREATE_PKGCONFIG_INFO
 270
 271 AC_CONFIG_HEADERS(config.h)
 272 AC_OUTPUT(Makefile)