about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-19 16:13:38 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2016-11-19 16:13:38 +0000
commit12442a55eaed122a5e10c377f6661831c824063c (patch)
treeda71b8e73c9411a7c7ac231e94a8ca1efefe2d9c
parentbc3973450bfb3c4d4d47e4fe340fa864cb1cf7df (diff)
downloadklee-12442a55eaed122a5e10c377f6661831c824063c.tar.gz
[CMake] Document implicit `STP_DIR` and `metaSMT_DIR` options.
-rw-r--r--README-CMake.md10
1 files changed, 10 insertions, 0 deletions
diff --git a/README-CMake.md b/README-CMake.md
index 0b9cfd61..991694cd 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -75,6 +75,16 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src
 
 * `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`.
+
+* `STP_DIR` (STRING) - Provides a hint to CMake, where the STP constraint
+  solver can be found.  This should be an absolute path to a directory
+  containing the file `STPConfig.cmake`. This file is installed by STP
+  but also exists in its build directory. This allows KLEE to link
+  against STP in a build directory or an installed copy.
+
 * `USE_CMAKE_FIND_PACKAGE_LLVM` (BOOLEAN) - Use `find_package(LLVM CONFIG)`
    to find LLVM.