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

[王悦]

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.


Andy Wang

-------------- next part --------------
HTML attachment scrubbed and removed