[klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4)

[Cristian Cadar]

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