manual_count: rename "dim" variable to "space"
[barvinok.git] / polymake / configure.in
blob7d072f694aa2487ff0aa98ead08c57ebe1e3cfc1
1 AC_INIT
3 AC_SUBST(bv_cv_polymake)
4 AC_ARG_WITH(polymake,
5         AS_HELP_STRING([--with-polymake=DIR], [DIR Location of polymake])],
6         [bv_cv_polymake=$withval], [])
8 if test -z $bv_cv_polymake; then
9     for pm in /usr /usr/local; do
10         if test -f $pm/polymake/Makefile; then
11             bv_cv_polymake=$pm/polymake
12             break;
13         fi
14     done
15 else
16     if test ! -f $bv_cv_polymake/Makefile; then
17         bv_cv_polymake=""
18     fi
20 if test -z $bv_cv_polymake; then
21     AC_MSG_ERROR(polymake Makefile not found)
24 AC_ARG_WITH(barvinok,
25         AS_HELP_STRING([--with-barvinok=DIR], [DIR Location of barvinok])],
26         [bv_cv_barvinok=$withval], [])
28 if test -n $bv_cv_barvinok; then
29     export PKG_CONFIG_PATH=$bv_cv_barvinok/lib/pkgconfig:$PKG_CONFIG_PATH
32 PKG_CHECK_MODULES([barvinok], [barvinok])
34 AC_OUTPUT(Makefile)