configure.ac

   1 #                                               -*- Autoconf -*-
   2 # Process this file with autoconf to produce a configure script.
   3
   4 AC_PREREQ([2.63])
   5 AC_INIT([src/include/vc.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])
  11 LT_INIT
  12
  13 AC_LIBTOOL_WIN32_DLL
  14
  15 # Checks for programs.
  16 AC_PROG_CC
  17 AC_PROG_CXX
  18 AC_PROG_INSTALL
  19 AC_PROG_LIBTOOL
  20 AM_PROG_LEX
  21 AC_PROG_YACC
  22
  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.'
  26 fi
  27
  28 # Checks for libraries.
  29 AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])])
  30
  31 # Checks for header files.
  32
  33 # Checks for typedefs, structures, and compiler characteristics.
  34 AC_HEADER_STDBOOL
  35 AC_TYPE_UINT16_T
  36 AC_TYPE_UINT32_T
  37 AC_TYPE_UINT64_T
  38 AC_TYPE_SIZE_T
  39
  40 # Checks for library functions.
  41
  42 AC_CONFIG_FILES([
  43   Makefile
  44   contrib/Makefile
  45   doc/Makefile
  46   src/Makefile
  47   src/core/Makefile
  48   src/parser/Makefile
  49   src/sat/Makefile
  50   src/sat/minisat/Makefile
  51 ])
  52 AC_OUTPUT