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
