[cmake] Use LLVM's CMake functionality only

LLVM became more complex, use LLVM's CMake functionality directly instead
of replicating this behaviour in KLEE's build system.

Use the correct build flags provided by LLVM itself.
This is influenced by the way LLVM is built in the first place.

Remove older CMake support (< 3.0).

1 files changed, 1 insertions, 10 deletions

diff --git a/README-CMake.md b/README-CMake.md
index 4ea57421..965e2b02 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -87,13 +87,7 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src
 
 * `LIT_ARGS` (STRING) - Semi-colon separated list of lit options.
 
-* `LLVM_CONFIG_BINARY` (STRING) - Path to `llvm-config` binary. This is
-   only relevant if `USE_CMAKE_FIND_PACKAGE_LLVM` is `FALSE`. This is used
-   to detect the LLVM version and find libraries.
-
-* `LLVM_DIR` (STRING) - Path to `LLVMConfig.cmake`. This is only relevant if
-   `USE_CMAKE_FIND_PACKAGE_LLVM` is `TRUE`. This can be used to tell CMake where
-   it can find LLVM outside of standard directories.
+* `LLVM_DIR` (STRING) - Path to the target LLVM install directory
 
 * `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
@@ -105,7 +99,4 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src
   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 (instead of using `llvm-config` with `LLVM_CONFIG_BINARY`).
-
 * `WARNINGS_AS_ERRORS` (BOOLEAN) - Treat warnings as errors when building KLEE.