2014-10-10 10:09:07 UTC
I've attached 2 simple KLEE setup scripts, one for LLVM 2.9 and another
for 3.4. They include all necessary patches, etc. I hope they will be
useful for other KLEE users, too. Especially with LLVM 3.4 it takes some
time to figure out how to build everything successfully (the
"Experimental" guide on the website seems to be outdated).
They work on 64-bit Ubuntu 14.04.
On 12.04, cmake 2.8.8 or higher has to be installed, I used 188.8.131.52 (
). Furthermore, for LLVM 3.4, besides the newer cmake, also GCC 4.8 or
higher is required ( How-to:
Replace 4.7 with 4.8 ).
While browsing the KLEE issues on GitHub today, I just saw that
antiAgainst has also published KLEE setup scripts a few months ago (
https://github.com/klee/klee/issues/123 ). I decided to post mine
nonetheless... having more is better.