blob: ae66b14217044ec52ac251e6f7860dfcffdab351 (
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
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
|
#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@"
/* Define to the full name of this package. */
#define PACKAGE_NAME "@PACKAGE_NAME@"
/* Whether CVC4 is built with the (optional) GPLed library dependences. */
#define CVC4_GPL_DEPS @CVC4_GPL_DEPS@
/* Defined if using the CLN multi-precision arithmetic library. */
#cmakedefine CVC4_CLN_IMP
/* Defined if using the GMP multi-precision arithmetic library. */
#cmakedefine CVC4_GMP_IMP
///* Defined if the requested minimum BOOST version is satisfied */
//#define HAVE_BOOST @HAVE_BOOST@
///* Define to 1 if you have <boost/system/error_code.hpp> */
//#define HAVE_BOOST_SYSTEM_ERROR_CODE_HPP
//
///* Define to 1 if you have <boost/thread.hpp> */
//#define HAVE_BOOST_THREAD_HPP @HAVE_BOOST_THREAD_HPP@
/* Define to 1 if Boost threading library has support for thread attributes */
#define BOOST_HAS_THREAD_ATTR @BOOST_HAS_THREAD_ATTR@
/* Defined to 1 if clock_gettime() is supported by the platform. */
#define HAVE_CLOCK_GETTIME @HAVE_CLOCK_GETTIME@
/* define if the compiler supports basic C++11 syntax */
#define HAVE_CXX11 @HAVE_CXX11@
/* Define to 1 if you have the declaration of `optreset', and to 0 if you
don't. */
#define HAVE_DECL_OPTRESET @HAVE_DECL_OPTRESET@
///* Define to 1 if you have the declaration of `strerror_r', and to 0 if you
// don't. */
//#define HAVE_DECL_STRERROR_R @HAVE_DECL_STRERROR_R@
///* Define to 1 if you have the <dlfcn.h> header file. */
//#define HAVE_DLFCN_H @HAVE_DLFCN_H@
///* Define to 1 if you have the <ext/stdio_filebuf.h> header file. */
//#define HAVE_EXT_STDIO_FILEBUF_H @HAVE_EXT_STDIO_FILEBUF_H@
/* Defined to 1 if ffs() is supported by the platform. */
#define HAVE_FFS @HAVE_FFS@
/* Define to 1 if you have the <getopt.h> header file. */
#define HAVE_GETOPT_H @HAVE_GETOPT_H@
///* Define to 1 if you have the <inttypes.h> header file. */
//#define HAVE_INTTYPES_H @HAVE_INTTYPES_H@
///* Define to 1 if you have the `gmp' library (-lgmp). */
//#define HAVE_LIBGMP @HAVE_LIBGMP@
///* Define to 1 if you have the `profiler' library (-lprofiler). */
//#cmakedefine HAVE_LIBPROFILER
/* Define to 1 to use libreadline */
#define HAVE_LIBREADLINE @HAVE_LIBREADLINE@
///* Define to 1 if you have the `tcmalloc' library (-ltcmalloc). */
//#cmakedefine HAVE_LIBTCMALLOC
///* Define to 1 if you have the <memory.h> header file. */
//#define HAVE_MEMORY_H @HAVE_MEMORY_H@
/* Defined to 1 if sigaltstack() is supported by the platform. */
#define HAVE_SIGALTSTACK @HAVE_SIGALTSTACK@
///* Define to 1 if you have the <stdint.h> header file. */
//#define HAVE_STDINT_H @HAVE_STDINT_H@
///* Define to 1 if you have the <stdlib.h> header file. */
//#define HAVE_STDLIB_H @HAVE_STDLIB_H@
/* Define to 1 if you have the `strerror_r' function. */
#define HAVE_STRERROR_R @HAVE_STRERROR_R@
///* Define to 1 if you have the <strings.h> header file. */
//#define HAVE_STRINGS_H @HAVE_STRINGS_H@
///* Define to 1 if you have the <string.h> header file. */
//#define HAVE_STRING_H @HAVE_STRING_H@
/* Defined to 1 if strtok_r() is supported by the platform. */
#define HAVE_STRTOK_R @HAVE_STRTOK_R@
///* Define to 1 if you have the <sys/stat.h> header file. */
//#define HAVE_SYS_STAT_H @HAVE_STRTOK_R@
///* Define to 1 if you have the <sys/types.h> header file. */
//#define HAVE_SYS_TYPES_H @HAVE_SYS_TYPES_H@
/* Define to 1 if you have the <unistd.h> header file. */
#define HAVE_UNISTD_H @HAVE_UNISTD_H@
///* Define to the sub-directory where libtool stores uninstalled libraries. */
//#cmakedefine LT_OBJDIR "@LT_OBJDIR@"
/* Define to 1 if rl_completion_entry_function is declared to return pointer
to char */
#define READLINE_COMPENTRY_FUNC_RETURNS_CHARP @READLINE_COMPENTRY_FUNC_RETURNS_CHARP@
///* Define to 1 if you have the ANSI C header files. */
//#cmakedefine STDC_HEADERS
/* Define to 1 if strerror_r returns char *. */
#define STRERROR_R_CHAR_P @STRERROR_R_CHAR_P@
#endif /* __CVC4__CVC4AUTOCONFIG_H */
|
