#ifndef __CVC4__CVC4AUTOCONFIG_H
#define __CVC4__CVC4AUTOCONFIG_H

/* Major component of the version of CVC4. */
#define CVC4_MAJOR @CVC4_MAJOR@

/* Minor component of the version of CVC4. */
#define CVC4_MINOR @CVC4_MINOR@

/* Release component of the version of CVC4. */
#define CVC4_RELEASE @CVC4_RELEASE@

/* Extraversion component of the version of CVC4. */
#define CVC4_EXTRAVERSION "@CVC4_EXTRAVERSION@"

/* Full release string for CVC4. */
#define CVC4_RELEASE_STRING "@CVC4_RELEASE_STRING@"

/* Full name of this package. */
#define CVC4_PACKAGE_NAME "@CVC4_PACKAGE_NAME@"

/* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */
#cmakedefine01 CVC4_GPL_DEPS

/* Define to use the CLN multi-precision arithmetic library. */
#cmakedefine CVC4_CLN_IMP

/* Define to use the GMP multi-precision arithmetic library. */
#cmakedefine CVC4_GMP_IMP

/* Define to use the libpoly polynomial library. */
#cmakedefine CVC4_POLY_IMP

/* Define to 1 if Boost threading library has support for thread attributes. */
#cmakedefine01 BOOST_HAS_THREAD_ATTR

/* Define if `clock_gettime' is supported by the platform. */
#cmakedefine HAVE_CLOCK_GETTIME

/* Define to 1 if the declaration of `optreset' is available. */
#cmakedefine01 HAVE_DECL_OPTRESET

/* Define to 1 if the <ext/stdio_filebuf.h> header file is available. */
#cmakedefine01 HAVE_EXT_STDIO_FILEBUF_H

/* Define if `ffs' is supported by the platform. */
#cmakedefine HAVE_FFS

/* Define to 1 to use libedit. */
#cmakedefine01 HAVE_LIBEDITLINE

/* Define to 1 if `rl_completion_entry_function' returns (char *). */
#cmakedefine01 EDITLINE_COMPENTRY_FUNC_RETURNS_CHARP

/* Define if `sigaltstack' is supported by the platform. */
#cmakedefine HAVE_SIGALTSTACK

/* Define to 1 if `strerror_r' is supported by the platform. */
#cmakedefine01 HAVE_STRERROR_R

/* Define if `strtok_r' is supported by the platform. */
#cmakedefine HAVE_STRTOK_R

/* Define if `setitimer` is supported by the platform. */
#cmakedefine01 HAVE_SETITIMER

/* Define to 1 if the <unistd.h> header file is available. */
#cmakedefine01 HAVE_UNISTD_H

/* Define to 1 if `strerror_r' returns (char *). */
#cmakedefine01 STRERROR_R_CHAR_P

#cmakedefine01 CVC4_STATIC_BUILD

#endif /* __CVC4__CVC4AUTOCONFIG_H */