forked from AdaCore/cvc5
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cvc4autoconfig.h.in
147 lines (99 loc) · 3.98 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
/* cvc4autoconfig.h.in. Generated from configure.ac by autoheader. */
#ifndef __CVC4__CVC4AUTOCONFIG_H
#define __CVC4__CVC4AUTOCONFIG_H
/* Define to 1 if Boost threading library has support for thread attributes */
#undef BOOST_HAS_THREAD_ATTR
/* Defined if using the CLN multi-precision arithmetic library. */
#undef CVC4_CLN_IMP
/* Extraversion component of the version of CVC4. */
#undef CVC4_EXTRAVERSION
/* Defined if using the GMP multi-precision arithmetic library. */
#undef CVC4_GMP_IMP
/* Whether CVC4 is built with the (optional) GPLed library dependences. */
#undef CVC4_GPL_DEPS
/* Major component of the version of CVC4. */
#undef CVC4_MAJOR
/* Minor component of the version of CVC4. */
#undef CVC4_MINOR
/* Release component of the version of CVC4. */
#undef CVC4_RELEASE
/* Full release string for CVC4. */
#undef CVC4_RELEASE_STRING
/* Defined if the requested minimum BOOST version is satisfied */
#undef HAVE_BOOST
/* Define to 1 if you have <boost/system/error_code.hpp> */
#undef HAVE_BOOST_SYSTEM_ERROR_CODE_HPP
/* Define to 1 if you have <boost/thread.hpp> */
#undef HAVE_BOOST_THREAD_HPP
/* Defined to 1 if clock_gettime() is supported by the platform. */
#undef HAVE_CLOCK_GETTIME
/* define if the compiler supports basic C++11 syntax */
#undef HAVE_CXX11
/* Define to 1 if you have the declaration of `optreset', and to 0 if you
don't. */
#undef HAVE_DECL_OPTRESET
/* Define to 1 if you have the declaration of `strerror_r', and to 0 if you
don't. */
#undef HAVE_DECL_STRERROR_R
/* Define to 1 if you have the <dlfcn.h> header file. */
#undef HAVE_DLFCN_H
/* Define to 1 if you have the <ext/stdio_filebuf.h> header file. */
#undef HAVE_EXT_STDIO_FILEBUF_H
/* Defined to 1 if ffs() is supported by the platform. */
#undef HAVE_FFS
/* Define to 1 if you have the <getopt.h> header file. */
#undef HAVE_GETOPT_H
/* Define to 1 if you have the <inttypes.h> header file. */
#undef HAVE_INTTYPES_H
/* Define to 1 if you have the `gmp' library (-lgmp). */
#undef HAVE_LIBGMP
/* Define to 1 if you have the `profiler' library (-lprofiler). */
#undef HAVE_LIBPROFILER
/* Define to 1 to use libreadline */
#undef HAVE_LIBREADLINE
/* Define to 1 if you have the `tcmalloc' library (-ltcmalloc). */
#undef HAVE_LIBTCMALLOC
/* Define to 1 if you have the <memory.h> header file. */
#undef HAVE_MEMORY_H
/* Defined to 1 if sigaltstack() is supported by the platform. */
#undef HAVE_SIGALTSTACK
/* Define to 1 if you have the <stdint.h> header file. */
#undef HAVE_STDINT_H
/* Define to 1 if you have the <stdlib.h> header file. */
#undef HAVE_STDLIB_H
/* Define to 1 if you have the `strerror_r' function. */
#undef HAVE_STRERROR_R
/* Define to 1 if you have the <strings.h> header file. */
#undef HAVE_STRINGS_H
/* Define to 1 if you have the <string.h> header file. */
#undef HAVE_STRING_H
/* Defined to 1 if strtok_r() is supported by the platform. */
#undef HAVE_STRTOK_R
/* Define to 1 if you have the <sys/stat.h> header file. */
#undef HAVE_SYS_STAT_H
/* Define to 1 if you have the <sys/types.h> header file. */
#undef HAVE_SYS_TYPES_H
/* Define to 1 if you have the <unistd.h> header file. */
#undef HAVE_UNISTD_H
/* Define to the sub-directory where libtool stores uninstalled libraries. */
#undef LT_OBJDIR
/* Define to the address where bug reports for this package should be sent. */
#undef PACKAGE_BUGREPORT
/* Define to the full name of this package. */
#undef PACKAGE_NAME
/* Define to the full name and version of this package. */
#undef PACKAGE_STRING
/* Define to the one symbol short name of this package. */
#undef PACKAGE_TARNAME
/* Define to the home page for this package. */
#undef PACKAGE_URL
/* Define to the version of this package. */
#undef PACKAGE_VERSION
/* Define to 1 if rl_completion_entry_function is declared to return pointer
to char */
#undef READLINE_COMPENTRY_FUNC_RETURNS_CHARP
/* Define to 1 if you have the ANSI C header files. */
#undef STDC_HEADERS
/* Define to 1 if strerror_r returns char *. */
#undef STRERROR_R_CHAR_P
#endif /* __CVC4__CVC4AUTOCONFIG_H */