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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
