#define CVC4_RELEASE_STRING "@CVC4_RELEASE_STRING@"
/* Full name of this package. */
-#define PACKAGE_NAME "@PACKAGE_NAME@"
+#define CVC4_PACKAGE_NAME "@CVC4_PACKAGE_NAME@"
/* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */
#cmakedefine01 CVC4_GPL_DEPS
/* Define if `ffs' is supported by the platform. */
#cmakedefine HAVE_FFS
-/* Define to 1 to use libreadline. */
-#cmakedefine01 HAVE_LIBREADLINE
+/* 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 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
+#cmakedefine01 CVC4_STATIC_BUILD
+
#endif /* __CVC4__CVC4AUTOCONFIG_H */