diff options
| -rw-r--r-- | CMakeLists.txt | 16 | ||||
| -rw-r--r-- | cmake/ConfigureCVC4.cmake | 2 |
2 files changed, 2 insertions, 16 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index bbdc863bd..54bbc6e12 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -27,22 +27,6 @@ else() set(CVC4_RELEASE_STRING "${CVC4_MAJOR}.${CVC4_MINOR}${CVC4_EXTRAVERSION}") endif() -# Define to the full name of this package. -set(PACKAGE_NAME "${PROJECT_NAME}") - -#### These defines are only use in autotools make files, will likely be -#### replaced with corresponding CPack stuff -## Define to the full name and version of this package. -#set(PACKAGE_STRING "${PROJECT_NAME} ${CVC4_RELEASE_STRING}") -## Define to the one symbol short name of this package. -#set(PACKAGE_TARNAME "${PROJECT_NAME}") -## Define to the home page for this package. -#set(PACKAGE_URL "") -## Define to the version of this package. -#set(PACKAGE_VERSION "${CVC4_RELEASE_STRING}") -## Define to the address where bug reports for this package should be sent. -#set(PACKAGE_BUGREPORT "cvc4-bugs@cs.stanford.edu") - set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake) set(CMAKE_C_STANDARD 99) set(CMAKE_CXX_STANDARD 11) diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake index f60e9043e..cfbd1a1c2 100644 --- a/cmake/ConfigureCVC4.cmake +++ b/cmake/ConfigureCVC4.cmake @@ -79,3 +79,5 @@ check_c_source_compiles( 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}") |