Hi, I just checked in a patch for building KLEE with LLVM 2.7. I have tested it on Linux x86_32 with LLVM 2.6 and 2.7 and on Darwin x86_32 and x86_64. I'd appreciate it if someone can test it on Linux x86_64.
Please let me know of any problems. - Daniel
