projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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}")