diff options
| author | Adrian Herrera <adrian.herrera02@gmail.com> | 2016-12-18 14:23:35 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-12-18 15:00:11 +0000 |
| commit | e056aa4e0bd25a021f5385904bf6507ac8ca5e21 (patch) | |
| tree | ed1acc12743ec44d660864c19720c483584116eb /CMakeLists.txt | |
| parent | f997712d5ccac6714e57d87626e37bb762491784 (diff) | |
| download | klee-e056aa4e0bd25a021f5385904bf6507ac8ca5e21.tar.gz | |
CMake: Fixed the LLVM version regex
When trying to KLEE with a version of LLVM (specifically, 3.5) built from Github (https://github.com/llvm-mirror/llvm/tree/release_35) the regex in find_llvm.cmake failed to match the LLVM version string because it was suffixed with "svn" - i.e. "3.5.2svn". Added the optional "svn" suffix to the CMake regex to fix this.
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions