fix fp issue (#2940)

[cvc5.git] / cmake / ConfigureCVC4.cmake

diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake
index cfbd1a1c2b88787301367bfee8c3cb387973f2bc..84575d6109688496f2f64a6e2b92919c2055bbe7 100644 (file)
--- a/cmake/ConfigureCVC4.cmake
+++ b/cmake/ConfigureCVC4.cmake
@@ -80,4 +80,4 @@ set(CVC4_CLN_IMP ${CVC4_USE_CLN_IMP})
 # Defined if using the GMP multi-precision arithmetic library.
 set(CVC4_GMP_IMP ${CVC4_USE_GMP_IMP})
 # Define the full name of this package.
-set(PACKAGE_NAME "${PROJECT_NAME}")
+set(CVC4_PACKAGE_NAME "${PROJECT_NAME}")