1 #ifndef __CVC4__CVC4AUTOCONFIG_H
2 #define __CVC4__CVC4AUTOCONFIG_H
4 /* Major component of the version of CVC4. */
5 #define CVC4_MAJOR @CVC4_MAJOR@
7 /* Minor component of the version of CVC4. */
8 #define CVC4_MINOR @CVC4_MINOR@
10 /* Release component of the version of CVC4. */
11 #define CVC4_RELEASE @CVC4_RELEASE@
13 /* Extraversion component of the version of CVC4. */
14 #define CVC4_EXTRAVERSION "@CVC4_EXTRAVERSION@"
16 /* Full release string for CVC4. */
17 #define CVC4_RELEASE_STRING "@CVC4_RELEASE_STRING@"
19 /* Full name of this package. */
20 #define PACKAGE_NAME "@PACKAGE_NAME@"
22 /* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */
23 #cmakedefine01 CVC4_GPL_DEPS
25 /* Define to use the CLN multi-precision arithmetic library. */
26 #cmakedefine CVC4_CLN_IMP
28 /* Define to use the GMP multi-precision arithmetic library. */
29 #cmakedefine CVC4_GMP_IMP
31 /* Define to 1 if Boost threading library has support for thread attributes. */
32 #cmakedefine01 BOOST_HAS_THREAD_ATTR
34 /* Define if `clock_gettime' is supported by the platform. */
35 #cmakedefine HAVE_CLOCK_GETTIME
37 /* Define to 1 if the declaration of `optreset' is available. */
38 #cmakedefine01 HAVE_DECL_OPTRESET
40 /* Define to 1 if the <ext/stdio_filebuf.h> header file is available. */
41 #cmakedefine01 HAVE_EXT_STDIO_FILEBUF_H
43 /* Define if `ffs' is supported by the platform. */
46 /* Define to 1 to use libreadline. */
47 #cmakedefine01 HAVE_LIBREADLINE
49 /* Define if `sigaltstack' is supported by the platform. */
50 #cmakedefine HAVE_SIGALTSTACK
52 /* Define to 1 if `strerror_r' is supported by the platform. */
53 #cmakedefine01 HAVE_STRERROR_R
55 /* Define if `strtok_r' is supported by the platform. */
56 #cmakedefine HAVE_STRTOK_R
58 /* Define to 1 if the <unistd.h> header file is available. */
59 #cmakedefine01 HAVE_UNISTD_H
61 /* Define to 1 if `rl_completion_entry_function' returns (char *). */
62 #cmakedefine01 READLINE_COMPENTRY_FUNC_RETURNS_CHARP
64 /* Define to 1 if `strerror_r' returns (char *). */
65 #cmakedefine01 STRERROR_R_CHAR_P
67 #endif /* __CVC4__CVC4AUTOCONFIG_H */