diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-12-17 14:43:12 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-18 12:38:40 +0000 |
| commit | 5a194aa99fe2a13857dad2a5a5113b5856f8001d (patch) | |
| tree | fe67bed8fed6194faf91c8e09b964606832e964d | |
| parent | a9184832f238d1753667173a113bae7a5cfbe159 (diff) | |
| download | klee-5a194aa99fe2a13857dad2a5a5113b5856f8001d.tar.gz | |
retire some build system legacy
| -rw-r--r-- | CMakeLists.txt | 11 | ||||
| -rw-r--r-- | README-CMake.md | 2 |
2 files changed, 0 insertions, 13 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 0a959525..82652e1a 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -52,7 +52,6 @@ set(PACKAGE_URL "\"https://klee.github.io\"") ################################################################################ # Sanity check - Disallow building in source. -# Otherwise we would overwrite the Makefiles of the old build system. ################################################################################ if ("${CMAKE_SOURCE_DIR}" STREQUAL "${CMAKE_BINARY_DIR}") message(FATAL_ERROR "In source builds are not allowed. You should invoke " @@ -746,16 +745,6 @@ add_subdirectory(tools) option(ENABLE_UNIT_TESTS "Enable unit tests" OFF) option(ENABLE_SYSTEM_TESTS "Enable system tests" ON) -# This provides a migration path for older build directories that have this -# variable set in their cache. Leaving it behind could lead to confusion so -# removing it is probably a good idea. -# TODO: Remove this eventually (probably next release or something). -if (DEFINED ENABLE_TESTS) - message(WARNING "You have the \"ENABLE_TESTS\" variable is your CMake cache." - "This variable no longer has any meaning so removing it from your cache") - unset(ENABLE_TESTS CACHE) -endif() - if (ENABLE_UNIT_TESTS OR ENABLE_SYSTEM_TESTS) message(STATUS "Testing is enabled") diff --git a/README-CMake.md b/README-CMake.md index a43b0f64..71984e4d 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -97,8 +97,6 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src `USE_CMAKE_FIND_PACKAGE_LLVM` is `TRUE`. This can be used to tell CMake where it can find LLVM outside of standard directories. -* `MAKE_BINARY` (STRING) - Path to `make` binary used to build KLEE's runtime. - * `metaSMT_DIR` (STRING) - Provides a hint to CMake, where the metaSMT constraint solver can be found. This should be an absolute path to a directory containing the file `metaSMTConfig.cmake`. |