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 /unittests/DiscretePDF | |
| 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 'unittests/DiscretePDF')
0 files changed, 0 insertions, 0 deletions