blob: 711a9f641279b4555530c09c0b74cdc3a806064f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
#ifndef __CVC5__CVC4AUTOCONFIG_H
#define __CVC5__CVC4AUTOCONFIG_H
/* Major component of the version of CVC4. */
#define CVC5_MAJOR @CVC5_MAJOR@
/* Minor component of the version of CVC4. */
#define CVC5_MINOR @CVC5_MINOR@
/* Release component of the version of CVC4. */
#define CVC5_RELEASE @CVC5_RELEASE@
/* Extraversion component of the version of CVC4. */
#define CVC5_EXTRAVERSION "@CVC5_EXTRAVERSION@"
/* Full release string for CVC4. */
#define CVC5_RELEASE_STRING "@CVC5_RELEASE_STRING@"
/* Full name of this package. */
#define CVC5_PACKAGE_NAME "@CVC5_PACKAGE_NAME@"
/* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */
#cmakedefine01 CVC5_GPL_DEPS
/* Define to use the CLN multi-precision arithmetic library. */
#cmakedefine CVC5_CLN_IMP
/* Define to use the GMP multi-precision arithmetic library. */
#cmakedefine CVC5_GMP_IMP
/* Define to use the libpoly polynomial library. */
#cmakedefine CVC5_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 CVC5_STATIC_BUILD
#endif /* __CVC5__CVC4AUTOCONFIG_H */
|