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 AM_INIT_AUTOMAKE(cvc4, prerelease)
   7 AC_CONFIG_MACRO_DIR([m4])
   8 AC_CONFIG_HEADERS([config.h])
   9
  10 # Checks for programs.
  11 AC_PROG_CC
  12 AC_PROG_CXX
  13 AC_PROG_INSTALL
  14 AC_PROG_LIBTOOL
  15
  16 # Checks for libraries.
  17 AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])])
  18
  19 # Checks for header files.
  20
  21 # Checks for typedefs, structures, and compiler characteristics.
  22 AC_HEADER_STDBOOL
  23 AC_TYPE_UINT16_T
  24 AC_TYPE_UINT32_T
  25 AC_TYPE_UINT64_T
  26
  27 # Checks for library functions.
  28
  29 AC_CONFIG_FILES([
  30   Makefile
  31   doc/Makefile
  32   src/Makefile
  33   src/include/Makefile
  34 ])
  35 AC_OUTPUT