diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2017-07-20 19:10:07 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-10-05 13:50:57 +0100 |
| commit | 48effc8ad27671bedcdfc916381c94c06c96d013 (patch) | |
| tree | 0b7046096560d972648c2e2a014894df97900f95 /README-CMake.md | |
| parent | 5e6b6342dc2bc9d45a7db8fa45d7e949c55d908b (diff) | |
| download | klee-48effc8ad27671bedcdfc916381c94c06c96d013.tar.gz | |
enforce c++11
fixes #314
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 5828e319..cacdc637 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -93,6 +93,4 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src * `USE_CMAKE_FIND_PACKAGE_LLVM` (BOOLEAN) - Use `find_package(LLVM CONFIG)` to find LLVM. -* `USE_CXX11` (BOOLEAN) - Use C++11. - * `WARNINGS_AS_ERRORS` (BOOLEAN) - Treat warnings as errors when building KLEE. |