doc: add title page
[barvinok.git] / polymake / configure.in
blob50242467cca7def7e7a2ca87ad72df18c5daa05b
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 PKG_CHECK_MODULES([barvinok], [barvinok])
26 AC_OUTPUT(Makefile)