HI, When I compile the klee source file. The command $ ./configure --with-llvm=path/to/llvm can't execute normally. the log is listed as below: checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking type of operating system we're going to host on... checking llvm source dir... /home/klee/llvm-2.8 checking llvm obj dir... /home/klee/llvm-2.8 checking llvm package version... 2.8 checking llvm version major... 2 checking llvm version minor... 8 checking llvm is release version... 1 checking llvm build mode... configure: error: Could not autodetect build mode
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
