diff options
Diffstat (limited to 'README-CMake.md')
-rw-r--r-- | README-CMake.md | 2 |
1 files changed, 0 insertions, 2 deletions
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`. |