On 6 November 2014 18:30, Dingbao Xie <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
