[klee-dev] Building klee-uclibc with LLVM-3.4

[Daniel Liew]

On 6 November 2014 18:30, Dingbao Xie <xiedingbao at gmail.com> wrote:
> I encountered an error when building klee-uclibc with LLVM-3.4.
> The version of klee-uclibc is 0.02-x64 and I followed the instruction to
> build it.
> make defconfig
> ./configure --with-llvm=/home/dingbao/software/llvm-3.4
> make
> I got the following error:
> /bin/sh: 0: Illegal option --
> make: --emit-llvm: Command not found
> make: --emit-llvm: Command not found

Sounds like you're using the old version of klee-uclibc please use [1]
(read the README.klee file).

Thanks,
Dan.

[1] https://github.com/klee/klee-uclibc