[klee-dev] KLEE installation problem

[kylinsmail at gmail.com]

Hello, 
    I'm writing this email for my problems while I make install the uclibc-0.02-x64.
    After I sucessfully set ./configure --with-llvm="my_llvm_root" , I do make , then, the errors reported like this :
       /bin/sh: 0: Illegal option --
       make: --emit-llvm: Command not found
       make: --emit-llvm: Command not found
       /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: --emit-llvm: not found
extra/scripts/gen_bits_syscall_h.sh: 30: extra/scripts/gen_bits_syscall_h: --emit-llvm: not found
CC libcrypt/crypt.os
/bin/sh: 1: --emit-llvm: not found
 make: *** [libcrypt/crypt.os] Error 127
     Would you please give me some advice?
     Thank you in advance.

Best Regards.
Kylin.
-------------- next part --------------
HTML attachment scrubbed and removed