1 files changed, 67 insertions, 0 deletions
diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in
new file mode 100644
index 000000000..ce8aeb5da
--- /dev/null
+++ b/cvc4autoconfig.h.in
@@ -0,0 +1,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 PACKAGE_NAME "@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 */