Thanks, Emil. BTW, if the experimental guide is outdated, the best thing
would be to modify that webpage directly. The website lives in the
gh-pages branch in the repository.
Thanks,
Cristian
On 10/10/14 11:09, Emil Rakadjiev wrote:
Hi everyone,
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 2.8.12.2 (
How-to:
http://cameo54321.blogspot.com/2014/02/installing-cmake-288-or-higher-on.html
). Furthermore, for LLVM 3.4, besides the newer cmake, also GCC 4.8 or
higher is required ( How-to:
http://mortenvp.com/installing-a-newer-gccg-on-ubuntu-12-04-lts/ --
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.
Best regards,
Emil
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
