diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
commit | 13a6669a35aee32c03f8d29fe386aca95d2fbd8f (patch) | |
tree | b126afb6c384dd45db0249e8096cf733a74daa95 /configure.ac | |
parent | 5b5474281c4cdc880bff8b9e38b84dc84f88e50c (diff) |
parser, minisat, other things..
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 804401a92..53fecffb1 100644 --- a/configure.ac +++ b/configure.ac @@ -3,15 +3,28 @@ AC_PREREQ([2.63]) AC_INIT([src/include/vc.h]) +AC_CONFIG_AUX_DIR([config]) +#AC_CONFIG_LIBOBJ_DIR([lib]) +AC_CONFIG_MACRO_DIR([config]) AM_INIT_AUTOMAKE(cvc4, prerelease) -AC_CONFIG_MACRO_DIR([m4]) AC_CONFIG_HEADERS([config.h]) +AM_MAINTAINER_MODE +LT_INIT + +AC_LIBTOOL_WIN32_DLL # Checks for programs. AC_PROG_CC AC_PROG_CXX AC_PROG_INSTALL AC_PROG_LIBTOOL +AM_PROG_LEX +AC_PROG_YACC + +AC_CHECK_PROG(DOXYGEN, doxygen, doxygen,) +if [ "$DOXYGEN" = '' ]; then + echo 'WARNING: documentation targets require doxygen. Set your PATH appropriately or set DOXYGEN to point to a valid doxygen binary.' +fi # Checks for libraries. AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])]) @@ -23,6 +36,7 @@ AC_HEADER_STDBOOL AC_TYPE_UINT16_T AC_TYPE_UINT32_T AC_TYPE_UINT64_T +AC_TYPE_SIZE_T # Checks for library functions. @@ -31,6 +45,8 @@ AC_CONFIG_FILES([ contrib/Makefile doc/Makefile src/Makefile - src/include/Makefile + src/parser/Makefile + src/sat/Makefile + src/sat/minisat/Makefile ]) AC_OUTPUT |