2 # Process this file with autoconf to produce a configure script.
5 AC_INIT([src/include/cvc4.h])
6 AC_CONFIG_AUX_DIR([config])
7 #AC_CONFIG_LIBOBJ_DIR([lib])
8 AC_CONFIG_MACRO_DIR([config])
9 AM_INIT_AUTOMAKE(cvc4, prerelease)
10 AC_CONFIG_HEADERS([config.h])
15 # Checks for programs.
23 AC_CHECK_PROG(DOXYGEN, doxygen, doxygen,)
24 if test "$DOXYGEN" = ''; then
25 echo 'WARNING: documentation targets require doxygen. Set your PATH appropriately or set DOXYGEN to point to a valid doxygen binary.'
28 # Checks for libraries.
29 AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])])
31 # Checks for header files.
33 # Checks for typedefs, structures, and compiler characteristics.
40 # Checks for library functions.
50 src/prop/minisat/Makefile