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