AC_PREREQ([2.57])
AC_INIT([spot], [0.1])
AC_CONFIG_AUX_DIR([tools])
AM_INIT_AUTOMAKE([foreign nostdinc 1.7.3])

adl_CHECK_PYTHON

AC_PROG_CXX

AM_PROG_LEX
AC_PROG_YACC

AC_LANG(C++)

AX_CHECK_BUDDY

AC_PROG_LIBTOOL

CF_GXX_WARNINGS

AC_CHECK_PROG([DOT], [dot], [dot])

AC_CONFIG_FILES([
  Makefile
  doc/Makefile
  doc/Doxyfile
  src/Makefile
  src/ltlenv/Makefile
  src/ltlast/Makefile
  src/ltlparse/Makefile
  src/ltltest/Makefile
  src/ltltest/defs
  src/ltlvisit/Makefile
  src/tgba/Makefile
  src/tgbaalgos/Makefile
  src/tgbaparse/Makefile
  src/tgbatest/Makefile
  src/tgbatest/defs
  src/misc/Makefile
  wrap/Makefile
])
AC_OUTPUT