From 12442a55eaed122a5e10c377f6661831c824063c Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 19 Nov 2016 16:13:38 +0000 Subject: [CMake] Document implicit `STP_DIR` and `metaSMT_DIR` options. --- README-CMake.md | 10 ++++++++++ 1 file changed, 10 insertions(+) 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. -- cgit 1.4.1