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 /test/CXX/symex/libc++/cout_sym.cpp | |
| 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 'test/CXX/symex/libc++/cout_sym.cpp')
0 files changed, 0 insertions, 0 deletions