diff options
author | Frank Busse <bb0xfb@gmail.com> | 2020-06-16 18:11:47 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-06-17 10:35:47 +0100 |
commit | 32b5c245f00bf79ab604fd7473d880fbd3e37890 (patch) | |
tree | 15e764172a078db5e186af2918c5845d41fdc9dd /cmake | |
parent | 6ca440f14381c8f0461ede18eccc16bba1135e88 (diff) | |
download | klee-32b5c245f00bf79ab604fd7473d880fbd3e37890.tar.gz |
remove cmake warning
* rename SQLITE3 to SQLite3 CMake Warning (dev) at /usr/share/cmake-3.17/Modules/FindPackageHandleStandardArgs.cmake:272 (message): The package name passed to `find_package_handle_standard_args` (SQLITE3) does not match the name of the calling package (SQLite3). This can lead to problems in calling code that expects `find_package` result variables (e.g., `_FOUND`) to follow a certain pattern. Call Stack (most recent call first): cmake/modules/FindSQLite3.cmake:26 (FIND_PACKAGE_HANDLE_STANDARD_ARGS) CMakeLists.txt:430 (find_package) This warning is for project developers. Use -Wno-dev to suppress it.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/modules/FindSQLite3.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/modules/FindSQLite3.cmake b/cmake/modules/FindSQLite3.cmake index 9c99ae5c..66540fb0 100644 --- a/cmake/modules/FindSQLite3.cmake +++ b/cmake/modules/FindSQLite3.cmake @@ -23,7 +23,7 @@ FIND_LIBRARY(SQLITE3_LIBRARY NAMES sqlite3) # Handle the QUIETLY and REQUIRED arguments and set SQLITE3_FOUND to TRUE if all listed variables are TRUE. INCLUDE(FindPackageHandleStandardArgs) -FIND_PACKAGE_HANDLE_STANDARD_ARGS(SQLITE3 DEFAULT_MSG SQLITE3_LIBRARY SQLITE3_INCLUDE_DIR) +FIND_PACKAGE_HANDLE_STANDARD_ARGS(SQLite3 DEFAULT_MSG SQLITE3_LIBRARY SQLITE3_INCLUDE_DIR) # Copy the results to the output variables. IF(SQLITE3_FOUND) |