[klee-dev] find_llvm.cmake has problems in llvm version like 3.4svn

[Dan Liew]

On 28 March 2017 at 14:51, 王悦 <wxywang89 at 163.com> wrote:
> Hi, all:
>     Recently, I was trying to compile KLEE with llvm-3.4.  I came into a
> problem that klee fail to recognize llvm version. When I looked into
> find_llvm.cmake, I think I found the reason.
>     When try to match llvm version with x.y pattern on line 89 in file
> cmake/find_llvm.cmake, the regex "set(_llvm_version_regex
> "^([0-9]+)\\.([0-9]+)$")" would fail to match llvm version like 3.4svn. As a
> result, I think the regex need to be modified to "set(_llvm_version_regex
> "^([0-9]+)\\.([0-9]+)(svn)?$")".
>     I'll appreciate a lot if anyone could tell me if this modification is
> right.
>     Thank you a lot.

Thanks for the information. You can follow this problem on KLEE's
issue tracker at https://github.com/klee/klee/issues/633

Dan.