-
Notifications
You must be signed in to change notification settings - Fork 0
/
cvc4autoconfig.h.in
67 lines (45 loc) · 2.01 KB
/
cvc4autoconfig.h.in
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
#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 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 libreadline. */
#cmakedefine01 HAVE_LIBREADLINE
/* 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 to 1 if the <unistd.h> header file is available. */
#cmakedefine01 HAVE_UNISTD_H
/* Define to 1 if `rl_completion_entry_function' returns (char *). */
#cmakedefine01 READLINE_COMPENTRY_FUNC_RETURNS_CHARP
/* Define to 1 if `strerror_r' returns (char *). */
#cmakedefine01 STRERROR_R_CHAR_P
#endif /* __CVC4__CVC4AUTOCONFIG_H */