diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-19 10:21:54 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 1b77e124cc4d2a66b3be60529ed3714731b6f8a4 (patch) | |
| tree | 810905208307a7ba9a39b4b479a98f1ff83c3db9 /CMakeLists.txt | |
| parent | 65a713e53cefa95fcff1b2db30046edf943b3390 (diff) | |
cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 16 |
1 files changed, 0 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) |