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

[Dingbao Xie]

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
./extra/scripts/conf-header.sh .config > include/bits/uClibc_config.h
/bin/sh: 0: Illegal option --
make[1]: --emit-llvm: Command not found
make[1]: --emit-llvm: Command not found
extra/scripts/gen_bits_syscall_h.sh: 30:
extra/scripts/gen_bits_syscall_h.sh: --emit-llvm: not found
extra/scripts/gen_bits_syscall_h.sh: 26:
extra/scripts/gen_bits_syscall_h.sh: --emit-llvm: not found
  CC ldso/ldso/ldso.oS
/bin/sh: 1: --emit-llvm: not found

Any insight to resolve this error?
Thanks in advance.

-- 
Dingbao Xie
-------------- next part --------------
HTML attachment scrubbed and removed