On 28 March 2017 at 14:51, 王悦 <wxywan...@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. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev