cvc4autoconfig.h.in

   1 #ifndef __CVC4__CVC4AUTOCONFIG_H
   2 #define __CVC4__CVC4AUTOCONFIG_H
   3
   4 /* Major component of the version of CVC4. */
   5 #define CVC4_MAJOR @CVC4_MAJOR@
   6
   7 /* Minor component of the version of CVC4. */
   8 #define CVC4_MINOR @CVC4_MINOR@
   9
  10 /* Release component of the version of CVC4. */
  11 #define CVC4_RELEASE @CVC4_RELEASE@
  12
  13 /* Extraversion component of the version of CVC4. */
  14 #define CVC4_EXTRAVERSION "@CVC4_EXTRAVERSION@"
  15
  16 /* Full release string for CVC4. */
  17 #define CVC4_RELEASE_STRING "@CVC4_RELEASE_STRING@"
  18
  19 /* Full name of this package. */
  20 #define CVC4_PACKAGE_NAME "@CVC4_PACKAGE_NAME@"
  21
  22 /* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */
  23 #cmakedefine01 CVC4_GPL_DEPS
  24
  25 /* Define to use the CLN multi-precision arithmetic library. */
  26 #cmakedefine CVC4_CLN_IMP
  27
  28 /* Define to use the GMP multi-precision arithmetic library. */
  29 #cmakedefine CVC4_GMP_IMP
  30
  31 /* Define to use the libpoly polynomial library. */
  32 #cmakedefine CVC4_POLY_IMP
  33
  34 /* Define to 1 if Boost threading library has support for thread attributes. */
  35 #cmakedefine01 BOOST_HAS_THREAD_ATTR
  36
  37 /* Define if `clock_gettime' is supported by the platform. */
  38 #cmakedefine HAVE_CLOCK_GETTIME
  39
  40 /* Define to 1 if the declaration of `optreset' is available. */
  41 #cmakedefine01 HAVE_DECL_OPTRESET
  42
  43 /* Define to 1 if the <ext/stdio_filebuf.h> header file is available. */
  44 #cmakedefine01 HAVE_EXT_STDIO_FILEBUF_H
  45
  46 /* Define if `ffs' is supported by the platform. */
  47 #cmakedefine HAVE_FFS
  48
  49 /* Define to 1 to use libedit. */
  50 #cmakedefine01 HAVE_LIBEDITLINE
  51
  52 /* Define to 1 if `rl_completion_entry_function' returns (char *). */
  53 #cmakedefine01 EDITLINE_COMPENTRY_FUNC_RETURNS_CHARP
  54
  55 /* Define if `sigaltstack' is supported by the platform. */
  56 #cmakedefine HAVE_SIGALTSTACK
  57
  58 /* Define to 1 if `strerror_r' is supported by the platform. */
  59 #cmakedefine01 HAVE_STRERROR_R
  60
  61 /* Define if `strtok_r' is supported by the platform. */
  62 #cmakedefine HAVE_STRTOK_R
  63
  64 /* Define if `setitimer` is supported by the platform. */
  65 #cmakedefine01 HAVE_SETITIMER
  66
  67 /* Define to 1 if the <unistd.h> header file is available. */
  68 #cmakedefine01 HAVE_UNISTD_H
  69
  70 /* Define to 1 if `strerror_r' returns (char *). */
  71 #cmakedefine01 STRERROR_R_CHAR_P
  72
  73 #cmakedefine01 CVC4_STATIC_BUILD
  74
  75 #endif /* __CVC4__CVC4AUTOCONFIG_H */