floatingpoint: Use unique_ptr for FloatingPointLiteral pointer. (#5503)

[cvc5.git] / cvc4autoconfig.h.in

diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in
index ce8aeb5dad18367b083f9bedad1bcce5985c28fc..48d826697b01935a5738c6023e71bbb9291d5c80 100644 (file)
--- a/cvc4autoconfig.h.in
+++ b/cvc4autoconfig.h.in
@@ -17,7 +17,7 @@
 #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
@@ -43,8 +43,11 @@
 /* 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
@@ -58,10 +61,9 @@
 /* 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 */