2 AM_INIT_AUTOMAKE(barvinok, 0.17)
11 *-*-cygwin* | *-*-mingw* | *-*-pw32* | *-*-os2*)
12 if test "$enable_shared" = yes; then
13 BV_LDFLAGS="-no-undefined"
20 AC_CHECK_HEADERS(getopt.h)
21 AC_CHECK_HEADERS(sys/times.h)
23 dnl Check for GMP library
24 AC_MSG_CHECKING(whether to use GMP)
26 [ --with-libgmp DIR Location of the GMP Distribution],
27 gmp_package=$withval, gmp_package=yes)
28 if test "x$gmp_package" = "xno"; then
30 AC_MSG_ERROR(Need gmp)
33 if test "x$gmp_package" != "xyes"; then
35 if test ! -d "$GMP_DIR"; then
36 AC_ERROR(Directory given for GMP Distribution is not a directory)
38 CPPFLAGS="-I$GMP_DIR/include $CPPFLAGS"
39 LDFLAGS="-L$GMP_DIR/lib $LDFLAGS"
42 AC_CHECK_HEADER(gmp.h,
43 [AC_CHECK_LIB(gmp,main,
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])
51 AC_CHECK_DECL(mpz_divisible_p,[],[AC_LIBOBJ(mpz_divisible_p)],[#include <gmp.h>])
54 [ --with-polylib=DIR DIR Location of PolyLib],
55 [ echo "Package polylib : $withval" && polylib_package=$withval],
56 [ polylib_package=yes ])
58 if test "$polylib_package" = "no"; then
59 AC_MSG_ERROR(Need polylib)
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
69 AC_CHECK_LIB(polylibgmp, PolyhedronTSort,[],[
70 AC_MSG_ERROR(Need polylib)
72 AC_CHECK_FUNCS(Enumeration_Free RankingPolytopes)
74 #include <polylib/polylibgmp.h>
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);
87 P = Constraints2Polyhedron(M, 6);
88 return !(P->NbRays == 8);
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]))
99 #include <polylib/polylibgmp.h>
103 enode *en = new_enode(polynomial, 1, 1);
104 return !(en->arr[0].x.p == NULL);
107 AC_MSG_WARN([This version of polylib leaks]),[true])
111 #include <polylib/polylibgmp.h>
117 Param_Polyhedron *PP;
121 freopen("$srcdir/tests/ehrhart/t12.in", "r", stdin);
123 P = Constraints2Polyhedron(M, 1024);
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)
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]))
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)],
141 AC_DEFINE(HAVE_ENUMERATE4,[],
142 [Polyhedron_Enumerate takes four arguments])],
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)],
149 AC_DEFINE(HAVE_COUNT_POINTS4,[],
150 [count_points takes four arguments])],
153 AC_MSG_CHECKING([for value_subtract macro])
155 #include <polylib/polylibgmp.h>
156 #ifdef value_subtract
159 ],[AC_MSG_RESULT(yes)],
161 AC_DEFINE(value_subtract,value_substract,
162 [define to value_substract if missing from PolyLib])])
165 [ --with-piplib=DIR DIR Location of PIP],
166 [ echo "Package piplib : $withval" && piplib_package=$withval],
167 [ piplib_package=yes ])
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"
176 AC_CHECK_LIB(piplibMP, pip_solve,[
177 AC_DEFINE(HAVE_PIPLIB,[],[use piplib])
178 LIBS="-lpiplibMP $LIBS"
180 bv_extra_programs="piptest $bv_extra_programs"
182 AC_MSG_WARN([Piplib not found])
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])
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
209 AC_DEFINE(USE_INCREMENTAL_BF,[],
210 [Use breadth-first incremental algorithm])
213 AC_DEFINE(USE_INCREMENTAL_DF,[],
214 [Use depth-first incremental algorithm])
219 [ --with-ntl=DIR DIR Location of NTL],
220 [ echo "Package ntl : $withval" && ntl_package=$withval],
223 if test "$ntl_package" = "no"; then
224 AC_MSG_ERROR(Need ntl)
227 if test "$ntl_package" != "yes"; then
228 CPPFLAGS="-I$ntl_package/include $CPPFLAGS"
229 LDFLAGS="-L$ntl_package/lib $LDFLAGS"
237 ],:,AC_MSG_ERROR(ntl not compiled with gmp support))
239 AC_CHECK_LIB(ntl, main,[],[
240 AC_MSG_ERROR(Need ntl)
243 AC_SUBST(GIT_HEAD_ID)
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`
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
259 GIT_HEAD_ID="UNKNOWN"
262 if test -z "$GIT_HEAD" ; then
263 GIT_HEAD_VERSION="$GIT_HEAD_ID"
265 GIT_HEAD_VERSION='`cat $<`'
267 echo '#define GIT_HEAD_ID "'$GIT_HEAD_ID'"' > version.h
269 AX_CREATE_PKGCONFIG_INFO
271 AC_CONFIG_HEADERS(config.h)