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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev