[klee-dev] Problems while building Klee with LLVM 3.4

[Cristian Cadar]

KLEE does not work with LLVM 3.4 yet; in fact, the only supported 
version is 2.9, as mentioned on the website.

I hope we'll have full support for LLVM 3.3 soon; Martin Nowack recently 
wrote a series of patches, which should make it into the codebase soon. 
  You can take a look at https://github.com/ccadar/klee/pull/17 for details.

Cristian

On 18/09/13 14:08, Luiz Felipe wrote:
> I'm trying to build klee-uclibc-0.02-x64 with LLVM 3.4 prior to building
> Klee itself. Since klee-uclibc relies on LLVM Makefile to find some
> paths and LLVM 3.4 doesn't look for LLVM-GCC, I'm experiencing problems
> building uclibc. Clang is already installed and the path is configured
> so I can run it in a terminal without problems.
> Is that a way I can proceed building Klee and its dependencies with LLVM
> 3.4/Clang without LLVM-GCC?
>
> Regards,
>
> --
> Luiz Felipe Zafra Saggioro
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>